title: Calculated line lists for H$_{\text{2}} \mkern0.1mu ^{\text{16}}$O and H$_{\text{2}} \mkern0.1mu ^{\text{18}}$O with extensive comparisons to theoretical and experimental sources including the HITRAN2016 database

abstract: New line lists are presented for the two most abundant water isotopologues; H$_{2}$$^{16}$O and H$_{2}$$^{18}$O. The H$_{2}$$^{16}$O line list extends to 25710 cm$^{-1}$ with intensity stabilities provided via ratios of calculated intensities obtained from two different semi-empirical potential energy surfaces. The line list for H$_{2}$$^{18}$O extends to 20000 cm$^{-1}$. The minimum intensity considered for all is $10^{-30}$ cm molecule$^{-1}$ at 296~K, assuming 100\% abundance for each isotopologue. Fluctuation of calculated intensities caused by changes in the underlying potential energy are found to be significant, particularly for weak transitions. Direct comparisons are made against eighteen different sources of line intensities, both experimental and theoretical, many of which are used within the HITRAN2016 database. With some exceptions, there is excellent agreement between our line lists and the experimental intensities in HITRAN2016. In the infrared region, many H$_{2}$$^{16}$O bands which exhibit intensity differences of 5-10\% between to the most recent 'POKAZATEL' line list (Polyansky \textit{et al.}, [Mon. Not. Roy. Astron. Soc. \textbf{480}, 2597 (2018)] and observation, are now generally predicted to within 1\%. For H$_{2}$$^{18}$O, there are systematic differences in the strongest intensities calculated in this work versus those obtained from semi-empirical calculations. In the visible, computed cross sections show smaller residuals between our work and both HITRAN2016 and HITEMP2010 than POKAZATEL. While our line list accurately reproduces HITEMP2010 cross sections in the observed region, residuals produced from this comparison do however highlight the need to update line positions in the visible spectrum of HITEMP2010. These line lists will be used to update many transition intensities and line positions in the HITRAN2016 database.


title: Distributed graph problems through an automata-theoretic lens

abstract: The locality of a graph problem is the smallest distance $T$ such that each node can choose its own part of the solution based on its radius-$T$ neighborhood. In many settings, a graph problem can be solved efficiently with a distributed or parallel algorithm if and only if it has a small locality. In this work we seek to automate the study of solvability and locality: given the description of a graph problem $\Pi$, we would like to determine if $\Pi$ is solvable and what is the asymptotic locality of $\Pi$ as a function of the size of the graph. Put otherwise, we seek to automatically synthesize efficient distributed and parallel algorithms for solving $\Pi$. We focus on locally checkable graph problems; these are problems in which a solution is globally feasible if it looks feasible in all constant-radius neighborhoods. Prior work on such problems has brought primarily bad news: questions related to locality are undecidable in general, and even if we focus on the case of labeled paths and cycles, determining locality is $\mathsf{PSPACE}$-hard (Balliu et al., PODC 2019). We complement prior negative results with efficient algorithms for the cases of unlabeled paths and cycles and, as an extension, for rooted trees. We introduce a new automata-theoretic perspective for studying locally checkable graph problems. We represent a locally checkable problem $\Pi$ as a nondeterministic finite automaton $\mathcal{M}$ over a unary alphabet. We identify polynomial-time-computable properties of the automaton $\mathcal{M}$ that near-completely capture the solvability and locality of $\Pi$ in cycles and paths, with the exception of one specific case that is $\mbox{co-$\mathsf{NP}$}$-complete.


title: Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs

abstract: We show the surprising result that the cutpoint isolation problem is decidable for Probabilistic Finite Automata (PFA) where input words are taken from a letter-bounded context-free language. A context-free language $\mathcal{L}$ is letter-bounded when $\mathcal{L} \subseteq a_1^*a_2^* \cdots a_\ell^*$ for some finite $\ell > 0$ where each letter is distinct. A cutpoint is isolated when it cannot be approached arbitrarily closely. The decidability of this problem is in marked contrast to the situation for the (strict) emptiness problem for PFA which is undecidable under the even more severe restrictions of PFA with polynomial ambiguity, commutative matrices and input over a letter-bounded language as well as to the injectivity problem which is undecidable for PFA over letter-bounded languages. We provide a constructive nondeterministic algorithm to solve the cutpoint isolation problem, which holds even when the PFA is exponentially ambiguous. We also show that the problem is at least NP-hard and use our decision procedure to solve several related problems.


title: On unbounded directions of linear interval parametric systems and their extensions to AE solutions

abstract: We consider a system of linear equations, whose coefficients depend linearly on interval parameters. Its solution set is defined as the set of all solutions of all admissible realizations of the parameters. We study unbounded directions of the solution set and its relation with its kernel. The kernel of a matrix characterizes unbounded direction in the real case and in the case of ordinary interval systems. In the general parametric case, however, this is not completely true. There is still a close relation preserved, which we discuss in the paper. Nevertheless, we identify several special sub-classes, for which the characterization remains valid. Next, we extend the results to the so called AE parametric systems, which are defined by forall-exists quantification.


title: FeatureNMS: Non-Maximum Suppression by Learning Feature Embeddings

abstract: Most state of the art object detectors output multiple detections per object. The duplicates are removed in a post-processing step called Non-Maximum Suppression. Classical Non-Maximum Suppression has shortcomings in scenes that contain objects with high overlap: This heuristic assumes that a high overlap between two bounding boxes corresponds to a high probability of one being a duplicate. We propose FeatureNMS to solve this problem. FeatureNMS recognizes duplicates not only based on the intersection over union between the bounding boxes, but also based on the difference of feature vectors. These feature vectors can encode more information like visual appearance. Our approach outperforms classical NMS and derived approaches and achieves state of the art performance.


title: Boundary-Domain Integral Equations for the Mixed Problem for the Diffusion Equation in Inhomogeneous Media based on a New Family of Parametrices on Unbounded Domains

abstract: A system of Boundary-Domain Integral Equations is derived from the mixed (Dirichlet-Neumann) boundary value problem for the diffusion equation in inhomogeneous media defined on an unbounded domain. Boundary-domain integral equations are formulated in terms of parametrix-based potential type integral operators defined on the boundary and the domain. Mapping properties of parametrix-based potentials on weighted Sobolev spaces are analysed. Equivalence between the original boundary value problem and the system of BDIEs is shown. Uniqueness of solution of the BDIEs is proved using Fredholm Alternative and compactness arguments adapted to weigthed Sobolev spaces.


title: Nonequilibrium thermodynamics: emergent and fundamental

abstract: How can we derive the evolution equations of dissipative systems? What is the relation between the different approaches? How much do we understand the fundamental aspects of a second law based framework? Is there a hierarchy of dissipative and ideal theories at all? How far can we reach with the new methods of nonequilibrium thermodynamics?


title: Basic inequality for statistical submanifolds of quaternion Kaehler-like statistical manifolds

abstract: In the present paper, we obtain the basic Chen inequalities for submanifolds of quaternion Kaehler-like statistical manifolds. Also, we discuss the same inequality for Lagrangian submanifolds.


title: Green's functions for non-classical transport with general anisotropic scattering

abstract: In non-classical linear transport the chord length distribution between collisions is non-exponential and attenuation does not respect Beer's law. Generalized radiative transfer (GRT) extends the classical theory to account for such two-point correlation between collisions and neglects all higher order correlations. For this form of transport, we derive the exact time-independent Green's functions for the isotropic point source in infinite 3D homogeneous media with general anisotropic scattering. Green's functions for both collision rate density, which characterizes absorption and reaction rates in the system, and radiance/flux, which characterizes displacement of radiation/particles, are solved in Fourier space. We validate the derivations using gamma random flights to produce the first anisotropic scattering benchmark solutions for the generalized linear Boltzmann equation. For gamma-4 flights with linearly anisotropic scattering and gamma-6 flights with Rayleigh scattering the collision rate density is found explicitly in real space as a sum of diffusion modes.


title: Nutrient Supply to Planetary Biospheres from Anoxic Weathering of Mafic Oceanic Crust

abstract: Phosphorus is an essential element for life, and the phosphorous cycle is widely believed to be a key factor limiting the extent of Earth's biosphere and its impact on remotely detectable features of Earth's atmospheric chemistry. Continental weathering is conventionally considered to be the only source of bioavailable phosphorus to the marine biosphere, with submarine hydrothermal processes acting as a phosphorus sink. Here, we use a novel 29Si tracer technique to demonstrate that alteration of submarine basalt under anoxic conditions leads to significant soluble phosphorus release, with an estimated ratio between phosphorus release and CO2 consumption (P/CO2) of 3.99+/-1.03 umol/mmol. This ratio is comparable to that of modern rivers, suggesting that submarine weathering under anoxic conditions is potentially a significant source of bioavailable phosphorus to planetary oceans and that volatile-rich Earth-like planets lacking exposed continents could develop robust biospheres capable of sustaining remotely detectable atmospheric biosignatures.


title: Schauder estimates on products of cones

abstract: We prove an interior Schauder estimate for the Laplacian on metric products of two dimensional cones with a Euclidean factor, generalizing the work of Donaldson and reproving the Schauder estimate of Guo-Song. We characterize the space of homogeneous subquadratic harmonic functions on products of cones, and identify scales at which geodesic balls can be well approximated by balls centered at the apex of an appropriate model cone. We then locally approximate solutions by subquadratic harmonic functions at these scales to measure the H\"older continuity of second derivatives.


title: Electron Beams Cannot Directly Produce Coronal Rain

abstract: Coronal rain is ubiquitous in flare loops, forming shortly after the onset of the solar flare. Rain is thought to be caused by a thermal instability, a localized runaway cooling of material in the corona. The models that demonstrate this require extremely long duration heating on the order of the radiative cooling time, localized near the footpoints of the loops. In flares, electron beams are thought to be the primary energy transport mechanism, driving strong footpoint heating during the impulsive phase that causes evaporation, filling and heating flare loops. Electron beams, however, do not act for a long period of time, and even supposing that they did, their heating would not remain localized at the footpoints. With a series of numerical experiments, we show directly that these two issues mean that electron beams are incapable of causing the formation of rain in flare loops. This result suggests that either there is another mechanism acting in flare loops responsible for rain, or that the modeling of the cooling of flare loops is somehow deficient. To adequately describe flares, the standard model must address this issue to account for the presence of coronal rain.


title: On rheonomic nonholonomic deformations of the Euler equations proposed by Bilimovich

abstract: In 1913 A.D. Bilimovich observed that rheonomic linear and homogeneous in generalized velocities constraints are ideal. As a typical example, he considered rheonomic nonholonomic deformation of the Euler equations which scleronomic version is equivalent to the nonholonomic Suslov system. For the Bilimovich system equations of motion are reduced to quadrature, which is discussed in rheonomic and scleronomic cases.


title: Can visualization alleviate dichotomous thinking? Effects of visual representations on the cliff effect

abstract: Common reporting styles for statistical results in scientific articles, such as p-values and confidence intervals (CI), have been reported to be prone to dichotomous interpretations, especially with respect to the null hypothesis significance testing framework. For example when the p-value is small enough or the CIs of the mean effects of a studied drug and a placebo are not overlapping, scientists tend to claim significant differences while often disregarding the magnitudes and absolute differences in the effect sizes. This type of reasoning has been shown to be potentially harmful to science. Techniques relying on the visual estimation of the strength of evidence have been recommended to reduce such dichotomous interpretations but their effectiveness has also been challenged. We ran two experiments on researchers with expertise in statistical analysis to compare several alternative representations of confidence intervals and used Bayesian multilevel models to estimate the effects of the representation styles on differences in researchers' subjective confidence in the results. We also asked the respondents' opinions and preferences in representation styles. Our results suggest that adding visual information to classic CI representation can decrease the tendency towards dichotomous interpretations - measured as the `cliff effect': the sudden drop in confidence around p-value 0.05 - compared with classic CI visualization and textual representation of the CI with p-values. All data and analyses are publicly available at https://github.com/helske/statvis.


title: Structural Invariants for the Verification of Systems with Parameterized Architectures

abstract: We consider parameterized concurrent systems consisting of a finite but unknown number of components, obtained by replicating a given set of finite state automata. Components communicate by executing atomic interactions whose participants update their states simultaneously. We introduce an interaction logic to specify both the type of interactions (e.g.\ rendez-vous, broadcast) and the topology of the system (e.g.\ pipeline, ring). The logic can be easily embedded in monadic second order logic of finitely many successors, and is therefore decidable. Proving safety properties of such a parameterized system, like deadlock freedom or mutual exclusion, requires to infer an inductive invariant that contains all reachable states of all system instances, and no unsafe state. We present a method to automatically synthesize inductive invariants directly from the formula describing the interactions, without costly fixed point iterations. We experimentally prove that this invariant is strong enough to verify safety properties of a large number of systems including textbook examples (dining philosophers, synchronization schemes), classical mutual exclusion algorithms, cache-coherence protocols and self-stabilization algorithms, for an arbitrary number of components.


title: Network Theoretic Analysis of Maximum a Posteriori Detectors for Optimal Input Detection

abstract: This paper considers maximum-a-posteriori (MAP) and linear discriminant based MAP detectors to detect changes in the mean and covariance of a stochastic input, driving specific network nodes, using noisy measurements from sensors non-collocated with the input nodes. We explicitly characterize both detectors' performance in terms of the network edge weights and input and sensor nodes' location. In the asymptotic measurement regime, when the input and measurement noise are jointly Gaussian, we show that the detectors' performance can be studied using the input to output gain of the system's transfer function matrix. Using this result, we obtain conditions for which the detection performance associated with the sensors on a given network cut is better (or worse) than that of the sensors associated with the subnetwork induced by the cut and not containing the input nodes. Our results also provide structural insights into the sensor placement from a detection-theoretic viewpoint. We validate our theoretical findings via multiple numerical examples.


title: How incomputable is Kolmogorov complexity?

abstract: Kolmogorov complexity is the length of the ultimately compressed version of a file (that is, anything which can be put in a computer). Formally, it is the length of a shortest program from which the file can be reconstructed. We discuss the incomputabilty of Kolmogorov complexity, which formal loopholes this leaves us, recent approaches to compute or approximate Kolmogorov complexity, which approaches are problematic and which approaches are viable.


title: Random generation with the spin of a qutrit

abstract: We consider the use of a single qutrit for random generation. This is possible because single qutrits exhibit contextuality features. We aim to optimize the entropy of the generated sequence. To do this, we do not rely on the KCBS inequality but instead on the use of a specific state and a check for fidelity. By the way, we show that this check can be considered as a variant of the CHSH inequality applied to pairs of photons or spin-1/2 particles (qutrits are often realized as a pair of indistinguishable qubits). The physical realisation of this random generator should be eased by the fact it needs only to implement spin operations and measurement, not general $\SU(3)$ qutrit manipulations.


title: A Possibility in Algorithmic Fairness: Can Calibration and Equal Error Rates Be Reconciled?

abstract: Decision makers increasingly rely on algorithmic risk scores to determine access to binary treatments including bail, loans, and medical interventions. In these settings, we reconcile two fairness criteria that were previously shown to be in conflict: calibration and error rate equality. In particular, we derive necessary and sufficient conditions for the existence of calibrated scores that yield classifications achieving equal error rates at any given group-blind threshold. We then present an algorithm that searches for the most accurate score subject to both calibration and minimal error rate disparity. Applied to the COMPAS criminal risk assessment tool, we show that our method can eliminate error disparities while maintaining calibration. In a separate application to credit lending, we compare our procedure to the omission of sensitive features and show that it raises both profit and the probability that creditworthy individuals receive loans.


title: Performance Analysis of Adaptive Noise Cancellation for Speech Signal

abstract: This paper gives a broader insight on the application of adaptive filter in noise cancellation during various processes where signal is transmitted. Adaptive filtering techniques like RLS, LMS and normalized LMS are used to filter the input signal using the concept of negative feedback to predict its nature and remove it effectively from the input. In this paper a comparative study between the effectiveness of RLS, LMS and normalized LMS is done based on parameters like SNR (Signal to Noise ratio), MSE (Mean squared error) and cross correlation. Implementation and analysis of the filters are done by taking different step sizes on different orders of the filters.


title: Re-evaluation of ortho-para-dependence of self-pressure broadening in the $v_1+v_3$ band of acetylene

abstract: Optical frequency comb-referenced measurements of self pressure-broadened line profiles of the R(8) to R(13) lines in the \thisband combination band of acetylene near 1.52$\mu$m are reported. The analysis of the data found no evidence for a previously reported [Iwakuni et al. \textit{Phys. Rev. Letts.} \textbf{117}, 143902(5) 2016] systematic alternation in self pressure-broadened line widths with the nuclear spin state of the molecule. The present work brought out the need for the use of an accurate line profile model and a careful accounting for weak background absorptions due to hot-band and lower abundance isotopomer lines. The data were adequately fit using the quadratic speed-dependent Voigt profile model, neglecting the small speed-dependent shift. Parameters describing the most probable and speed-dependent pressure-broadening, most probable shift, and the line strength were determined for each line. Detailed modeling of the results of Iwakuni et al. showed that their neglect of collisional narrowing due to the speed-dependent broadening term, combined with the strongly absorbing data recorded and analyzed in transmission mode were likely the reasons for their results.


title: Statistical mechanics of a chiral active fluid

abstract: Statistical mechanics provides the foundation for describing complex materials using only a few thermodynamic variables. No such framework currently exists far from equilibrium. In this Letter, we demonstrate how thermodynamics emerges far from equilibrium, using fluids composed of active spinners as a case study. Activity gives rise to a single effective temperature that parameterizes both the equation of state and the emergent Boltzmann statistics. The same effective temperature, renormalized by velocity correlations, controls the linear response through canonical Green-Kubo relations for both the familiar shear viscosity and the odd (or Hall) viscosity observed in chiral fluids. The full frequency dependence of these viscosities can be derived analytically by modeling the active-spinner fluid as a random walker undergoing cyclotron motion in shear-stress space. More generally, we provide a first-principles derivation of the Green-Kubo relations valid for a broader class of fluids far from equilibrium. Besides advancing non-equilibrium thermodynamics, our work demonstrates in silico a non-invasive microrheology of active fluids.


title: Representations for the largest Extension of a closure system

abstract: We consider extension of a closure system on a finite set S as a closure system on the same set S containing the given one as a sublattice. A closure system can be represented in different ways, e.g. by an implicational base or by the set of its meet-irreducible elements. When a closure system is described by an implicational base, we provide a characterization of the implicational base for the largest extension. We also show that the largest extension can be handled by a small modification of the implicational base of the input closure system. This answers a question asked in [12]. Second, we are interested in computing the largest extension when the closure system is given by the set of all its meet-irreducible elements. We give an incremental polynomial time algorithm to compute the largest extension of a closure system, and left open if the number of meet-irreducible elements grows exponentially.


title: Deep Neural Networks for the Correction of Mie Scattering in Fourier-Transformed Infrared Spectra of Biological Samples

abstract: Infrared spectra obtained from cell or tissue specimen have commonly been observed to involve a significant degree of (resonant) Mie scattering, which often overshadows biochemically relevant spectral information by a non-linear, non-additive spectral component in Fourier transformed infrared (FTIR) spectroscopic measurements. Correspondingly, many successful machine learning approaches for FTIR spectra have relied on preprocessing procedures that computationally remove the scattering components from an infrared spectrum. We propose an approach to approximate this complex preprocessing function using deep neural networks. As we demonstrate, the resulting model is not just several orders of magnitudes faster, which is important for real-time clinical applications, but also generalizes strongly across different tissue types. Furthermore, our proposed method overcomes the trade-off between computation time and the corrected spectrum being biased towards an artificial reference spectrum.


title: How to Solve Fair $k$-Center in Massive Data Models

abstract: Fueled by massive data, important decision making is being automated with the help of algorithms, therefore, fairness in algorithms has become an especially important research topic. In this work, we design new streaming and distributed algorithms for the fair $k$-center problem that models fair data summarization. The streaming and distributed models of computation have an attractive feature of being able to handle massive data sets that do not fit into main memory. Our main contributions are: (a) the first distributed algorithm; which has provably constant approximation ratio and is extremely parallelizable, and (b) a two-pass streaming algorithm with a provable approximation guarantee matching the best known algorithm (which is not a streaming algorithm). Our algorithms have the advantages of being easy to implement in practice, being fast with linear running times, having very small working memory and communication, and outperforming existing algorithms on several real and synthetic data sets. To complement our distributed algorithm, we also give a hardness result for natural distributed algorithms, which holds for even the special case of $k$-center.


title: Generation and Robustness of Quantum Entanglement in Spin Graphs

abstract: Entanglement is a crucial resource for quantum information processing, and so protocols to generate high fidelity entangled states on various hardware platforms are in demand. While spin chains have been extensively studied to generate entanglement, graph structures also have such potential; however, only a few classes of graphs have been explored for this specific task. In this paper, we apply a particular coupling scheme involving two different coupling strengths to a graph of two interconnected $3\times3$ square graphs such that it effectively contains three defects. We show how this structure allows generation of a Bell state whose fidelity depends on the chosen coupling ratio. We apply partitioned graph theory in order to reduce the dimension of the graph and show that, using a reduced graph or a reduced chain, we can still simulate the same protocol with identical dynamics. Finally, we investigate how fabrication errors affect the entanglement generation protocol and how the different equivalent structures are affected, finding that for some specific coupling ratios they are extremely robust.


title: A Lagrangian Approach to Information Propagation in Graph Neural Networks

abstract: In many real world applications, data are characterized by a complex structure, that can be naturally encoded as a graph. In the last years, the popularity of deep learning techniques has renewed the interest in neural models able to process complex patterns. In particular, inspired by the Graph Neural Network (GNN) model, different architectures have been proposed to extend the original GNN scheme. GNNs exploit a set of state variables, each assigned to a graph node, and a diffusion mechanism of the states among neighbor nodes, to implement an iterative procedure to compute the fixed point of the (learnable) state transition function. In this paper, we propose a novel approach to the state computation and the learning algorithm for GNNs, based on a constraint optimisation task solved in the Lagrangian framework. The state convergence procedure is implicitly expressed by the constraint satisfaction mechanism and does not require a separate iterative phase for each epoch of the learning procedure. In fact, the computational structure is based on the search for saddle points of the Lagrangian in the adjoint space composed of weights, neural outputs (node states), and Lagrange multipliers. The proposed approach is compared experimentally with other popular models for processing graphs.


title: Entire downward solitons to the scalar curvature flow in Minkowski space

abstract: Existence and uniqueness in Minkowski space of entire downward translating solitons with prescribed values at infinity for a scalar curvature flow equation. The radial case translates into an ordinary differential equation and the general case into a fully non-linear elliptic PDE on R^n.


title: Robust Quantization: One Model to Rule Them All

abstract: Neural network quantization methods often involve simulating the quantization process during training, making the trained model highly dependent on the target bit-width and precise way quantization is performed. Robust quantization offers an alternative approach with improved tolerance to different classes of data-types and quantization policies. It opens up new exciting applications where the quantization process is not static and can vary to meet different circumstances and implementations. To address this issue, we propose a method that provides intrinsic robustness to the model against a broad range of quantization processes. Our method is motivated by theoretical arguments and enables us to store a single generic model capable of operating at various bit-widths and quantization policies. We validate our method's effectiveness on different ImageNet models.


title: Mind Your Weight(s): A Large-scale Study on Insufficient Machine Learning Model Protection in Mobile Apps

abstract: On-device machine learning (ML) is quickly gaining popularity among mobile apps. It allows offline model inference while preserving user privacy. However, ML models, considered as core intellectual properties of model owners, are now stored on billions of untrusted devices and subject to potential thefts. Leaked models can cause both severe financial loss and security consequences. This paper presents the first empirical study of ML model protection on mobile devices. Our study aims to answer three open questions with quantitative evidence: How widely is model protection used in apps? How robust are existing model protection techniques? What impacts can (stolen) models incur? To that end, we built a simple app analysis pipeline and analyzed 46,753 popular apps collected from the US and Chinese app markets. We identified 1,468 ML apps spanning all popular app categories. We found that, alarmingly, 41% of ML apps do not protect their models at all, which can be trivially stolen from app packages. Even for those apps that use model protection or encryption, we were able to extract the models from 66% of them via unsophisticated dynamic analysis techniques. The extracted models are mostly commercial products and used for face recognition, liveness detection, ID/bank card recognition, and malware detection. We quantitatively estimated the potential financial and security impact of a leaked model, which can amount to millions of dollars for different stakeholders. Our study reveals that on-device models are currently at high risk of being leaked; attackers are highly motivated to steal such models. Drawn from our large-scale study, we report our insights into this emerging security problem and discuss the technical challenges, hoping to inspire future research on robust and practical model protection for mobile devices.


title: Quantum Coupon Collector

abstract: We study how efficiently a $k$-element set $S\subseteq[n]$ can be learned from a uniform superposition $|S\rangle$ of its elements. One can think of $|S\rangle=\sum_{i\in S}|i\rangle/\sqrt{|S|}$ as the quantum version of a uniformly random sample over $S$, as in the classical analysis of the ``coupon collector problem.'' We show that if $k$ is close to $n$, then we can learn $S$ using asymptotically fewer quantum samples than random samples. In particular, if there are $n-k=O(1)$ missing elements then $O(k)$ copies of $|S\rangle$ suffice, in contrast to the $\Theta(k\log k)$ random samples needed by a classical coupon collector. On the other hand, if $n-k=\Omega(k)$, then $\Omega(k\log k)$ quantum samples are~necessary. More generally, we give tight bounds on the number of quantum samples needed for every $k$ and $n$, and we give efficient quantum learning algorithms. We also give tight bounds in the model where we can additionally reflect through $|S\rangle$. Finally, we relate coupon collection to a known example separating proper and improper PAC learning that turns out to show no separation in the quantum case.


title: Voxel-Based Indoor Reconstruction From HoloLens Triangle Meshes

abstract: Current mobile augmented reality devices are often equipped with range sensors. The Microsoft HoloLens for instance is equipped with a Time-Of-Flight (ToF) range camera providing coarse triangle meshes that can be used in custom applications. We suggest to use the triangle meshes for the automatic generation of indoor models that can serve as basis for augmenting their physical counterpart with location-dependent information. In this paper, we present a novel voxel-based approach for automated indoor reconstruction from unstructured three-dimensional geometries like triangle meshes. After an initial voxelization of the input data, rooms are detected in the resulting voxel grid by segmenting connected voxel components of ceiling candidates and extruding them downwards to find floor candidates. Semantic class labels like 'Wall', 'Wall Opening', 'Interior Object' and 'Empty Interior' are then assigned to the room voxels in-between ceiling and floor by a rule-based voxel sweep algorithm. Finally, the geometry of the detected walls and their openings is refined in voxel representation. The proposed approach is not restricted to Manhattan World scenarios and does not rely on room surfaces being planar.


title: Free inverse monoids are not $FP_2$

abstract: We give a topological proof that a free inverse monoid on one or more generators is neither of type left-$FP_2$ nor right-$FP_2$. This strengthens a classical result of Schein that such monoids are not finitely presented as monoids.


title: Fundamental Limits of Wireless Caching Under Mixed Cacheable and Uncacheable Traffic

abstract: We consider cache-aided wireless communication scenarios where each user requests both a file from an a-priori generated cacheable library (referred to as 'content'), and an uncacheable 'non-content' message generated at the start of the wireless transmission session. This scenario is easily found in real-world wireless networks, where the two types of traffic coexist and share limited radio resources. We focus on single-transmitter, single-antenna wireless networks with cache-aided receivers, where the wireless channel is modelled by a degraded Gaussian broadcast channel (GBC). For this setting, we study the delay-rate trade-off, which characterizes the content delivery time and non-content communication rates that can be achieved simultaneously. We propose a scheme based on the separation principle, which isolates the coded caching and multicasting problem from the physical layer transmission problem. We show that this separation-based scheme is sufficient for achieving an information-theoretically order optimal performance, up to a multiplicative factor of 2.01 for the content delivery time, when working in the generalized degrees of freedom (GDoF) limit. We further show that the achievable performance is near-optimal after relaxing the GDoF limit, up to an additional additive factor of 2 bits per dimension for the non-content rates. A key insight emerging from our scheme is that in some scenarios considerable amounts of non-content traffic can be communicated while maintaining the minimum content delivery time, achieved in the absence of non-content messages; compliments of 'topological holes' arising from asymmetries in wireless channel gains.


title: Imaging and Modeling Data from the Hydrogen Epoch of Reionization Array

abstract: We analyze data from the Hydrogen Epoch of Reionization Array. This is the third in a series of papers on the closure phase delay-spectrum technique designed to detect the HI 21cm emission from cosmic reionization. We present the details of the data and models employed in the power spectral analysis, and discuss limitations to the process. We compare images and visibility spectra made with HERA data, to parallel quantities generated from sky models based on the GLEAM survey, incorporating the HERA telescope model. We find reasonable agreement between images made from HERA data, with those generated from the models, down to the confusion level. For the visibility spectra, there is broad agreement between model and data across the full band of $\sim 80$MHz. However, models with only GLEAM sources do not reproduce a roughly sinusoidal spectral structure at the tens of percent level seen in the observed visibility spectra on scales $\sim 10$ MHz on 29 m baselines. We find that this structure is likely due to diffuse Galactic emission, predominantly the Galactic plane, filling the far sidelobes of the antenna primary beam. We show that our current knowledge of the frequency dependence of the diffuse sky radio emission, and the primary beam at large zenith angles, is inadequate to provide an accurate reproduction of the diffuse structure in the models. We discuss implications due to this missing structure in the models, including calibration, and in the search for the HI 21cm signal, as well as possible mitigation techniques.


title: Geodesic complexity of motion planning

abstract: We introduce the geodesic complexity of a metric space, inspired by the topological complexity of a topological space. Both of them are numerical invariants, but, while the TC only depends on the homotopy type, the GC is an invariant under isometries. We show that in many cases they coincide but we also develop tools to distinguish the two in a range of examples. To this end, we study what we denote the total cut locus, which does not appear to have been explicitly considered in the literature. To the knowledge of the author, the GC is a new invariant of a metric space. Furthermore, just like the TC, the GC has potential applications to the field of robotics.


title: Fluctuation-Dissipation Relation from the Nonequilibrium Dynamics of a Nonlinear Open Quantum System

abstract: Continuing our inquiry into the conditions when fluctuation-dissipation relations (FDR) may appear in the context of nonequilibrium dynamics of open quantum systems (over and beyond the conventional FDR from linear response theory) we turn to nonGaussian systems and consider this issue for an anharmonic oscillator interacting with a scalar quantum field bath. We present the general {nonperturbative} expressions for the rate of energy (power) exchange between the anharmonic oscillator and the thermal bath. For the cases that a stable final equilibrium state exists, and the nonstationary components of the two-point functions of the anharmonic oscillator have negligible contributions to the evaluation of the power balance, we can show nonperturbatively that equilibration implies an FDR for the anharmonic oscillator. We then use a weakly anharmonic oscillator as an example to illustrate that those two assumptions indeed are satisfied according to our first-order perturbative results: that the net energy exchange vanishes after relaxation in the open system dynamics and an equilibrium state exists at late times.


title: Computing the k Densest Subgraphs of a Graph

abstract: Computing cohesive subgraphs is a central problem in graph theory. While many formulations of cohesive subgraphs lead to NP-hard problems, finding a densest subgraph can be done in polynomial time. As such, the densest subgraph model has emerged as the most popular notion of cohesiveness. Recently, the data mining community has started looking into the problem of computing k densest subgraphs in a given graph, rather than one, with various restrictions on the possible overlap between the subgraphs. However, there seems to be very little known on this important and natural generalization from a theoretical perspective. In this paper we hope to remedy this situation by analyzing three natural variants of the k densest subgraphs problem. Each variant differs depending on the amount of overlap that is allowed between the subgraphs. In one extreme, when no overlap is allowed, we prove that the problem is NP-hard for k >= 3. On the other extreme, when overlap is allowed without any restrictions and the solution subgraphs only have to be distinct, we show that the problem is fixed-parameter tractable with respect to k, and admits a PTAS for constant k. Finally, when a limited of overlap is allowed between the subgraphs, we prove that the problem is NP-hard for k = 2.


title: Neural Attentive Multiview Machines

abstract: An important problem in multiview representation learning is finding the optimal combination of views with respect to the specific task at hand. To this end, we introduce NAM: a Neural Attentive Multiview machine that learns multiview item representations and similarity by employing a novel attention mechanism. NAM harnesses multiple information sources and automatically quantifies their relevancy with respect to a supervised task. Finally, a very practical advantage of NAM is its robustness to the case of dataset with missing views. We demonstrate the effectiveness of NAM for the task of movies and app recommendations. Our evaluations indicate that NAM outperforms single view models as well as alternative multiview methods on item recommendations tasks, including cold-start scenarios.


title: Multiphoton signals of a (96 GeV?) stealth boson

abstract: Cascade decays of new scalars into final states with multiple photons and possibly quarks may lead to distinctive experimental signatures at high-energy colliders. Such signals are even more striking if the scalars are highly boosted, as when produced from the decay of a much heavier resonance. We study this type of events within the framework of the minimal stealth boson model, an anomaly-free $\text{U}(1)_{Y'}$ extension of the Standard Model with two complex scalar singlets. It is shown that, while those signals may have cross sections that might render them observable with LHC Run 2 data, they have little experimental coverage. We also establish a connection with a CMS excess observed in searches for new scalars decaying into diphoton final states near 96 GeV. In particular, we conclude that the predicted multiphoton signatures are compatible with such excess.


title: Dynamics of Cycles in Polyhedra I: The Isolation Lemma

abstract: A cycle $C$ of a graph $G$ is \emph{isolating} if every component of $G-V(C)$ is a single vertex. We show that isolating cycles in polyhedral graphs can be extended to larger ones: every isolating cycle $C$ of length $6 \leq |E(C)| < \left \lfloor \frac{2}{3}(|V(G)|+4) \right \rfloor$ implies an isolating cycle $C'$ of larger length that contains $V(C)$. By "hopping" iteratively to such larger cycles, we obtain a powerful and very general inductive motor for proving long cycles and computing them (we will give an algorithm with quadratic running time). This is the first step towards the so far elusive quest of finding a universal induction that captures longest cycles of polyhedral graph classes. Our motor provides also a method to prove linear lower bounds on the length of Tutte cycles, as $C'$ will be a Tutte cycle of $G$ if $C$ is. We prove in addition that $|E(C')| \leq |E(C)|+3$ if $G$ contains no face of size five, which gives a new tool for results about cycle spectra, and provides evidence that faces of size five may obstruct long cycles in many graph classes. We test our motor on the following conjecture about essentially 4-connected graphs. A planar graph is \emph{essentially $4$-connected} if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Jackson and Wormald proved that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2}{5}(n+2)$, and this result has recently been improved multiple times, culminating in the lower bound $\frac{5}{8}(n+2)$. However, the currently best known upper bound is given by an infinite family of such graphs in which no graph $G$ contains a cycle that is longer than $\left \lfloor \frac{2}{3}(n+4) \right \rfloor$; this upper bound is still unmatched. Using isolating cycles, we improve the lower bound to match the upper. All our results are tight.


title: Cognitive Biomarker Prioritization in Alzheimer's Disease using Brain Morphometric Data

abstract: Background:Cognitive assessments represent the most common clinical routine for the diagnosis of Alzheimer's Disease (AD). Given a large number of cognitive assessment tools and time-limited office visits, it is important to determine a proper set of cognitive tests for different subjects. Most current studies create guidelines of cognitive test selection for a targeted population, but they are not customized for each individual subject. In this manuscript, we develop a machine learning paradigm enabling personalized cognitive assessments prioritization. Method: We adapt a newly developed learning-to-rank approach PLTR to implement our paradigm. This method learns the latent scoring function that pushes the most effective cognitive assessments onto the top of the prioritization list. We also extend PLTR to better separate the most effective cognitive assessments and the less effective ones. Results: Our empirical study on the ADNI data shows that the proposed paradigm outperforms the state-of-the-art baselines on identifying and prioritizing individual-specific cognitive biomarkers. We conduct experiments in cross validation and level-out validation settings. In the two settings, our paradigm significantly outperforms the best baselines with improvement as much as 22.1% and 19.7%, respectively, on prioritizing cognitive features. Conclusions: The proposed paradigm achieves superior performance on prioritizing cognitive biomarkers. The cognitive biomarkers prioritized on top have great potentials to facilitate personalized diagnosis, disease subtyping, and ultimately precision medicine in AD.


title: Exactly Thermalised Quantum Dynamics of the Spin-Boson Model coupled to a Dissipative Environment

abstract: We present an application of the Extended Stochastic Liouville-von Neumann equations (ESLN) method introduced earlier [PRB 95, 125124 (2017); PRB 97, 224310 (2018)] which describes the dynamics of an exactly thermalised open quantum system reduced density matrix coupled to a non-Markovian harmonic environment. Critically, the combined system of the open system fully coupled to its environment is thermalised at finite temperature using an imaginary time evolution procedure before the application of real time evolution. This initialises the combined system in the correct canonical equilibrium state rather than being initially decoupled. We apply our theory to the spin-boson Hamiltonian and develop a number of competing ESLN variants designed to reduce the numerical divergence of the trace of the open system density matrix. We find that a careful choice of the driving noises is essential for improving numerical stability. We also investigate the effect of applying higher order numerical schemes for solving stochastic differential equations, such as the Stratonovich-Heun scheme, and conclude that stochastic sampling dominates convergence with the improvement associated with the numerical scheme being less important for short times but required for late times. To verify the method and its numerical implementation, we consider evolution under a fixed Hamiltonian and show that the system either remains in, or approaches, the correct canonical equilibrium state at long times. Additionally, evolution of the open system under non-equilibrium Landau-Zener (LZ) driving is considered and the asymptotic convergence to the LZ limit was observed for vanishing system-environment coupling and temperature. When coupling and temperature are non-zero, initially thermalising the combined system at a finite time in the past was found to be a better approximation of the true LZ initial state than a pure state.


title: Golay Layer: Limiting Peak-to-Average Power Ratio for OFDM-based Autoencoders

abstract: In this study, we propose a differentiable layer for OFDM-based autoencoders (OFDM-AEs) to avoid high instantaneous power without regularizing the cost function used during the training. The proposed approach relies on the manipulation of the parameters of a set of functions that yield complementary sequences (CSs) through a deep neural network (DNN). We guarantee the peak-to-average-power ratio (PAPR) of each OFDM-AE symbol to be less than or equal to 3 dB. We also show how to normalize the mean power by using the functions in addition to PAPR. The introduced layer admits auxiliary parameters that allow one to control the amplitude and phase deviations in the frequency domain. Numerical results show that DNNs at the transmitter and receiver can achieve reliable communications under this protection layer at the expense of complexity.


title: NGC 6397: The metallicity trend along the isochrone revisited

abstract: Recent work has used spectra of about 5000 stars in NGC 6397 that were extracted from a MUSE mosaic to determine the atmospheric parameters for these stars by fitting the spectra against the Goettingen Spectral Library. A significant change in metallicity between the turn off and the red giant branch was found and was discussed as a possible manifestation of predicted effects of atomic diffusion. However, the small amplitude of the effect and inconsistency with earlier measurements call for more attention before this result is interpreted. Systematic effects due to the interpolation or to the synthetic spectra cannot be ruled out at this level of precision. We reanalyze the data with the ELODIE and MILES reference libraries in order to assess the robustness of the result. These empirical libraries have a finer metallicity coverage down to approximately the cluster metalicity turn-off. We used the ULySS full-spectrum fitting package, together with the library interpolators to remeasure the three atmospheric parameters effective temperature, surface gravity, and [Fe/H] metallicity. We find a very low [Fe/H] dispersion along the isochrone (0.07 dex), consistent with our error estimate (0.05 dex). However, the [Fe/H] trend is not reproducible. This shows that the data have the potential to reveal patterns of the magnitude of the expected physical effects, but the analysis methods need to be refined to cull systematic effects that currently dominate the patterns.


title: Deep Learning in Medical Ultrasound Image Segmentation: a Review

abstract: Applying machine learning technologies, especially deep learning, into medical image segmentation is being widely studied because of its state-of-the-art performance and results. It can be a key step to provide a reliable basis for clinical diagnosis, such as 3D reconstruction of human tissues, image-guided interventions, image analyzing and visualization. In this review article, deep-learning-based methods for ultrasound image segmentation are categorized into six main groups according to their architectures and training at first. Secondly, for each group, several current representative algorithms are selected, introduced, analyzed and summarized in detail. In addition, common evaluation methods for image segmentation and ultrasound image segmentation datasets are summarized. Further, the performance of the current methods and their evaluations are reviewed. In the end, the challenges and potential research directions for medical ultrasound image segmentation are discussed.


title: Large scale and linear scaling DFT with the CONQUEST code

abstract: We survey the underlying theory behind the large-scale and linear scaling DFT code, Conquest, which shows excellent parallel scaling and can be applied to thousands of atoms with exact solutions, and millions of atoms with linear scaling. We give details of the representation of the density matrix and the approach to finding the electronic ground state, and discuss the implementation of molecular dynamics with linear scaling. We give an overview of the performance of the code, focussing in particular on the parallel scaling, and provide examples of recent developments and applications.


title: Towards Bounding-Box Free Panoptic Segmentation

abstract: In this work we introduce a new Bounding-Box Free Network (BBFNet) for panoptic segmentation. Panoptic segmentation is an ideal problem for proposal-free methods as it already requires per-pixel semantic class labels. We use this observation to exploit class boundaries from off-the-shelf semantic segmentation networks and refine them to predict instance labels. Towards this goal BBFNet predicts coarse watershed levels and uses them to detect large instance candidates where boundaries are well defined. For smaller instances, whose boundaries are less reliable, BBFNet also predicts instance centers by means of Hough voting followed by mean-shift to reliably detect small objects. A novel triplet loss network helps merging fragmented instances while refining boundary pixels. Our approach is distinct from previous works in panoptic segmentation that rely on a combination of a semantic segmentation network with a computationally costly instance segmentation network based on bounding box proposals, such as Mask R-CNN, to guide the prediction of instance labels using a Mixture-of-Expert (MoE) approach. We benchmark our proposal-free method on Cityscapes and Microsoft COCO datasets and show competitive performance with other MoE based approaches while outperforming existing non-proposal based methods on the COCO dataset. We show the flexibility of our method using different semantic segmentation backbones.


title: Characterization of High-Purity Germanium (Ge) Crystals for Developing Novel Ge Detectors

abstract: High-purity germanium (HPGe) crystals are required to be well-characterized before being fabricated into Ge detectors. The characterization of HPGe crystals is often performed with the Hall Effect system, which measures the carrier concentration, the Hall mobility, and the electrical resistivity. The reported values have a strong dependence on the size of the ohmic contacts and the geometry of the samples used in conducting the Hall Effect measurements. We conduct a systematic study using four samples cut from the same location in a HPGe crystal made into different sized ohmic contacts or different geometries to study the variation of the measured parameters from the Hall Effect system. The results are compared to the C-V measurements provided by the Ge detector made from the same crystal. We report the systematic errors involved with the Hall Effect system and find a reliable technique that minimizes the systematic error to be only a few percent from the Hall Effect measurements.

categories: physics.ins-det cond-mat.mtrl-sci hep-ex nucl-ex


title: Investigation of the Electrical Conduction Mechanisms in P-type Amorphous Germanium (a-Ge) Used as a-Ge Contacts for Ge Detectors

abstract: Electrical conduction mechanisms in the disordered material system is experimentally studied for p-type amorphous germanium (a-Ge) used for high-purity Ge detector contacts. The localization length and the hopping parameters in a-Ge are determined using the surface leakage current measured from three high-purity planar Ge detectors. The temperature-dependent hopping distance and hopping energy are obtained for a-Ge fabricated as the electrical contact materials for high-purity Ge planar detectors. As a result, we find that the hopping energy in a-Ge increases as temperature increases while the hopping distance in a-Ge decreases as temperature increases. The localization length of a-Ge is on the order of $2.13^{-0.05}_{+0.07} A^\circ$ to $5.07^{-0.83}_{+2.58}A^\circ$, depending on the density of states near the Fermi energy level within bandgap. Using these parameters, we predict that the surface leakage current from a Ge detector with a-Ge contacts can be much smaller than one yocto amp (yA) at helium temperature, suitable for rare-event physics searches.


title: Atomic line versus lens cavity filters: A comparison of their merits

abstract: We present a comparison between lens cavity filters and atomic line filters, discussing their relative merits for applications in quantum optics. We describe the design, characterization and stabilization procedure of a lens cavity filter, which consists of a high-reflection coated commercially available plano-convex lens, and compare it to an ultra-narrow atomic band-pass filter utilizing the D$_{2}$ absorption line in atomic rubidium vapor. We find that the cavity filter peak transmission frequency and bandwidth can be chosen arbitrarily but the transmission frequency is subject to thermal drift and the cavity needs stabilization to better than a few mK, while the atomic filter is intrinsically stable and tied to an atomic resonance frequency such that it can be used in a non-laboratory environment.


title: Electromagnetic Calorimeter for MPD Spectrometer at NICA Collider

abstract: The Multi-Purpose Detector (MPD) is designed to study a hot and dense baryonic matter formed in heavy-ion collisions at SQRT(sNN)=4-11 GeV at the NICA accelerator complex (Dubna, Russia). Large-sized electromagnetic calorimeter (ECal) of the MPD spectrometer will provide precise spatial and energy measurements for photons and electrons in the central pseudorapidity region of |eta|<1.2. The Shashlyk-type sampling structure of the ECal is optimized for the photons energy range from about 40 MeV to 2-3 GeV. Fine segmentation and projective geometry of the calorimeter allow to deal with high multiplicity of secondary particles from Au-Au reactions. In this talk, we report on a design, a construction status and expected parameters of the ECal.


title: Time evolution of charged particle wave functions in optical crystal: The coherent Kapitza-Dirac effect for plasma-based proton beams

abstract: The stationary eigenstates and eigenvalues for the ponderomotive potential of an optical crystal confined in a one-dimensional infinite square well are numerically obtained. The initial states of the incoming particles taken as Gaussian, are expanded in the basis of the stationary eigenstates of the ponderomotive potential, to obtain the subsequent time evolution of the wave function of the particle during the interaction with the optical crystal. From the results of the time evolution of the probability density, it is observed that the particles get localized at equidistant positions in the transverse direction, which results in the diffraction pattern. The temporal evolution of the diffraction pattern is analyzed. As an application, the diffraction of proton beams is studied, where the experimental parameters are optimized to observe the diffraction pattern for a microwave plasma-based proton beam system. The observations are important for design of proton based matter-wave interferometers.


title: An Energy-Efficient Accelerator Architecture with Serial Accumulation Dataflow for Deep CNNs

abstract: Convolutional Neural Networks (CNNs) have shown outstanding accuracy for many vision tasks during recent years. When deploying CNNs on portable devices and embedded systems, however, the large number of parameters and computations result in long processing time and low battery life. An important factor in designing CNN hardware accelerators is to efficiently map the convolution computation onto hardware resources. In addition, to save battery life and reduce energy consumption, it is essential to reduce the number of DRAM accesses since DRAM consumes orders of magnitude more energy compared to other operations in hardware. In this paper, we propose an energy-efficient architecture which maximally utilizes its computational units for convolution operations while requiring a low number of DRAM accesses. The implementation results show that the proposed architecture performs one image recognition task using the VGGNet model with a latency of 393 ms and only 251.5 MB of DRAM accesses.


title: In-materio neuromimetic devices: Dynamics, information processing and pattern recognition

abstract: The story of information processing is a story of great success. Todays' microprocessors are devices of unprecedented complexity and MOSFET transistors are considered as the most widely produced artifact in the history of mankind. The current miniaturization of electronic circuits is pushed almost to the physical limit and begins to suffer from various parasitic effects. These facts stimulate intense research on neuromimetic devices. This feature article is devoted to various in materio implementation of neuromimetic processes, including neuronal dynamics, synaptic plasticity, and higher-level signal and information processing, along with more sophisticated implementations, including signal processing, speech recognition and data security. Due to vast number of papers in the field, only a subjective selection of topics is presented in this review.


title: Intelligent and Reconfigurable Architecture for KL Divergence Based Online Machine Learning Algorithm

abstract: Online machine learning (OML) algorithms do not need any training phase and can be deployed directly in an unknown environment. OML includes multi-armed bandit (MAB) algorithms that can identify the best arm among several arms by achieving a balance between exploration of all arms and exploitation of optimal arm. The Kullback-Leibler divergence based upper confidence bound (KLUCB) is the state-of-the-art MAB algorithm that optimizes exploration-exploitation trade-off but it is complex due to underlining optimization routine. This limits its usefulness for robotics and radio applications which demand integration of KLUCB with the PHY on the system on chip (SoC). In this paper, we efficiently map the KLUCB algorithm on SoC by realizing optimization routine via alternative synthesizable computation without compromising on the performance. The proposed architecture is dynamically reconfigurable such that the number of arms, as well as type of algorithm, can be changed on-the-fly. Specifically, after initial learning, on-the-fly switch to light-weight UCB offers around 10-factor improvement in latency and throughput. Since learning duration depends on the unknown arm statistics, we offer intelligence embedded in architecture to decide the switching instant. We validate the functional correctness and usefulness of the proposed architecture via a realistic wireless application and detailed complexity analysis demonstrates its feasibility in realizing intelligent radios.


title: Mirror anomaly in fermionic topological orders

abstract: We study general 2D fermionic topological orders enriched by the mirror symmetry with $\mathcal{M}^2=1$. It is known that certain mirror symmetry enriched fermionic topological orders (mirror SETs) are anomalous, in the sense that they cannot be realized in strict two dimensions but have to live on the surface of 3D topological crystalline superconductors. Mirror anomaly, or equivalently 3D topological crystalline superconductor, has a $\mathbb{Z}_{16}$ classification. In this work, we derive an explicit expression, namely an \emph{anomaly indicator}, for the $\mathbb{Z}_{16}$ mirror anomaly for general fermionic mirror SETs. This derivation is based on the recently developed folding approach, originally proposed for bosonic topological orders. We generalize it to fermion systems. Through this approach, we establish a direct bulk-boundary correspondence between surface fermionic topological orders and 3D bulk topological crystalline superconductors. In addition, during the derivation, we obtain some general properties of fermionic topological orders as well as a few constraints on properties of fermionic mirror SETs.


title: Neural Relation Prediction for Simple Question Answering over Knowledge Graph

abstract: Knowledge graphs are widely used as a typical resource to provide answers to factoid questions. In simple question answering over knowledge graphs, relation extraction aims to predict the relation of a factoid question from a set of predefined relation types. Most recent methods take advantage of neural networks to match a question with all predefined relations. In this paper, we propose an instance-based method to capture the underlying relation of question and to this aim, we detect matching paraphrases of a new question which share the same relation, and their corresponding relation is selected as our prediction. The idea of our model roots in the fact that a relation can be expressed with various forms of questions while these forms share lexically or semantically similar terms and concepts. Our experiments on the SimpleQuestions dataset show that the proposed model achieves better accuracy compared to the state-of-the-art relation extraction models.


title: Synaptic clock as a neural substrate of consciousness

abstract: In this theoretical work the temporal aspect of consciousness is analyzed. We start from the notion that while conscious experience seems to change constantly, yet for any of its contents to be consciously perceived they must last for some non-zero duration of time, which appears to constitute certain conflict. We posit that, in terms of phenomenological analysis of consciousness, the temporal aspect, and this apparent conflict in particular, might be the most basic property, likely inherent to any conceivable form of consciousness. It is then outlined how taking this perspective offers a concrete way of relating the properties of consciousness directly to the neural plasticity mechanisms of learning and memory, and specifying how exactly subjective experience might be related to processes of information integration. In particular, we propose synaptic clock to constitute a content-specific neural substrate of consciousness, explaining how it would correspond to this temporal aspect. Then, we propose a viewpoint, in which moments of subjective time have different durations, depending on the type of information processed, proportional to the time units of corresponding synaptic clocks, and being in principle different for different brain regions and nervous systems in different animal species. Relation and possible contributions of this viewpoint to the extensional model of time consciousness are discussed. Finally, we consider the two alternative views on the structure of consciousness, namely a static and a dynamic one, and argue in favor of the latter, proposing that consciousness can be best understood if change is considered its only dimension.


title: Reinforcement Learning for Molecular Design Guided by Quantum Mechanics

abstract: Automating molecular design using deep reinforcement learning (RL) holds the promise of accelerating the discovery of new chemical compounds. Existing approaches work with molecular graphs and thus ignore the location of atoms in space, which restricts them to 1) generating single organic molecules and 2) heuristic reward functions. To address this, we present a novel RL formulation for molecular design in Cartesian coordinates, thereby extending the class of molecules that can be built. Our reward function is directly based on fundamental physical properties such as the energy, which we approximate via fast quantum-chemical methods. To enable progress towards de-novo molecular design, we introduce MolGym, an RL environment comprising several challenging molecular design tasks along with baselines. In our experiments, we show that our agent can efficiently learn to solve these tasks from scratch by working in a translation and rotation invariant state-action space.


title: Hardware-Encoding Grid States in a Non-Reciprocal Superconducting Circuit

abstract: We present a circuit design composed of a non-reciprocal device and Josephson junctions whose ground space is doubly degenerate and the ground states are approximate codewords of the Gottesman-Kitaev-Preskill (GKP) code. We determine the low-energy dynamics of the circuit by working out the equivalence of this system to the problem of a single electron confined in a two-dimensional plane and under the effect of strong magnetic field and of a periodic potential. We find that the circuit is naturally protected against the common noise channels in superconducting circuits, such as charge and flux noise, implying that it can be used for passive quantum error correction. We also propose realistic design parameters for an experimental realization and we describe possible protocols to perform logical one- and two-qubit gates, state preparation and readout.


title: A fractional Hadamard formula and applications

abstract: We consider the domain dependence of the best constant in the subcritical fractional Sobolev constant, $$ \lambda_{s,p}(\Omega):=\inf \left\{ [u]_{H^s(\mathbb{R}^N)}^2,\,\, u\in C^\infty_c(\Omega),\,\, \|u\|_{L^p(\Omega)}=1 \right\}, $$ where $s\in (0,1)$, $\Omega$ is bounded of class $C^{1,1}$ and $p\in [1, \frac{2N}{N-2s})$ if $2s<N$, $p\in [1, \infty)$ if $2s\geq N=1$. Explicitly, we derive formula for the one-sided shape derivative of the mapping $\Omega\mapsto \lambda_{s,p}(\Omega)$ under domain perturbations. In the case where $ \lambda_{s,p}(\Omega)$ admits a unique positive minimizer (e.g. $p=1$ or $p=2$), our result implies a nonlocal version of the classical variational Hadamard formula for the first eigenvalue of the Dirichlet Laplacian on $\Omega$. Thanks to the formula for our one-sided shape derivative, we characterize smooth local minimizers of $\lambda_{s,p}(\Omega)$ under volume-preserving deformations, and we find that they are balls if $p\in \{1\}\cup [2,\infty)$. Finally, we consider the maximization problem for $\lambda_{s,p}(\Omega)$ among annular-shaped domains of fixed volume of the type $B\setminus \overline B'$, where $B$ is a fixed ball and $B'$ is ball whose position is varied within $B$. We prove that, for $p\in \{1,2\}$, the value $\lambda_{s,p}(B\setminus \overline B')$ is maximal when the two balls are concentric.


title: Local Propagation in Constraint-based Neural Network

abstract: In this paper we study a constraint-based representation of neural network architectures. We cast the learning problem in the Lagrangian framework and we investigate a simple optimization procedure that is well suited to fulfil the so-called architectural constraints, learning from the available supervisions. The computational structure of the proposed Local Propagation (LP) algorithm is based on the search for saddle points in the adjoint space composed of weights, neural outputs, and Lagrange multipliers. All the updates of the model variables are locally performed, so that LP is fully parallelizable over the neural units, circumventing the classic problem of gradient vanishing in deep networks. The implementation of popular neural models is described in the context of LP, together with those conditions that trace a natural connection with Backpropagation. We also investigate the setting in which we tolerate bounded violations of the architectural constraints, and we provide experimental evidence that LP is a feasible approach to train shallow and deep networks, opening the road to further investigations on more complex architectures, easily describable by constraints.


title: Probing local moments in nanographenes with electron tunneling spectroscopy

abstract: The emergence of local moments in graphene zigzag edges, grain boundaries, vacancies and sp3 defects has been widely studied theoretically. However, conclusive experimental evidence is scarce. Recent progress in on-surface synthesis has made it possible to create nanographenes, such as triangulenes, with local moments in their ground states, and to probe them using scanning tunnelling microscope (STM) spectroscopy. Here we review the application of the theory of sequential and cotunneling transport to relate the dI/dV spectra with the spin properties of nanographenes probed by STM. This approach permits us to connect the dI/dV with the many-body energies and wavefunctions of the graphene nanostructures. We apply this method describing the electronic states of the nanographenes by means of exact diagonalization of the Hubbard model within a restricted Active Space. This permits us to provide a proper quantum description of the emergence of local moments in graphene and its interplay with transport. We discuss the results of this theory in the case of diradical nanographenes, such as triangulene, rectangular ribbons and the Clar goblet, that have been recently studied experimentally by means of STM spectroscopy. This approach permits us to calculate both the dI/dV spectra, that yields excitation energies, as well as the atomically resolved conductivity maps, that provide information on the wavefunctions of the collective spin modes.


title: Image encryption based on flexible computing of chaotic systems

abstract: The increase in data traffic on the internet has significantly increased the relevance of data and image encryption. Among the techniques most used in cryptography, chaotic systems have received great attention due to their easy implementation. However, it has recently been observed that these systems can lose their chaotic properties due to the finite precision of computers. In this work, we intend to investigate flexible computing tools, particularly interval analysis, to reduce this problem. We opted for the Lorenz System, as it is one of the few systems whose chaoticity is proven analytically. The results of this study, based on the correlation and entropy indexes, were superior to other studies published in the recent literature.


title: Discrete Line Fields on Surfaces

abstract: Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field plays a fundamental role, relating the geometric structure of phase space to a combinatorial object consisting of critical points and separatrices. Such concepts led Forman to a satisfactory theory of discrete vector fields, in close analogy to the continuous case. In this paper, we introduce discrete line fields. Again, our definition is rich enough to provide the counterparts of the basic results in the theory of continuous line fields: a Euler-Poincar\'e formula, a Morse--Smale decomposition and a topologically consistent cancellation of critical elements, which allows for topological simplification of the original discrete line field.


title: A new transportation distance with bulk/interface interactions and flux penalization

abstract: We introduce and study a new optimal transport problem on a bounded domain $\bar\Omega \subset \mathbb R^d$, defined via a dynamical Benamou-Brenier formulation. The model handles differently the motion in the interior and on the boundary, and penalizes the transfer of mass between the two. The resulting distance interpolates between classical optimal transport on $\bar\Omega$ on the one hand, and on the other hand between two independent optimal transport problems set on $\Omega$ and $\partial \Omega$.


title: Gradient-Based Adversarial Training on Transformer Networks for Detecting Check-Worthy Factual Claims

abstract: We present a study on the efficacy of adversarial training on transformer neural network models, with respect to the task of detecting check-worthy claims. In this work, we introduce the first adversarially-regularized, transformer-based claim spotter model that achieves state-of-the-art results on multiple challenging benchmarks. We obtain a 4.70 point F1-score improvement over current state-of-the-art models on the ClaimBuster Dataset and CLEF2019 Dataset, respectively. In the process, we propose a method to apply adversarial training to transformer models, which has the potential to be generalized to many similar text classification tasks. Along with our results, we are releasing our codebase and manually labeled datasets. We also showcase our models' real world usage via a live public API.


title: Manifestation of kaonium in the $e^+e^- \to K^+K^-$ process

abstract: We analyze the precise data obtained by the CMD-3 experiment on the $e^+e^-$ annihilation into two charged kaons in the vicinity of the $\phi$ peak. A perfect fit is obtained only if a pole on the real axis below the reaction threshold is assumed. This can be interpreted as proof of the existence of the 2p state of kaonium, a compound of $K^+$ and $K^-$. The BaBar Collaboration data on the same process supports this conclusion and, in addition, points to the strong interaction as a dominant source of the binding energy. The possibility of discovering 2p kaonium in the $e^+e^-\rightarrow \pi^+\pi^-$ process is discussed. The 2p state of $K^0$-onium is indicated on the basis of the CMD-3 $e^+e^-\rightarrow K^0_SK^0_L$ data.


title: Faster Algorithms for Orienteering and $k$-TSP

abstract: We consider the rooted orienteering problem in Euclidean space: Given $n$ points $P$ in $\mathbb R^d$, a root point $s\in P$ and a budget $\mathcal B>0$, find a path that starts from $s$, has total length at most $\mathcal B$, and visits as many points of $P$ as possible. This problem is known to be NP-hard, hence we study $(1-\delta)$-approximation algorithms. The previous Polynomial-Time Approximation Scheme (PTAS) for this problem, due to Chen and Har-Peled (2008), runs in time $n^{O(d\sqrt{d}/\delta)}(\log n)^{(d/\delta)^{O(d)}}$, and improving on this time bound was left as an open problem. Our main contribution is a PTAS with a significantly improved time complexity of $n^{O(1/\delta)}(\log n)^{(d/\delta)^{O(d)}}$. A known technique for approximating the orienteering problem is to reduce it to solving $1/\delta$ correlated instances of rooted $k$-TSP (a $k$-TSP tour is one that visits at least $k$ points). However, the $k$-TSP tours in this reduction must achieve a certain excess guarantee (namely, their length can surpass the optimum length only in proportion to a parameter of the optimum called excess) that is stronger than the usual $(1+\delta)$-approximation. Our main technical contribution is to improve the running time of these $k$-TSP variants, particularly in its dependence on the dimension $d$. Indeed, our running time is polynomial even for a moderately large dimension, roughly up to $d=O(\log\log n)$ instead of $d=O(1)$.


title: Estimates for Disk and Ejecta Masses Produced in Compact Binary Mergers

abstract: There is irresistible observational evidence that binary systems of compact objects with at least one neutron star are progenitors of short gamma-ray bursts, as well as a production site for r-process elements, at least when some matter is ejected by the merger and an accretion disk is formed. The recent observations of gravitational waves in conjunction with electromagnetic counterparts fuel the need for models predicting the outcome of a given merger and the properties of the associated matter outflows as a function of the initial parameters of the binary. In this manuscript, we provide updated fitting formulae that estimate the disk mass for double neutron star binaries and ejecta masses for black hole-neutron star and double neutron star binaries, fitted to the results of numerical simulations. Our proposed fitting formulae improve on existing models by aiming for analytical simplicity, by covering a larger region of parameter space, and by accounting for regions of parameter space not covered by numerical simulations but with physically manifest merger outcomes.


title: Adaptive Estimator Selection for Off-Policy Evaluation

abstract: We develop a generic data-driven method for estimator selection in off-policy policy evaluation settings. We establish a strong performance guarantee for the method, showing that it is competitive with the oracle estimator, up to a constant factor. Via in-depth case studies in contextual bandits and reinforcement learning, we demonstrate the generality and applicability of the method. We also perform comprehensive experiments, demonstrating the empirical efficacy of our approach and comparing with related approaches. In both case studies, our method compares favorably with existing methods.


title: What limits the simulation of quantum computers?

abstract: It is imperative that useful quantum computers be very difficult to simulate classically; otherwise classical computers could be used for the applications envisioned for the quantum ones. Perfect quantum computers are unarguably exponentially difficult to simulate: the classical resources required grow exponentially with the number of qubits $N$ or the depth $D$ of the circuit. Real quantum computing devices, however, are characterized by an exponentially decaying fidelity $\mathcal{F} \sim (1-\epsilon)^{ND}$ with an error rate $\epsilon$ per operation as small as $\approx 1\%$ for current devices. In this work, we demonstrate that real quantum computers can be simulated at a tiny fraction of the cost that would be needed for a perfect quantum computer. Our algorithms compress the representations of quantum wavefunctions using matrix product states (MPS), which capture states with low to moderate entanglement very accurately. This compression introduces a finite error rate $\epsilon$ so that the algorithms closely mimic the behavior of real quantum computing devices. The computing time of our algorithm increases only linearly with $N$ and $D$. We illustrate our algorithms with simulations of random circuits for qubits connected in both one and two dimensional lattices. We find that $\epsilon$ can be decreased at a polynomial cost in computing power down to a minimum error $\epsilon_\infty$. Getting below $\epsilon_\infty$ requires computing resources that increase exponentially with $\epsilon_\infty/\epsilon$. For a two dimensional array of $N=54$ qubits and a circuit with Control-Z gates, error rates better than state-of-the-art devices can be obtained on a laptop in a few hours. For more complex gates such as a swap gate followed by a controlled rotation, the error rate increases by a factor three for similar computing time.


title: Self-Stabilization Mechanism in Ultra-Stable Fourier Domain Mode-Locked (FDML) Lasers

abstract: Understanding the dynamics of Fourier domain mode-locked (FDML) lasers is crucial for determining physical coherence limits, and for finding new superior methods for experimental realization. In addition, the rich interplay of linear and nonlinear effects in a laser ring system is of great theoretical interest. Here we investigate the dynamics of a highly dispersion-compensated setup, where over a bandwidth of more than 100 nm, a highly coherent output with nearly shot-noise-limited intensity fluctuations was experimentally demonstrated. This output is called the sweet-spot. We show by numerical simulation that a finite amount of residual dispersion in the fiber delay cavity of FDML lasers can be compensated by the group delay dispersion in the swept bandpass filter, such that the intensity trace exhibits no dips or high-frequency distortions, which are the main source of noise in the laser. In the same way, a small detuning from the ideal sweep filter frequency can be tolerated. Furthermore, we find that the filter's group delay dispersion improves the coherence properties of the laser, and acts as a self-stabilizing element in the cavity. Our theoretical model is validated against experimental data, showing that all relevant physical effects for the sweet-spot operating regime are included.


title: Model for clustering of living species

abstract: Clusters appear in nature in a diversity of contexts, involving distances as long as the cosmological ones, and down to atoms and molecules and the very small nuclear size. They also appear in several other scenarios, in particular in biological systems as in ants, bees, birds, fishes, gnus and rats, for instance. Here we describe a model composed of a set of female and male individuals that obeys simple rules that rapidly transform an uniform initial state into a single cluster that evolves in time as a stable dynamical structure. We show that the center of mass of the structure moves as a random walk, and that the size of the cluster engenders a power law behavior in terms of the number of individuals in the system. Moreover, we also examine other possibilities, in particular the case of two distinct species that can evolve to form one or two distinct clusters.


title: The construction problem for Hodge numbers modulo an integer in positive characteristic

abstract: Let $k$ be an algebraically closed field of positive characteristic. For any integer $m \geq 2$, we show that the Hodge numbers of a smooth projective $k$-variety can take on any combination of values modulo $m$, subject only to Serre duality. In particular, there are no non-trivial polynomial relations between the Hodge numbers.


title: Artificial Intelligent Ethics in the Digital Era: an Engineering Ethical Framework Proposal

abstract: Nowadays technology is being adopted on every aspect of our lives and it is one of most important transformation driver in industry. Moreover, many of the systems and digital services that we use daily rely on artificial intelligent technology capable of modeling social or individual behaviors that in turns also modify personal decisions and actions. In this paper, we briefly discuss, from a technological perspective, a number of critical issues including the purpose of promoting trust and ensure social benefit by the proper use of Artificial Intelligent Systems. To achieve this goal we propose a generic ethical technological framework as a first attempt to define a common context towards developing real engineering ethical by design. We hope that this initial proposal to be useful for early adopters and especially for standardization teams.


title: Equality of critical parameters for percolation of Gaussian free field level-sets

abstract: We consider upper level-sets of the Gaussian free field on $\mathbb Z^d$, for $d\geq 3$, above a given real-valued height parameter $h$. As $h$ varies, this defines a canonical percolation model with strong, algebraically decaying correlations. We prove that three natural critical parameters associated to this model, respectively describing a well-ordered subcritical phase, the emergence of an infinite cluster, and the onset of a local uniqueness regime in the supercritical phase, actually coincide. At the core of our proof lies a new interpolation scheme aimed at integrating out the long-range dependence of the Gaussian free field. Due to the strength of correlations, its successful implementation requires that we work in an effectively critical regime. Our analysis relies extensively on certain novel renormalization techniques that bring into play all relevant scales simultaneously. The approach in this article paves the way to a complete understanding of the off-critical phases for strongly correlated disordered systems.


title: Anisotropic RKKY interactions mediated by $j=3/2$ quasiparticles in half-Heusler topological semimetal

abstract: We theoretically explore the RKKY interaction mediated by spin-3/2 quasiparticles in half-Heusler topological semimetals in quasi-two-dimensional geometries. We find that while the Kohn-Luttinger terms gives rise to generalized Heisenberg coupling of the form ${\cal H}_{\rm RKKY} \propto {\sigma}_{1,i} {\cal I}_{ij} {\sigma}_{2,j}$ with a symmetric matrix ${\cal I}_{ij}$, addition of small antisymmetric linear spin-orbit coupling term leads to Dzyaloshinskii-Moriya (DM) coupling with an antisymmetric matrix ${\cal I}'_{ij}$. We demonstrate that besides the oscillatory dependence on the distance, all coupling strengths strongly depend on the relative orientation of the two impurities with respect to the lattice. This yields a strongly anisotropic behavior for ${\cal I}_{ij}$ such that by only rotating one impurity around another at a constant distance, we can see further oscillations of the RKKY couplings. This unprecedented effect is unique to our system which combines spin-orbit coupling with strongly anisotropic Fermi surfaces. We further find that all of the RKKY terms have two common features: a tetragonal warping in their map of spatial variations, and a complex beating pattern. Intriguingly, all these features survive in all dopings and we see them in both electron- and hole-doped cases. In addition, due to the lower dimensionality combined with the effects of different spin-orbit couplings, we see that only one symmetric off-diagonal term, ${\cal I}_{xy}$ and two DM components ${\cal I}'_{xz}$ and ${\cal I}'_{yz}$ are nonvanishing, while the remaining three off-diagonal components are identically zero. This manifests another drastic difference of RKKY interaction in half-Heusler topological semimetals compared to the electronic systems with spin-1/2 effective description.


title: Twisted Cohomotopy implies M5-brane anomaly cancellation

abstract: We highlight what seems to be a remaining subtlety in the argument for the cancellation of the total anomaly associated with the M5-brane in M-theory. Then we prove that this subtlety is resolved under the hypothesis that the C-field flux is charge-quantized in the generalized cohomology theory called J-twisted Cohomotopy.


title: Individual Fairness Revisited: Transferring Techniques from Adversarial Robustness

abstract: We turn the definition of individual fairness on its head---rather than ascertaining the fairness of a model given a predetermined metric, we find a metric for a given model that satisfies individual fairness. This can facilitate the discussion on the fairness of a model, addressing the issue that it may be difficult to specify a priori a suitable metric. Our contributions are twofold: First, we introduce the definition of a minimal metric and characterize the behavior of models in terms of minimal metrics. Second, for more complicated models, we apply the mechanism of randomized smoothing from adversarial robustness to make them individually fair under a given weighted $L^p$ metric. Our experiments show that adapting the minimal metrics of linear models to more complicated neural networks can lead to meaningful and interpretable fairness guarantees at little cost to utility.


title: Surreal ordered exponential fields

abstract: In [26], the algebraico-tree-theoretic simplicity hierarchical structure of J. H. Conway's ordered field $\mathbf{No}$ of surreal numbers was brought to the fore and employed to provide necessary and sufficient conditions for an ordered field (ordered $K$-vector space) to be isomorphic to an initial subfield ($K$-subspace) of $\mathbf{No}$, i.e. a subfield ($K$-subspace) of $\mathbf{No}$ that is an initial subtree of $\mathbf{No}$. In this sequel to [15], piggybacking on the just-said results, analogous results are established for ordered exponential fields, making use of a slight generalization of Schmeling's conception of a transseries field. It is further shown that a wide range of ordered exponential fields are isomorphic to initial exponential subfields of $(\mathbf{No}, \exp)$. These include all models of $T(\mathbb{R}_W, e^x)$, where $\mathbb{R}_W$ is the reals expanded by a convergent Weierstrass system $W$. Of these, those we call trigonometric-exponential fields are given particular attention. It is shown that the exponential functions on the initial trigonometric-exponential subfields of $\mathbf{No}$, which includes $\mathbf{No}$ itself, extend to canonical exponential functions on their surcomplex counterparts. The image of the canonical map of the ordered exponential field $\mathbb{T}^{LE}$ of logarithmic-exponential transseries into $\mathbf{No}$ is shown to be initial, as are the ordered exponential fields $\mathbb{R}((\omega))^{EL}$ and $\mathbb{R}\langle\langle\omega\rangle \rangle$.


title: Hunting distant BL Lacs with the photometric technique using Swift and SARA

abstract: BL Lacertae objects (BL Lacs) represent a large fraction (22\%) of gamma-ray sources in the Third Fermi Large Area Telescope catalog (3FGL). Nearly half of the BL Lac population remains without a redshift because of their featureless optical spectra. We aim to increase the number of BL Lacs with a redshift measurement by using the photometric technique. For this work, we have used 6 Swift-UVOT filters and SDSS g,r,i,z optical filters mounted on the 0.65 m SARA-CTIO located in Chile and the 1.0 m SARA-ORM in Canary Islands. A sample of 45 sources was selected from the 3FGL catalog for which photometry was performed in 10 optical and UV filters to obtain redshift measurements. We found 3 sources with z>1.3 while reliable upper limits have been derived for 17 sources. The results presented here bring the total number of high-z (z>1.3) BL Lacs to 29.


title: Default Ambiguity: Finding the Best Solution to the Clearing Problem

abstract: We study financial networks with debt contracts and credit default swaps between specific pairs of banks. Given such a financial system, we want to decide which of the banks are in default, and how much of their liabilities can these defaulting banks pay. There can easily be multiple different solutions to this problem, leading to a situation of default ambiguity, and a range of possible solutions to implement for a financial authority. In this paper, we study the properties of the solution space of such financial systems, and analyze a wide range of reasonable objective functions for selecting from the set of solutions. Examples of such objective functions include minimizing the number of defaulting banks, minimizing the amount of unpaid debt, maximizing the number of satisfied banks, and many others. We show that for all of these objectives, it is NP-hard to approximate the optimal solution to an $n^{1-\epsilon}$ factor for any $\epsilon>0$, with $n$ denoting the number of banks. Furthermore, we show that this situation is rather difficult to avoid from a financial regulator's perspective: the same hardness results also hold if we apply strong restrictions on the weights of the debts, the structure of the network, or the amount of funds that banks must possess. However, if we restrict both the network structure and the amount of funds simultaneously, then the solution becomes unique, and it can be found efficiently.


title: Underlying magnetization responses of magnetic nanoparticles in assemblies

abstract: Magnetic nanoparticles (MNPs) have been proposed as an ultimate solution for diverse applications including nanomedicine and logic devices over decades. However, none has emerged revolutionary because realizing their magnetization response in an assembly is, surprisingly, still elusive. We employ our fast and universal magnetic characterization method, called the projection method, to underlie the reversible (irreversible) magnetization response of several assemblies. We then illustrate how the reversible (irreversible) magnetization response is correlated to the intrinsic properties (the coercivity and interaction fields) of the MNPs in an assembly. Our experimental observations indicate that the reversible magnetization does not solely depend on the interaction field, but it is indeed a function of the interaction field to coercivity ratio. Furthermore, for large porosities, the interaction field linearly changes with the porosity highlighting the predominant effects of dipole-dipole interactions on the interaction fields. However, at low porosities, the interaction field shows a nonlinear relationship with the porosity indicating the dipole fluctuations effects dominantly determine the interaction fields.


title: Masked states of an atom coupled to a standing-wave cavity mode

abstract: The form of the eigenstates of an atom coupled to a cavity mode displaying a three dimensional periodic profile are obtained. It is shown that the quantized motion leads to degenerate states where the atomic degrees of freedom are masked, that is, upon detection of one component of this composite system the others remain in an entangled state. When the system is extended to include drive and dissipation it is found to undergo a dissipative quantum phase transition at a critical drive amplitude. Unlike other phase transitions reported in the literature, the degeneracy prepares the system in a superposition of incompatible states upon detection of the electromagnetic field. Probing the field hints at an order above the transition point that, due to state masking, allows for atomic coherence to survive at long times.


title: Symplectic level-rank duality via tensor categories

abstract: We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.