Searcharxiv⌕ Search

arXiv subjects

Tomasz Maciążek

Publications and source records attributed to Tomasz Maciążek.

13 recordsLinked to original sources

Securing Transfer-Learned Networks with Reverse Homomorphic Encryption

The growing body of literature on training-data reconstruction attacks raises significant concerns about deploying neural network classifiers trained on sensitive data. However, differentially private (DP) training (e.g. using DP-SGD) can defend against such attacks with large training datasets causing only minimal loss of network utility. Folklore, heuristics, and (albeit pessimistic) DP bounds suggest this fails for networks trained with small per-class datasets, yet to the best of our knowledge the literature offers no compelling evidence. We directly demonstrate this vulnerability by significantly extending reconstruction attack capabilities under a realistic adversary threat model for few-shot transfer learned image classifiers. We design new white-box and black-box attacks and find that DP-SGD is unable to defend against these without significant classifier utility loss. To address this, we propose a novel homomorphic encryption (HE) method that protects training data without degrading model's accuracy. Conventional HE secures model's input data and requires costly homomorphic implementation of the entire classifier. In contrast, our new scheme is computationally efficient and protects training data rather than input data. This is achieved by means of a simple role-reversal where classifier input data is unencrypted but transfer-learned weights are encrypted. Classifier outputs remain encrypted, thus preventing both white-box and black-box (and any other) training-data reconstruction attacks. Under this new scheme only a trusted party with a private decryption key can obtain the classifier class decisions.

cs.CR↗

Repulsively diverging gradient of the density functional in the Reduced Density Matrix Functional Theory

The Reduced Density Matrix Functional Theory (RDMFT) is a remarkable tool for studying properties of ground states of strongly interacting quantum many body systems. As it gives access to the one-particle reduced density matrix of the ground state, it provides a perfectly tailored approach to studying the Bose-Einstein condensation or systems of strongly correlated electrons. In particular, for homogeneous Bose-Einstein condensates as well as for the Bose-Hubbard dimer it has been recently shown that the relevant density functional exhibits a repulsive gradient (called the Bose-Einstein condensation force) which diverges when the fraction of non-condensed bosons tends to zero. In this paper, we show that the existence of the Bose-Einstein condensation force is completely universal for any type of pair-interaction and also in the non-homogeneous gases. To this end, we construct a universal family of variational trial states which allows us to suitably approximate the relevant density functional in a finite region around the set of the completely condensed states. We also show the existence of an analogous repulsive gradient in the fermionic RDMFT for the $N$-fermion singlet sector in the vicinity of the set of the Hartree-Fock states. Finally, we show that our approximate functional may perform well in electron transfer calculations involving low numbers of electrons. This is demonstrated numerically in the Fermi-Hubbard model in the strongly correlated limit where some other approximate functionals are known to fail.

cond-mat.quant-gas↗

Can one hear a matrix? Recovering a real symmetric matrix from its spectral data

The spectrum of a real and symmetric $N\times N$ matrix determines the matrix up to unitary equivalence. More spectral data is needed together with some sign indicators to remove the unitary ambiguities. In the first part of this work we specify the spectral and sign information required for a unique reconstruction of general matrices. More specifically, the spectral information consists of the spectra of the $N$ nested main minors of the original matrix of the sizes $1,2,\dots,N$. However, due to the complicated nature of the required sign data, improvements are needed in order to make the reconstruction procedure feasible. With this in mind, the second part is restricted to banded matrices where the amount of spectral data exceeds the number of the unknown matrix entries. It is shown that one can take advantage of this redundancy to guarantee unique reconstruction of {\it generic} matrices, in other words, this subset of matrices is open, dense and of full measure in the set of real, symmetric and banded matrices. It is shown that one can optimize the ratio between redundancy and genericity by using the freedom of choice of the spectral information input. We demonstrate our constructions in detail for pentadiagonal matrices.

math-ph↗

Designing locally maximally entangled quantum states with arbitrary local symmetries

One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying a finite number of modes. Then, local symmetries of the designed quantum state are equal to the unitary group of local mode operations acting diagonally on all traps. Therefore, such a group of symmetries is naturally protected against errors that occur in a physical realisation of mode operators. We also link our results with the existence of so-called strictly semistable states with particular asymptotic diagonal symmetries. Our main technical result states that the $N$th tensor power of any irreducible representation of $\mathrm{SU}(N)$ contains a copy of the trivial representation. This is established via a direct combinatorial analysis of Littlewood-Richardson rules utilising certain combinatorial objects which we call telescopes.

quant-ph↗

Universal properties of anyon braiding on one-dimensional wire networks

We demonstrate that anyons on wire networks have fundamentally different braiding properties than anyons in 2D. Our analysis reveals an unexpectedly wide variety of possible non-abelian braiding behaviours on networks. The character of braiding depends on the topological invariant called the connectedness of the network. As one of our most striking consequences, particles on modular networks can change their statistical properties when moving between different modules. However, sufficiently highly connected networks already reproduce braiding properties of 2D systems. Our analysis is fully topological and independent on the physical model of anyons.

quant-ph↗

Non-abelian Quantum Statistics on Graphs

We show that non-abelian quantum statistics can be studied using certain topological invariants which are the homology groups of configuration spaces. In particular, we formulate a general framework for describing quantum statistics of particles constrained to move in a topological space $X$. The framework involves a study of isomorphism classes of flat complex vector bundles over the configuration space of $X$ which can be achieved by determining its homology groups. We apply this methodology for configuration spaces of graphs. As a conclusion, we provide families of graphs which are good candidates for studying simple effective models of anyon dynamics as well as models of non-abelian anyons on networks that are used in quantum computing. These conclusions are based on our solution of the so-called universal presentation problem for homology groups of graph configuration spaces for certain families of graphs.

math-ph↗

Non-abelian anyons on graphs from presentations of graph braid groups

The aim of this paper is to analyse algorithms for constructing presentations of graph braid groups from the point of view of anyonic quantum statistics on graphs. In the first part of this paper, we provide a comprehensive review of an algorithm for constructing so-called minimal Morse presentations of graph braid groups that relies on discrete Morse theory. Next, we introduce the notion of a physical presentation of a graph braid group as a presentation whose generators have a direct interpretation as particle exchanges. We show how to derive a physical presentation of a graph braid group from its minimal Morse presentation. In the second part of the paper, we study unitary representations of graph braid groups that are constructed from their presentations. We point out that algebraic objects called moduli spaces of flat bundles encode all unitary representations of graph braid groups. For $2$-connected graphs, we conclude the stabilisation of moduli spaces of flat bundles over graph configuration spaces for large numbers of particles. Moreover, we set out a framework for studying locally abelian anyons on graphs whose non-abelian properties are only encoded in non-abelian topological phases assigned to cycles of the considered graph.

math-ph↗

Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems

We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

Implications of pinned occupation numbers for natural orbital expansions. I: Generalizing the concept of active spaces

The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The respective wavefunction ansatzes which involve all possible electron configurations of active orbitals can be characterized by the saturation of a certain number of Pauli constraints $0 \leq n_i \leq 1$, identifying the occupied core orbitals ($n_i=1$) and the inactive virtual orbitals ($n_j=0$). In Part I, we generalize this crucial concept of active spaces by referring to the generalized Pauli constraints. To be more specific, we explain and illustrate that the saturation of any such constraint on fermionic occupation numbers characterizes a distinctive set of active electron configurations. A converse form of this selection rule establishes the basis for corresponding multiconfigurational wavefunction ansatzes. In Part II, we provide rigorous derivations of those findings. Moroever, we extend our results to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

Asymptotic properties of entanglement polytopes for large number of qubits

Entanglement polytopes have been recently proposed as the way of witnessing the SLOCC multipartite entanglement classes using single particle information. We present first asymptotic results concerning feasibility of this approach for large number of qubits. In particular we show that entanglement polytopes of $L$-qubit system accumulate in the distance $\frac{1}{2\sqrt{L}}$ from the point corresponding to the maximally mixed reduced one-qubit density matrices. This implies existence of a possibly large region where many entanglement polytopes overlap, i.e where the witnessing power of entanglement polytopes is weak. Moreover, the witnessing power cannot be strengthened by any entanglement distillation protocol as for large $L$ the required purity is above current capability.

quant-ph↗

Homology groups for particles on one-connected graphs

We present a mathematical framework for describing the topology of configuration spaces for particles on one-connected graphs. In particular, we compute the homology groups over integers for different classes of one-connected graphs. Our approach is based on some fundamental combinatorial properties of the configuration spaces, Mayer-Vietoris sequences for different parts of configuration spaces and some limited use of discrete Morse theory. As one of the results, we derive a closed-form formulae for ranks of the homology groups for indistinguishable particles on tree graphs. We also give a detailed discussion of the second homology group of the configuration space of both distinguishable and indistinguishable particles. Our motivation is the search for new kinds of quantum statistics.

math-ph↗

The probability distribution of spectral moments for the Gaussian beta-ensembles

We derive the joint probability distribution of the first two spectral moments for the G$β$E random matrix ensembles in N dimensions for any N. This is achieved by making use of two complementary invariants of the domain in $\mathbb{R}^N$ where the spectral moments are defined. Our approach is significantly different from those employed previously to answer related questions and potentially offers new insights. We also discuss the problems faced when attempting to include higher spectral moments.

math-ph↗

On the phase diagram of the anisotropic XY chain in transverse magnetic field

We investigate an explicite formula for ground state energy of the anisotropic XY chain in transverse magnetic field. In particular, we examine the smoothness properties of the expression, given in terms of elliptic integrals. We confirm known 2d-Ising type behaviour in the neighbourhood of certain lines of phase diagram and give more detailed information there, calculating a few next-to-leading exponents as well as corresponding amplitudes. We also explicitly demonstrate that the ground-state energy is infinitely differentiable on the boundary between ferromagnetic and oscillatory phases.

math-ph↗