title: Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach

abstract: In real-time systems, priorities assigned to real-time tasks determine the order of task executions, by relying on an underlying task scheduling policy. Assigning optimal priority values to tasks is critical to allow the tasks to complete their executions while maximizing safety margins from their specified deadlines. This enables real-time systems to tolerate unexpected overheads in task executions and still meet their deadlines. In practice, priority assignments result from an interactive process between the development and testing teams. In this article, we propose an automated method that aims to identify the best possible priority assignments in real-time systems, accounting for multiple objectives regarding safety margins and engineering constraints. Our approach is based on a multi-objective, competitive coevolutionary algorithm mimicking the interactive priority assignment process between the development and testing teams. We evaluate our approach by applying it to six industrial systems from different domains and several synthetic systems. The results indicate that our approach significantly outperforms both our baselines, i.e., random search and sequential search, and solutions defined by practitioners.Our approach scales to complex industrial systems as an offline analysis method that attempts to find near-optimal solutions within acceptable time, i.e., less than 16 hours.


title: Scalable nonparametric Bayesian learning for heterogeneous and dynamic velocity fields

abstract: Analysis of heterogeneous patterns in complex spatio-temporal data finds usage across various domains in applied science and engineering, including training autonomous vehicles to navigate in complex traffic scenarios. Motivated by applications arising in the transportation domain, in this paper we develop a model for learning heterogeneous and dynamic patterns of velocity field data. We draw from basic nonparameric Bayesian modeling elements such as hierarchical Dirichlet process and infinite hidden Markov model, while the smoothness of each homogeneous velocity field element is captured with a Gaussian process prior. Of particular focus is a scalable approximate inference method for the proposed model; this is achieved by employing sequential MAP estimates from the infinite HMM model and an efficient sequential GP posterior computation technique, which is shown to work effectively on simulated data sets. Finally, we demonstrate the effectiveness of our techniques to the NGSIM dataset of complex multi-vehicle interactions.


title: $1/N$ expansion of circular Wilson loop in $\mathcal N=2$ superconformal $SU(N)\times SU(N)$ quiver

abstract: Localization approach to $\mathcal N=2$ superconformal $SU(N) \times SU(N)$ quiver theory leads to a non-Gaussian two-matrix model representation for the expectation value of BPS circular $SU(N)$ Wilson loop $\langle\mathcal W\rangle$. We study the subleading $1/N^2$ term in the large $N$ expansion of $\langle\mathcal W\rangle$ at weak and strong coupling. We concentrate on the case of the symmetric quiver with equal gauge couplings which is equivalent to the $\mathbb Z_{2}$ orbifold of the $SU(2N)$ $\mathcal N=4$ SYM theory. This orbifold gauge theory should be dual to type IIB superstring in ${\rm AdS}_5\times (S^{5}/\mathbb Z_{2})$. We present a string theory argument suggesting that the $1/N^2$ term in $\langle\mathcal W\rangle$ in the orbifold theory should have the same strong-coupling asymptotics $ \lambda^{3/2}$ as in the $\mathcal N=4$ SYM case. We support this prediction by a numerical study of the localization matrix model on the gauge theory side. We also find a relation between the $1/N^2$ term in the Wilson loop expectation value and the derivative of the free energy of the orbifold gauge theory on 4-sphere.


title: Vortex dynamics on a M\"obius strip

abstract: We consider the dynamics of a two-dimensional incompressible perfect fluid on a M\"obius strip embedded in $\mathbb{R}^3$. The vorticity-streamfunction formulation of the Euler equations is derived from an exterior-calculus form of the momentum equation. The non-orientability of the M\"obius strip and the distinction between forms and pseudo-forms this introduces lead to unusual properties: a boundary condition is provided by the conservation of circulation along the single boundary of the strip, and there is no integral conservation for the vorticity or for any odd function thereof. A finite-difference numerical implementation is used to illustrate the M\"obius-strip realisation of familiar phenomena: translation of vortices along boundaries, shear instability, and decaying turbulence.


title: How to Learn when Data Reacts to Your Model: Performative Gradient Descent

abstract: Performative distribution shift captures the setting where the choice of which ML model is deployed changes the data distribution. For example, a bank which uses the number of open credit lines to determine a customer's risk of default on a loan may induce customers to open more credit lines in order to improve their chances of being approved. Because of the interactions between the model and data distribution, finding the optimal model parameters is challenging. Works in this area have focused on finding stable points, which can be far from optimal. Here we introduce performative gradient descent (PerfGD), which is the first algorithm which provably converges to the performatively optimal point. PerfGD explicitly captures how changes in the model affects the data distribution and is simple to use. We support our findings with theory and experiments.


title: Anti-concentration of random variables from zero-free regions

abstract: This paper provides a connection between the concentration of a random variable and the distribution of the roots of its probability generating function. Let $X$ be a random variable taking values in $\{0,\ldots,n\}$ with $\mathbb{P}(X = 0)\mathbb{P}(X = n) > 0$ and with probability generating function $f_X$. We show that if all of the zeros $\zeta$ of $f_X$ satisfy $|\arg(\zeta)| \geq \delta$ and $R^{-1} \leq |\zeta| \leq R$ then \[ \operatorname{Var}(X) \geq c R^{-2\pi/\delta}n, \] where $c > 0$ is a absolute constant. We show that this result is sharp, up to the factor $2$ in the exponent of $R$. As a consequence, we are able to deduce a Littlewood--Offord type theorem for random variables that are not necessarily sums of i.i.d.\ random variables.


title: Surfaces with Prym-canonical hyperplane sections

abstract: We explicit some general properties regarding surfaces with Prym-canonical hyperplane sections and the geometric genus of their possible singularities. Moreover, we construct new examples of this type of surfaces.


title: Probing galaxy bias and intergalactic gas pressure with KiDS Galaxies-tSZ-CMB lensing cross-correlations

abstract: We constrain the redshift dependence of gas pressure bias $\left\langle b_{y} P_{\mathrm{e}}\right\rangle$ (bias-weighted average electron pressure), which characterises the thermodynamics of intergalactic gas, through a combination of cross-correlations between galaxy positions and the thermal Sunyaev-Zeldovich (tSZ) effect, as well as galaxy positions and the gravitational lensing of the cosmic microwave background (CMB). The galaxy sample is from the fourth data release of the Kilo-Degree Survey (KiDS). The tSZ $y$ map and the CMB lensing map are from the {\textit{Planck}} 2015 and 2018 data releases, respectively. The measurements are performed in five redshift bins with $z\lesssim1$. With these measurements, combining galaxy-tSZ and galaxy-CMB lensing cross-correlations allows us to break the degeneracy between galaxy bias and gas pressure bias, and hence constrain them simultaneously. In all redshift bins, the best-fit values of $\bpe$ are at a level of $\sim 0.3\, \mathrm{meV/cm^3}$ and increase slightly with redshift. The galaxy bias is consistent with unity in all the redshift bins. Our results are not sensitive to the non-linear details of the cross-correlation, which are smoothed out by the {\textit{Planck}} beam. Our measurements are in agreement with previous measurements as well as with theoretical predictions. We also show that our conclusions are not changed when CMB lensing is replaced by galaxy lensing, which shows the consistency of the two lensing signals despite their radically different redshift ranges. This study demonstrates the feasibility of using CMB lensing to calibrate the galaxy distribution such that the galaxy distribution can be used as a mass proxy without relying on the precise knowledge of the matter distribution.


title: Generalized Social Marginal Welfare Weights Imply Inconsistent Comparisons of Tax Policies

abstract: This paper concerns Saez and Stantcheva's (2016) generalized social marginal welfare weights, which aggregate losses and gains due to tax policies, while incorporating non-utilitarian ethical considerations. The approach evaluates local tax changes without a global social objective. I show that local tax policy comparisons implicitly entail global comparisons. Moreover, whenever welfare weights do not have a utilitarian structure, these implied global comparisons are inconsistent. I argue that broader ethical values cannot in general be represented simply by modifying the weights placed on benefits to different people, and a more thoroughgoing modification of the utilitarian approach is required.


title: Hints of Gravitational Ergodicity: Berry's Ensemble and the Universality of the Semi-Classical Page Curve

abstract: Recent developments on black holes have shown that a unitarity-compatible Page curve can be obtained from an ensemble-averaged semi-classical approximation. In this paper, we emphasize (1) that this peculiar manifestation of unitarity is not specific to black holes, and (2) that it can emerge from a single realization of an underlying unitary theory. To make things explicit, we consider a hard sphere gas leaking slowly from a small box into a bigger box. This is a quantum chaotic system in which we expect to see the Page curve in the full unitary description, while semi-classically, eigenstates are expected to behave as though they live in Berry's ensemble. We reproduce the unitarity-compatible Page curve of this system, semi-classically. The computation has structural parallels to replica wormholes, relies crucially on ensemble averaging at each epoch, and reveals the interplay between the multiple time-scales in the problem. Working with the ensemble averaged $state$ rather than the entanglement entropy, we can also engineer an information "paradox". Our system provides a concrete example in which the ensemble underlying the semi-classical Page curve is an ergodic proxy for a time average, and not an explicit average over many theories. The questions we address here are logically independent of the existence of horizons, so we expect that semi-classical gravity should also be viewed in a similar light.


title: Multi-Class Unsourced Random Access via Coded Demixing

abstract: Unsourced random access (URA) is a recently proposed communication paradigm attuned to machine-driven data transfers. In the original URA formulation, all the active devices share the same number of bits per packet. The scenario where several classes of devices transmit concurrently has so far received little attention. An initial solution to this problem takes the form of group successive interference cancellation, where codewords from a class of devices with more resources are recovered first, followed by the decoding of the remaining messages. This article introduces a joint iterative decoding approach rooted in approximate message passing. This framework has a concatenated coding structure borrowed from the single-class coded compressed sensing and admits a solution that offers performance improvement at little added computational complexity. Our findings point to new connections between multi-class URA and compressive demixing. The performance of the envisioned algorithm is validated through numerical simulations.


title: Colorings of oriented planar graphs avoiding a monochromatic subgraph

abstract: For a fixed simple digraph $F$ and a given simple digraph $D$, an $F$-free $k$-coloring of $D$ is a vertex-coloring in which no induced copy of $F$ in $D$ is monochromatic. We study the complexity of deciding for fixed $F$ and $k$ whether a given simple digraph admits an $F$-free $k$-coloring. Our main focus is on the restriction of the problem to planar input digraphs, where it is only interesting to study the cases $k \in \{2,3\}$. From known results it follows that for every fixed digraph $F$ whose underlying graph is not a forest, every planar digraph $D$ admits an $F$-free $2$-coloring, and that for every fixed digraph $F$ with $\Delta(F) \ge 3$, every oriented planar graph $D$ admits an $F$-free $3$-coloring. We show in contrast, that - if $F$ is an orientation of a path of length at least $2$, then it is NP-hard to decide whether an acyclic and planar input digraph $D$ admits an $F$-free $2$-coloring. - if $F$ is an orientation of a path of length at least $1$, then it is NP-hard to decide whether an acyclic and planar input digraph $D$ admits an $F$-free $3$-coloring.


title: A note on $Oct_{1}^{+}$-free graphs and $Oct_{2}^{+}$-free graphs

abstract: Let $Oct_{1}^{+}$ and $Oct_{2}^{+}$ be the planar and non-planar graphs that obtained from the Octahedron by 3-splitting a vertex respectively. For $Oct_{1}^{+}$, we prove that a 4-connected graph is $Oct_{1}^{+}$-free if and only if it is $C_{6}^{2}$, $C_{2k+1}^{2}$ $(k \geq 2)$ or it is obtained from $C_{5}^{2}$ by repeatedly 4-splitting vertices. We also show that a planar graph is $Oct_{1}^{+}$-free if and only if it is constructed by repeatedly taking 0-, 1-, 2-sums starting from $\{K_{1}, K_{2} ,K_{3}\} \cup \mathscr{K} \cup \{Oct,L_{5} \}$, where $\mathscr{K}$ is the set of graphs obtained by repeatedly taking the special 3-sums of $K_{4}$. For $Oct_{2}^{+}$, we prove that a 4-connected graph is $Oct_{2}^{+}$-free if and only if it is planar, $C_{2k+1}^{2}$ $(k \geq 2)$, $L(K_{3,3})$ or it is obtained from $C_{5}^{2}$ by repeatedly 4-splitting vertices.


title: The split and approximate split property in 2D systems: stability and absence of superselection sectors

abstract: The split property of a pure state for a certain cut of a quantum spin system can be understood as the entanglement between the two subsystems being weak. From this point of view, we may say that if it is not possible to transform a state $\omega$ via sufficiently local automorphisms (in a sense that we will make precise) into a state satisfying the split property, then the state $\omega$ has a long-range entanglement. It is well known that in 1D, gapped ground states have the split property with respect to cutting the system into left and right half-chains. In 2D, however, the split property fails to hold for interesting models such as Kitaev's toric code. In fact, we will show that this failure is the reason that anyons can exist in that model. There is a folklore saying that the existence of anyons, like in the toric code model, implies long-range entanglement of the state. In this paper, we prove this folklore in an infinite dimensional setting. More precisely, we show that long-range entanglement, in a way that we will define precisely, is a necessary condition to have non-trivial superselection sectors. Anyons in particular give rise to such non-trivial sectors. States with the split property for cones, on the other hand, do not admit non-trivial sectors. A key technical ingredient of our proof is that under suitable assumptions on locality, the automorphisms generated by local interactions can be 'approximately factorized': they can be written as the tensor product of automorphisms localized in a cone and its complement respectively, followed by an automorphism acting near the 'boundary' of $\Lambda$, and conjugation with a unitary. This result may be of independent interest. This technique also allows us to prove that the approximate split property, a weaker version of the split property that is satisfied in e.g. the toric code, is stable under applying such automorphisms.


title: Generating 3D structures from a 2D slice with GAN-based dimensionality expansion

abstract: Generative adversarial networks (GANs) can be trained to generate 3D image data, which is useful for design optimisation. However, this conventionally requires 3D training data, which is challenging to obtain. 2D imaging techniques tend to be faster, higher resolution, better at phase identification and more widely available. Here, we introduce a generative adversarial network architecture, SliceGAN, which is able to synthesise high fidelity 3D datasets using a single representative 2D image. This is especially relevant for the task of material microstructure generation, as a cross-sectional micrograph can contain sufficient information to statistically reconstruct 3D samples. Our architecture implements the concept of uniform information density, which both ensures that generated volumes are equally high quality at all points in space, and that arbitrarily large volumes can be generated. SliceGAN has been successfully trained on a diverse set of materials, demonstrating the widespread applicability of this tool. The quality of generated micrographs is shown through a statistical comparison of synthetic and real datasets of a battery electrode in terms of key microstructural metrics. Finally, we find that the generation time for a $10^8$ voxel volume is on the order of a few seconds, yielding a path for future studies into high-throughput microstructural optimisation.


title: Hypocoercivity for kinetic linear equations in bounded domains with general Maxwell boundary condition

abstract: We establish the convergence to the equilibrium for various linear collisional kinetic equations (including linearized Boltzmann and Landau equations) with physical local conservation laws in bounded domains with general Maxwell boundary condition. Our proof consists in establishing an hypocoercivity result for the associated operator, in other words, we exhibit a convenient Hilbert norm for which the associated operator is coercive in the orthogonal of the global conservation laws. Our approach allows us to treat general domains with all type of boundary conditions in a unified framework. In particular, our result includes the case of vanishing accommodation coefficient and thus the specific case of the specular reflection boundary condition.


title: Point processes, cost, and the growth of rank in locally compact groups

abstract: Let $G$ be a locally compact, second countable, unimodular group that is nondiscrete and noncompact. We explore the theory of invariant point processes on $G$. We show that every free probability measure preserving (pmp) action of $G$ can be realized by an invariant point process. We analyze the cost of pmp actions of $G$ using this language. We show that among free pmp actions, the cost is maximal on the Poisson processes. This follows from showing that every free point process weakly factors onto any Poisson process and that the cost is monotone for weak factors, up to some restrictions. We apply this to show that $G\times \mathbb{Z}$ has fixed price $1$, solving a problem of Carderi. We also show that when $G$ is a semisimple real Lie group, the rank gradient of any Farber sequence of lattices in $G$ is dominated by the cost of the Poisson process of $G$. This, in particular, implies that if the cost of the Poisson process of $SL_{2}(\mathbb{C})$ vanishes, then the ratio of the Heegaard genus and the rank of a hyperbolic $3$-manifold tends to infinity over Farber chains.


title: Saving Stochastic Bandits from Poisoning Attacks via Limited Data Verification

abstract: We study bandit algorithms under data poisoning attacks in a bounded reward setting. We consider a strong attacker model in which the attacker can observe both the selected actions and their corresponding rewards and can contaminate the rewards with additive noise. We show that any bandit algorithm with regret $O(\log T)$ can be forced to suffer a regret $\Omega(T)$ with an expected amount of contamination $O(\log T)$. This amount of contamination is also necessary, as we prove that there exists an $O(\log T)$ regret bandit algorithm, specifically the classical UCB, that requires $\Omega(\log T)$ amount of contamination to suffer regret $\Omega(T)$. To combat such attacks, our second main contribution is to propose verification based mechanisms, which use limited verification to access a limited number of uncontaminated rewards. In particular, for the case of unlimited verifications, we show that with $O(\log T)$ expected number of verifications, a simple modified version of the ETC type bandit algorithm can restore the order optimal $O(\log T)$ regret irrespective of the amount of contamination used by the attacker. We also provide a UCB-like verification scheme, called Secure-UCB, that also enjoys full recovery from any attacks, also with $O(\log T)$ expected number of verifications. To derive a matching lower bound on the number of verifications, we prove that for any order-optimal bandit algorithm, this number of verifications $\Omega(\log T)$ is necessary to recover the order-optimal regret. On the other hand, when the number of verifications is bounded above by a budget $B$, we propose a novel algorithm, Secure-BARBAR, which provably achieves $O(\min\{C,T/\sqrt{B} \})$ regret with high probability against weak attackers where $C$ is the total amount of contamination by the attacker, which breaks the known $\Omega(C)$ lower bound of the non-verified setting if $C$ is large.


title: Magnetodynamic properties of dipole-coupled 1D magnonic crystals

abstract: Magnonic crystals are magnetic metamaterials, that provide a promising way to manipulate magnetodynamic properties by controlling the geometry of the patterned structures. Here, we study the magnetodynamic properties of 1D magnonic crystals consisting of parallel NiFe strips with different strip widths and separations. The strips couple via dipole-dipole interactions. As an alternative to experiments and/or micromagnetic simulations, we investigate the accuracy of a simple macrospin model. For the case of simple strips, a model with a single free parameter to account for an overestimation of the out-of-plane demagnetization of the magnonic lattice is described. By adjusting this parameter a good fit with experimental as well as micromagnetic results is obtained. Moreover, the Gilbert damping is found independent of the lattice constant however the inhomogeneous linewidth broadening found to increase with decreasing stripe separation.


title: Cancer Gene Profiling through Unsupervised Discovery

abstract: Precision medicine is a paradigm shift in healthcare relying heavily on genomics data. However, the complexity of biological interactions, the large number of genes as well as the lack of comparisons on the analysis of data, remain a tremendous bottleneck regarding clinical adoption. In this paper, we introduce a novel, automatic and unsupervised framework to discover low-dimensional gene biomarkers. Our method is based on the LP-Stability algorithm, a high dimensional center-based unsupervised clustering algorithm, that offers modularity as concerns metric functions and scalability, while being able to automatically determine the best number of clusters. Our evaluation includes both mathematical and biological criteria. The recovered signature is applied to a variety of biological tasks, including screening of biological pathways and functions, and characterization relevance on tumor types and subtypes. Quantitative comparisons among different distance metrics, commonly used clustering methods and a referential gene signature used in the literature, confirm state of the art performance of our approach. In particular, our signature, that is based on 27 genes, reports at least $30$ times better mathematical significance (average Dunn's Index) and 25% better biological significance (average Enrichment in Protein-Protein Interaction) than those produced by other referential clustering methods. Finally, our signature reports promising results on distinguishing immune inflammatory and immune desert tumors, while reporting a high balanced accuracy of 92% on tumor types classification and averaged balanced accuracy of 68% on tumor subtypes classification, which represents, respectively 7% and 9% higher performance compared to the referential signature.


title: Uniform lower bounds on the dimension of Bernoulli convolutions

abstract: In this note we present an algorithm to obtain a uniform lower bound on Hausdorff dimension of the stationary measure of an affine iterated function scheme with similarities, the best known example of which is Bernoulli convolution. The Bernoulli convolution measure $\mu_\lambda$ is the probability measure corresponding to the law of the random variable $\xi = \sum_{k=0}^\infty \xi_k\lambda^k$, where $\xi_k$ are i.i.d. random variables assuming values $-1$ and $1$ with equal probability and $\frac12 < \lambda < 1$. In particular, for Bernoulli convolutions we give a uniform lower bound $\dim_H(\mu_\lambda) \geq 0.96399$ for all $\frac12<\lambda<1$.


title: Regularity and symmetry results for nonlinear degenerate elliptic equations

abstract: In this paper we prove regularity results for a class of nonlinear degenerate elliptic equations of the form $\displaystyle -\operatorname{div}(A(|\nabla u|)\nabla u)+B\left( |\nabla u|\right) =f(u)$; in particular, we investigate the second order regularity of the solutions. As a consequence of these results, we obtain symmetry and monotonicity properties of positive solutions for this class of degenerate problems in convex symmetric domains via a suitable adaption of the celebrated moving plane method of Alexandrov-Serrin.


title: How RL Agents Behave When Their Actions Are Modified

abstract: Reinforcement learning in complex environments may require supervision to prevent the agent from attempting dangerous actions. As a result of supervisor intervention, the executed action may differ from the action specified by the policy. How does this affect learning? We present the Modified-Action Markov Decision Process, an extension of the MDP model that allows actions to differ from the policy. We analyze the asymptotic behaviours of common reinforcement learning algorithms in this setting and show that they adapt in different ways: some completely ignore modifications while others go to various lengths in trying to avoid action modifications that decrease reward. By choosing the right algorithm, developers can prevent their agents from learning to circumvent interruptions or constraints, and better control agent responses to other kinds of action modification, like self-damage.


title: The Yamabe flow on asymptotically flat manifolds

abstract: We study the Yamabe flow starting from an asymptotically flat manifold $(M^n,g_0)$. We show that the flow converges to an asymptotically flat, scalar flat metric in a weighted global sense if $Y(M,[g_0])>0$, and show that the flow does not converge otherwise. If the scalar curvature is nonnegative and integrable, then the ADM mass at time infinity drops by the limit of the total scalar curvature along the flow.


title: TI-Capsule: Capsule Network for Stock Exchange Prediction

abstract: Today, the use of social networking data has attracted a lot of academic and commercial attention in predicting the stock market. In most studies in this area, the sentiment analysis of the content of user posts on social networks is used to predict market fluctuations. Predicting stock marketing is challenging because of the variables involved. In the short run, the market behaves like a voting machine, but in the long run, it acts like a weighing machine. The purpose of this study is to predict EUR/USD stock behavior using Capsule Network on finance texts and Candlestick images. One of the most important features of Capsule Network is the maintenance of features in a vector, which also takes into account the space between features. The proposed model, TI-Capsule (Text and Image information based Capsule Neural Network), is trained with both the text and image information simultaneously. Extensive experiments carried on the collected dataset have demonstrated the effectiveness of TI-Capsule in solving the stock exchange prediction problem with 91% accuracy.


title: Toughening elastomers via microstructured thermoplastic fibers with sacrificial bonds and hidden lengths

abstract: Soft materials capable of large inelastic deformation play an essential role in high-performance nacre-inspired architectured materials with a combination of stiffness, strength and toughness. The rigid "building blocks" made from glass or ceramic in these architectured materials lack inelastic deformation capabilities and thus rely on the soft interface material that bonds together these building blocks to achieve large deformation and high toughness. Here, we demonstrate the concept of achieving large inelastic deformation and high energy dissipation in soft materials by embedding microstructured thermoplastic fibers with sacrificial bonds and hidden lengths in a widely used elastomer. The microstructured fibers are fabricated by harnessing the fluid-mechanical instability of a molten polycarbonate (PC) thread on a commercial 3D printer. Polydimethylsiloxane (PDMS) resin is infiltrated around the fibers, creating a soft composite after curing. The failure mechanism and damage tolerance of the composite are analyzed through fracture tests. The high energy dissipation is found to be related to the multiple fracture events of both the sacrificial bonds and elastomer matrix. Combining the microstructured fibers and straight fibers in the elastomer composite results in a ~ 17 times increase in stiffness and a ~ 7 times increase in total energy to failure compared to the neat elastomer. Our findings in applying the sacrificial bonds and hidden lengths toughening mechanism in soft materials at the microscopic scale will facilitate the development of novel bioinspired laminated composite materials with high mechanical performance.


title: Parallel Tempering on Optimized Paths

abstract: Parallel tempering (PT) is a class of Markov chain Monte Carlo algorithms that constructs a path of distributions annealing between a tractable reference and an intractable target, and then interchanges states along the path to improve mixing in the target. The performance of PT depends on how quickly a sample from the reference distribution makes its way to the target, which in turn depends on the particular path of annealing distributions. However, past work on PT has used only simple paths constructed from convex combinations of the reference and target log-densities. This paper begins by demonstrating that this path performs poorly in the setting where the reference and target are nearly mutually singular. To address this issue, we expand the framework of PT to general families of paths, formulate the choice of path as an optimization problem that admits tractable gradient estimates, and propose a flexible new family of spline interpolation paths for use in practice. Theoretical and empirical results both demonstrate that our proposed methodology breaks previously-established upper performance limits for traditional paths.


title: Fully general-relativistic simulations of isolated and binary strange quark stars

abstract: The hypothesis that strange quark matter is the true ground state of matter has been investigated for almost four decades, but only a few works have explored the dynamics of binary systems of quark stars. This is partly due to the numerical challenges that need to be faced when modelling the large discontinuities at the surface of these stars. We here present a novel technique in which the EOS of a quark star is suitably rescaled to produce a smooth change of the specific enthalpy across a very thin crust. The introduction of the crust has been carefully tested by considering the oscillation properties of isolated quark stars, showing that the response of the simulated quark stars matches accurately the perturbative predictions. Using this technique, we have carried out the first fully general-relativistic simulations of the merger of quark-star binaries finding several important differences between quark-star binaries and hadronic-star binaries with the same mass and comparable tidal deformability. In particular, we find that dynamical mass loss is significantly suppressed in quark-star binaries. In addition, quark-star binaries have merger and post-merger frequencies that obey the same quasi-universal relations derived from hadron stars if expressed in terms of the tidal deformability, but not when expressed in terms of the average stellar compactness. Hence, it may be difficult to distinguish the two classes of stars if no information on the stellar radius is available. Finally, differences are found in the distributions in velocity and entropy of the ejected matter, for which quark-stars have much smaller tails. Whether these differences in the ejected matter will leave an imprint in the electromagnetic counterpart and nucleosynthetic yields remains unclear, calling for the construction of an accurate model for the evaporation of the ejected quarks into nucleons.


title: Expansions in Cantor real bases

abstract: We introduce and study series expansions of real numbers with an arbitrary Cantor real base $\boldsymbol{\beta}=(\beta_n)_{n\in\mathbb{N}}$, which we call $\boldsymbol{\beta}$-representations. In doing so, we generalize both representations of real numbers in real bases and through Cantor series. We show fundamental properties of $\boldsymbol{\beta}$-representations, each of which extends existing results on representations in a real base. In particular, we prove a generalization of Parry's theorem characterizing sequences of nonnegative integers that are the greedy $\boldsymbol{\beta}$-representations of some real number in the interval $[0,1)$. We pay special attention to periodic Cantor real bases, which we call alternate bases. In this case, we show that the $\boldsymbol{\beta}$-shift is sofic if and only if all quasi-greedy $\boldsymbol{\beta}^{(i)}$-expansions of $1$ are ultimately periodic, where $\boldsymbol{\beta}^{(i)}$ is the $i$-th shift of the Cantor real base $\boldsymbol{\beta}$.


title: Approach to scaling in axion string networks

abstract: We study the approach to scaling in axion string networks in the radiation era, through measuring the root-mean-square velocity $v$ as well as the scaled mean string separation $x$. We find good evidence for a fixed point in the phase-space analysis in the variables $(x,v)$, providing a strong indication that standard scaling is taking place. We show that the approach to scaling can be well described by a two parameter velocity-one-scale (VOS) model, and show that the values of the parameters are insensitive to the initial state of the network. The string length has also been commonly expressed in terms of a dimensionless string length density $\zeta$, proportional to the number of Hubble lengths of string per Hubble volume. In simulations with initial conditions far from the fixed point $\zeta$ is still evolving after half a light-crossing time, which has been interpreted in the literature as a long-term logarithmic growth. We show that all our simulations, even those starting far from the fixed point, are accounted for by a VOS model with an asymptote of $\zeta_*=1.20\pm0.09$ (calculated from the string length in the cosmic rest frame) and $v_* = 0.609\pm 0.014$.


title: Locality and Centrality: The Variety ZG

abstract: We study the variety ZG of monoids where the elements that belong to a group are central, i.e., commute with all other elements. We show that ZG is local, that is, the semidirect product ZG * D of ZG by definite semigroups is equal to LZG, the variety of semigroups where all local monoids are in ZG. Our main result is thus: ZG * D = LZG. We prove this result using Straubing's delay theorem, by considering paths in the category of idempotents. In the process, we obtain the characterization ZG = MNil \vee Com, and also characterize the ZG languages, i.e., the languages whose syntactic monoid is in ZG: they are precisely the languages that are finite unions of disjoint shuffles of singleton languages and regular commutative languages.


title: Neural Network Compression for Noisy Storage Devices

abstract: Compression and efficient storage of neural network (NN) parameters is critical for applications that run on resource-constrained devices. Despite the significant progress in NN model compression, there has been considerably less investigation in the actual \textit{physical} storage of NN parameters. Conventionally, model compression and physical storage are decoupled, as digital storage media with error-correcting codes (ECCs) provide robust error-free storage. However, this decoupled approach is inefficient as it ignores the overparameterization present in most NNs and forces the memory device to allocate the same amount of resources to every bit of information regardless of its importance. In this work, we investigate analog memory devices as an alternative to digital media -- one that naturally provides a way to add more protection for significant bits unlike its counterpart, but is noisy and may compromise the stored model's performance if used naively. We develop a variety of robust coding strategies for NN weight storage on analog devices, and propose an approach to jointly optimize model compression and memory resource allocation. We then demonstrate the efficacy of our approach on models trained on MNIST, CIFAR-10 and ImageNet datasets for existing compression techniques. Compared to conventional error-free digital storage, our method reduces the memory footprint by up to one order of magnitude, without significantly compromising the stored model's accuracy.


title: Detection and severity classification of COVID-19 in CT images using deep learning

abstract: Since the breakout of coronavirus disease (COVID-19), the computer-aided diagnosis has become a necessity to prevent the spread of the virus. Detecting COVID-19 at an early stage is essential to reduce the mortality risk of the patients. In this study, a cascaded system is proposed to segment the lung, detect, localize, and quantify COVID-19 infections from computed tomography (CT) images Furthermore, the system classifies the severity of COVID-19 as mild, moderate, severe, or critical based on the percentage of infected lungs. An extensive set of experiments were performed using state-of-the-art deep Encoder-Decoder Convolutional Neural Networks (ED-CNNs), UNet, and Feature Pyramid Network (FPN), with different backbone (encoder) structures using the variants of DenseNet and ResNet. The conducted experiments showed the best performance for lung region segmentation with Dice Similarity Coefficient (DSC) of 97.19% and Intersection over Union (IoU) of 95.10% using U-Net model with the DenseNet 161 encoder. Furthermore, the proposed system achieved an elegant performance for COVID-19 infection segmentation with a DSC of 94.13% and IoU of 91.85% using the FPN model with the DenseNet201 encoder. The achieved performance is significantly superior to previous methods for COVID-19 lesion localization. Besides, the proposed system can reliably localize infection of various shapes and sizes, especially small infection regions, which are rarely considered in recent studies. Moreover, the proposed system achieved high COVID-19 detection performance with 99.64% sensitivity and 98.72% specificity. Finally, the system was able to discriminate between different severity levels of COVID-19 infection over a dataset of 1,110 subjects with sensitivity values of 98.3%, 71.2%, 77.8%, and 100% for mild, moderate, severe, and critical infections, respectively.


title: Polynomial time algorithms in invariant theory for torus actions

abstract: An action of a group on a vector space partitions the latter into a set of orbits. We consider three natural and useful algorithmic "isomorphism" or "classification" problems, namely, orbit equality, orbit closure intersection, and orbit closure containment. These capture and relate to a variety of problems within mathematics, physics and computer science, optimization and statistics. These orbit problems extend the more basic null cone problem, whose algorithmic complexity has seen significant progress in recent years. In this paper, we initiate a study of these problems by focusing on the actions of commutative groups (namely, tori). We explain how this setting is motivated from questions in algebraic complexity, and is still rich enough to capture interesting combinatorial algorithmic problems. While the structural theory of commutative actions is well understood, no general efficient algorithms were known for the aforementioned problems. Our main results are polynomial time algorithms for all three problems. We also show how to efficiently find separating invariants for orbits, and how to compute systems of generating rational invariants for these actions (in contrast, for polynomial invariants the latter is known to be hard). Our techniques are based on a combination of fundamental results in invariant theory, linear programming, and algorithmic lattice theory.


title: Dynamic Membership for Regular Languages

abstract: We study the dynamic membership problem for regular languages: fix a language L, read a word w, build in time O(|w|) a data structure indicating if w is in L, and maintain this structure efficiently under letter substitutions on w. We consider this problem on the unit cost RAM model with logarithmic word length, where the problem always has a solution in O(log |w| / log log |w|) per operation. We show that the problem is in O(log log |w|) for languages in an algebraically-defined, decidable class QSG, and that it is in O(1) for another such class QLZG. We show that languages not in QSG admit a reduction from the prefix problem for a cyclic group, so that they require {\Omega}(log |w| / log log |w|) operations in the worst case; and that QSG languages not in QLZG admit a reduction from the prefix problem for the multiplicative monoid U 1 = {0, 1}, which we conjecture cannot be maintained in O(1). This yields a conditional trichotomy. We also investigate intermediate cases between O(1) and O(log log |w|). Our results are shown via the dynamic word problem for monoids and semigroups, for which we also give a classification. We thus solve open problems of the paper of Skovbjerg Frandsen, Miltersen, and Skyum [30] on the dynamic word problem, and additionally cover regular languages.


title: Novel correlated ${{{D}^{0}}{\overline{{D}}{}^{0}}}$ systems for ${c/b}$ physics and tests of ${T/CPT}$

abstract: Decays of charmonia(-like) particles with definite $J^{PC}$ (e.g. ${{\chi_{c{\rm 1}}}(3872)}$) to a ${{D}^{0}}{\overline{{D}}{}^{0}}$ system and any combination of $C$-definite decay particles, are sources of quantum-correlated ${{D}^{0}}{\overline{{D}}{}^{0}}$ systems with $C = P = \pm 1$. Several $b$-hadron decays also produce quantum-correlated ${{D}^{0}}{\overline{{D}}{}^{0}}$ systems. Advantages of isolating these systems in their $C = +1$ components for amplitude analyses and studies of lineshapes are discussed. Methods to separate the $C = \pm 1$ ${{D}^{0}}{\overline{{D}}{}^{0}}$ components from ${{\chi_{c{\rm 1}}}(3872)}$ decay samples are presented. Studies of $T$ and $CPT$ conservation in $C = +1$ ${{D}^{0}}{\overline{{D}}{}^{0}}$ systems can be performed with more easily reconstructible final states, when compared to $C = -1$ ${{D}^{0}}{\overline{{D}}{}^{0}}$ systems. Experimental mechanisms that can produce $C = \pm 1$ ${{D}^{0}}{\overline{{D}}{}^{0}}$ systems are described in an appendix.


title: Learning from Demonstrations using Signal Temporal Logic

abstract: Learning-from-demonstrations is an emerging paradigm to obtain effective robot control policies for complex tasks via reinforcement learning without the need to explicitly design reward functions. However, it is susceptible to imperfections in demonstrations and also raises concerns of safety and interpretability in the learned control policies. To address these issues, we use Signal Temporal Logic to evaluate and rank the quality of demonstrations. Temporal logic-based specifications allow us to create non-Markovian rewards, and also define interesting causal dependencies between tasks such as sequential task specifications. We validate our approach through experiments on discrete-world and OpenAI Gym environments, and show that our approach outperforms the state-of-the-art Maximum Causal Entropy Inverse Reinforcement Learning.


title: An In-Depth Investigation of the Performance Characteristics of Hyperledger Fabric

abstract: Private permissioned blockchains are deployed in ever greater numbers to facilitate cross-organizational processes in various industries, particularly in supply chain management. One popular example of this trend is Hyperledger Fabric. Compared to public permissionless blockchains, it promises improved performance and provides certain features that address key requirements of enterprises. However, also permissioned blockchains are still not as scalable as centralized systems, and due to the scarcity of theoretical results and empirical data, their real-world performance cannot be predicted with the necessary precision. We intend to address this issue by conducting an in-depth performance analysis of Hyperledger Fabric. The paper presents a detailed compilation of various performance characteristics using an enhanced version of the Distributed Ledger Performance Scan (DLPS). Researchers and practitioners alike can use the various performance properties identified and discussed as guidelines to better configure and implement their Hyperledger Fabric network. Likewise, they are encouraged to use the DLPS framework to conduct their measurements.


title: Information leak and incompatibility of physical context: A modified approach

abstract: A beautiful idea about the incompatibility of Physical Context(IPC) was introduced in Phys. Rev. A 102, 050201(R) (2020). Here, a context is defined as a set of a quantum state and two sharp rank-one measurements, and the incompatibility of physical context is defined as the leakage of information while implementing those two measurements successively in that quantum state. In this work, we show the limitations in their approach. The three primary limitations are that, (i) their approach is not positive operator-valued measurements and (ii), they restrict information-theoretic agents Alice, Eve and Bob to specific quantum operations and do not consider most general quantum operations i.e., quantum instruments and (iii), their measure of IPC can take negative values in specific cases in a more general scenario which implies the limitation of their information measure. Thereby, we have introduced a generalization and modification to their approach in more general and convenient way, such that this idea is well-defined for generic measurements, without these limitations. We also present a comparison of the measure of the IPC through their and our method. Lastly, we show, how the IPC reduces in the presence of memory using our modification, which further validates our approach.


title: Variational method in relativistic quantum field theory without cutoff

abstract: The variational method is a powerful approach to solve many-body quantum problems non perturbatively. However, in the context of relativistic quantum field theory (QFT), it needs to meet 3 seemingly incompatible requirements outlined by Feynman: extensivity, computability, and lack of UV sensitivity. In practice, variational methods break one of the 3, which translates into the need to have an IR or UV cutoff. In this letter, I introduce a relativistic modification of continuous matrix product states that satisfies the 3 requirements jointly in 1+1 dimensions. I apply it to the self-interacting scalar field, without UV cutoff and directly in the thermodynamic limit. Numerical evidence suggests the error decreases faster than any power law in the number of parameters, while the cost remains only polynomial.


title: Multifractal wave functions of charge carriers in graphene with folded deformations, ripples or uniaxial flexural modes: analogies to the quantum Hall effect under random pseudomagnetic fields

abstract: The electronic behavior in graphene under arbitrary uniaxial deformations, such as foldings or flexural fields is studied by including in the Dirac equation pseudoelectromagnetic fields. General foldings are thus studied by showing that uniaxial deformations can be considered pseudomagnetic fields in the Coulomb gauge norm. This allows to give an expression for the Fermi (zero) energy modes wavefunctions. For random deformations, contact is made with previous works on the quantum Hall effect under random magnetic fields, showing that the density of states has a power law behavior and that the zero energy modes wavefunctions are multifractal. This hints at an unusual electron velocity distribution. Also, it is shown that a strong Aharonov-Bohm pseudo-effect is produced. For more general non-uniaxial general flexural strain, it is not possible to use the Coulomb gauge. The results presented here helps to tailor-made graphene uniaxial deformations to achieve specific wavefunctions.


title: Context-Responsive Labeling in Augmented Reality

abstract: Route planning and navigation are common tasks that often require additional information on points of interest. Augmented Reality (AR) enables mobile users to utilize text labels, in order to provide a composite view associated with additional information in a real-world environment. Nonetheless, displaying all labels for points of interest on a mobile device will lead to unwanted overlaps between information, and thus a context-responsive strategy to properly arrange labels is expected. The technique should remove overlaps, show the right level-of-detail, and maintain label coherence. This is necessary as the viewing angle in an AR system may change rapidly due to users' behaviors. Coherence plays an essential role in retaining user experience and knowledge, as well as avoiding motion sickness. In this paper, we develop an approach that systematically manages label visibility and levels-of-detail, as well as eliminates unexpected incoherent movement. We introduce three label management strategies, including (1) occlusion management, (2) level-of-detail management, and (3) coherence management by balancing the usage of the mobile phone screen. A greedy approach is developed for fast occlusion handling in AR. A level-of-detail scheme is adopted to arrange various types of labels. A 3D scene manipulation is then built to simultaneously suppress the incoherent behaviors induced by viewing angle changes. Finally, we present the feasibility and applicability of our approach through one synthetic and two real-world scenarios, followed by a qualitative user study.


title: Network of Tensor Time Series

abstract: Co-evolving time series appears in a multitude of applications such as environmental monitoring, financial analysis, and smart transportation. This paper aims to address the following challenges, including (C1) how to incorporate explicit relationship networks of the time series; (C2) how to model the implicit relationship of the temporal dynamics. We propose a novel model called Network of Tensor Time Series, which is comprised of two modules, including Tensor Graph Convolutional Network (TGCN) and Tensor Recurrent Neural Network (TRNN). TGCN tackles the first challenge by generalizing Graph Convolutional Network (GCN) for flat graphs to tensor graphs, which captures the synergy between multiple graphs associated with the tensors. TRNN leverages tensor decomposition to model the implicit relationships among co-evolving time series. The experimental results on five real-world datasets demonstrate the efficacy of the proposed method.


title: Zero-Shot Self-Supervised Learning for MRI Reconstruction

abstract: Deep learning (DL) has emerged as a powerful tool for accelerated MRI reconstruction, but often necessitates a database of fully-sampled measurements for training. Recent self-supervised and unsupervised learning approaches enable training without fully-sampled data. However, a database of undersampled measurements may not be available in many scenarios, especially for scans involving contrast or translational acquisitions in development. Moreover, recent studies show that database-trained models may not generalize well when the unseen measurements differ in terms of sampling pattern, acceleration rate, SNR, image contrast, and anatomy. Such challenges necessitate a new methodology to enable subject-specific DL MRI reconstruction without external training datasets, since it is clinically imperative to provide high-quality reconstructions that can be used to identify lesions/disease for \emph{every individual}. In this work, we propose a zero-shot self-supervised learning approach to perform subject-specific accelerated DL MRI reconstruction to tackle these issues. The proposed approach partitions the available measurements from a single scan into three disjoint sets. Two of these sets are used to enforce data consistency and define loss during training for self-supervision, while the last set serves to self-validate, establishing an early stopping criterion. In the presence of models pre-trained on a database with different image characteristics, we show that the proposed approach can be combined with transfer learning for faster convergence time and reduced computational complexity. The code is available at \url{https://github.com/byaman14/ZS-SSL}.

categories: eess.IV cs.CV cs.LG eess.SP physics.med-ph


title: The Dependent Chip Model (DCM): a simple and more realistic alternative to the Independent Chip Model (ICM)

abstract: The Dependent Chip Model (DCM) is proposed as an alternative to the Independent Chip Model (ICM) usually employed in poker tournament negotiations. DCM constitutes a recursive exploration of a multiplayer Texas hold'em poker game tree tracking. The DCM procedure considers all players as having exactly the same playing skills and probabilities to win a single poker hand, but submitted to their stacks in order to survive along the successive hands. So, the final differences among bestowed prizes arise purely from the initial chip amounts, hence the name of this new proposed procedure. By considering DCM, the first podium positions usually collect more money than the amount granted by ICM. Conversely, the last podium positions receive less money than the quantities proposed by ICM. The differences among both methods sometimes lead to take distinct actions in tournaments. This can lead to very important monetary implications for professional players.


title: Personalization Strategies for End-to-End Speech Recognition Systems

abstract: The recognition of personalized content, such as contact names, remains a challenging problem for end-to-end speech recognition systems. In this work, we demonstrate how first and second-pass rescoring strategies can be leveraged together to improve the recognition of such words. Following previous work, we use a shallow fusion approach to bias towards recognition of personalized content in the first-pass decoding. We show that such an approach can improve personalized content recognition by up to 16% with minimum degradation on the general use case. We describe a fast and scalable algorithm that enables our biasing models to remain at the word-level, while applying the biasing at the subword level. This has the advantage of not requiring the biasing models to be dependent on any subword symbol table. We also describe a novel second-pass de-biasing approach: used in conjunction with a first-pass shallow fusion that optimizes on oracle WER, we can achieve an additional 14% improvement on personalized content recognition, and even improve accuracy for the general use case by up to 2.5%.


title: Local Access to Random Walks

abstract: For a graph $G$ on $n$ vertices, naively sampling the position of a random walk of at time $t$ requires work $\Omega(t)$. We desire local access algorithms supporting $\text{position}(G,s,t)$ queries, which return the position of a random walk from some start vertex $s$ at time $t$, where the joint distribution of returned positions is $1/\text{poly}(n)$ close to the uniform distribution over such walks in $\ell_1$ distance. We first give an algorithm for local access to walks on undirected regular graphs with $\widetilde{O}(\frac{1}{1-\lambda}\sqrt{n})$ runtime per query, where $\lambda$ is the second-largest eigenvalue in absolute value. Since random $d$-regular graphs are expanders with high probability, this gives an $\widetilde{O}(\sqrt{n})$ algorithm for $G(n,d)$, which improves on the naive method for small numbers of queries. We then prove that no that algorithm with sub-constant error given probe access to random $d$-regular graphs can have runtime better than $\Omega(\sqrt{n}/\log(n))$ per query in expectation, obtaining a nearly matching lower bound. We further show an $\Omega(n^{1/4})$ runtime per query lower bound even with an oblivious adversary (i.e. when the query sequence is fixed in advance). We then show that for families of graphs with additional group theoretic structure, dramatically better results can be achieved. We give local access to walks on small-degree abelian Cayley graphs, including cycles and hypercubes, with runtime $\text{polylog}(n)$ per query. This also allows for efficient local access to walks on $\text{polylog}$ degree expanders. We extend our results to graphs constructed using the tensor product (giving local access to walks on degree $n^\epsilon$ graphs for any $\epsilon \in (0,1]$) and Cartesian product.


title: Relativistic continuous matrix product states for quantum fields without cutoff

abstract: I introduce a modification of continuous matrix product states (CMPS) that makes them adapted to relativistic quantum field theories (QFT). These relativistic CMPS can be used to solve genuine 1+1 dimensional QFT without UV cutoff and directly in the thermodynamic limit. The main idea is to work directly in the basis that diagonalizes the free part of the model considered, which allows to fit its short distance behavior exactly. This makes computations slightly less trivial than with standard CMPS. However, they remain feasible and I present all the steps needed for the optimization. The asymptotic cost as a function of the bond dimension remains the same as for standard CMPS. I illustrate the method on the self-interacting scalar field, a.k.a. the $\phi^4_2$ model. Aside from providing unequaled precision in the continuum, the numerical results obtained are truly variational, and thus provide rigorous energy upper bounds.


title: Dynamic Pricing with Limited Commitment

abstract: A monopolist wants to sell one item per period to a consumer with evolving and persistent private information. The seller sets a price each period depending on the history so far, but cannot commit to future prices. We show that, regardless of the degree of persistence, any equilibrium under a D1-style refinement gives the seller revenue no higher than what she would get from posting all prices in advance.


title: The effects of temperature acclimation on swimming performance in the pelagic Mahi-mahi (Coryphaena hippurus)

abstract: Mahi-mahi (Coryphaena hippurus) are a highly migratory pelagic fish, but little is known about what environmental factors drive their broad distribution. This study examined how temperature influences aerobic scope and swimming performance in mahi. Mahi were acclimated to four temperatures spanning their natural range (20, 24, 28, and 32{\deg}C; 5-27 days) and critical swimming speed (Ucrit), metabolic rates, aerobic scope, and optimal swim speed were measured. Aerobic scope and Ucrit were highest in 28{\deg}C-acclimated fish. 20{\deg}C-acclimated mahi experienced significantly decreased aerobic scope and Ucrit relative to 28{\deg}C-acclimated fish (57 and 28% declines, respectively). 32{\deg}C-acclimated mahi experienced increased mortality and a significant 23% decline in Ucrit, and a trend for a 26% decline in factorial aerobic scope relative to 28{\deg}C-acclimated fish. Absolute aerobic scope showed a similar pattern to factorial aerobic scope. Our results are generally in agreement with previously observed distribution patterns for wild fish. Although thermal performance can vary across life stages, the highest tested swim performance and aerobic scope found in the present study (28{\deg}C), aligns with recently observed habitat utilization patterns for wild mahi and could be relevant for climate change predictions.


title: Fermion pairing in body-centered-cubic quantum simulators of extended Hubbard models

abstract: We investigate formation and condensation of fermion pairs in cold-atom quantum simulators for extended Hubbard models ($UV$ models) with body-centered-cubic (BCC) optical lattices in the dilute limit, predicting small and light pairs. Pair mass, radius, and binding conditions are calculated, and used to compute transition temperatures. We predict that: (a) local pairs form in BCC optical lattices and binding energies can be large; (b) for particular cases where onsite $U$ and intersite $V$ are attractive with similar size, pairs are both small and light; and (c) pairs of $^6$Li atoms Bose--Einstein condense at temperatures of around 10 nK.


title: Root numbers of 5-adic curves of genus two having maximal ramification

abstract: The formulas for local root numbers of abelian varieties of dimension one are known. In this paper we treat the simplest unknown case in dimension two by considering a curve of genus 2 defined over a $5$-adic field such that the inertia acts on the first $\ell$-adic cohomology group through the largest possible finite quotient, isomorphic to $C_5\rtimes C_8$. We give a few criteria to identify such curves and prove a formula for their local root numbers in terms of invariants associated to a Weierstrass equation.


title: High contrast Ultrafast 3D Ultrasound Imaging using Row Column specific Frame Multiply and Sum

abstract: Row-column arrays have shown to be able to generate 3-D ultrafast ultrasound images with an order of magnitude less independent electronic channels than classic 2D matrix arrays. Unfortunately row-column array images suffer from major imaging artefacts due to the high side lobes. This paper proposes a row-column specific beamforming technique that exploits the incoherent nature of certain row column array artefacts. The geometric mean of the data from each row and column pair is taken prior to summation in beamforming, thus drastically reducing incoherent imaging artefacts compared to traditional coherent compounding. The effectiveness of this technique was demonstrated in silico, and the results show an average fivefold reduction in side-lobe levels. Significantly improved contrast was demonstrated with Tissue-to-noise ratio increasing from $\sim$10dB to $\sim$30dB and Tissue Contrast Ratio increasing from $\sim$21dB to $\sim$42dB when using the proposed new method compared to Delay and Sum. These new techniques allowed for high quality 3D imaging whilst maintaining high frame rate potential.


title: Weak Stefan Formulation for Bulk Crystal Growth with Non-smooth Interfaces

abstract: Most heat transfer models for bulk crystal growth rely on the classical Stefan formulation to evaluate interface motion during phase change. However, when the interface is non-smooth the use of the classical Stefan formulation may lead to singularities. To address this problem, we propose a simulation model based on the weak formulation of the Stefan problem. Numerical solutions of the weak Stefan formulation are obtained using the finite volume method. This approach provides an energy conserving discretization scheme that accurately evaluates heat transfer around non-smooth interfaces. We apply the weak formulation to numerically simulate the solidification of silicon in the horizontal ribbon growth process. Results exhibit a limitation on the ribbon's pull speed, which previous classical Stefan models have failed to demonstrate. A comparison of heat transfer between radiation and gas cooling shows that gas cooling increases the pull speed limit for the same amount of heat removed.


title: Universal Fabrication of Two-Dimensional Electron Systems in Functional Oxides

abstract: Two-dimensional electron systems (2DESs) in functional oxides are promising for applications, but their fabrication and use, essentially limited to SrTiO$_3$-based heterostructures, are hampered by the need of growing complex oxide over-layers thicker than 2~nm using evolved techniques. This work shows that thermal deposition of a monolayer of an elementary reducing agent suffices to create 2DESs in numerous oxides.


title: Static Cylindrical Symmetric Solutions in the Einstein-Aether Theory

abstract: In this work we present all the possible solutions for a static cylindrical symmetric spacetime in the Einstein-Aether (EA) theory. As far as we know, this is the first work in the literature that considers cylindrically symmetric solutions in the theory of EA. One of these solutions is the generalization in EA theory of the Levi-Civita (LC) spacetime in General Relativity (GR) theory. We have shown that this generalized LC solution has unusual geodesic properties, depending on the parameter $c_{14}$ of the aether field. The circular geodesics are the same of the GR theory, no matter the values of $c_{14}$. However, the radial and $z$ direction geodesics are allowed only for certain values of $\sigma$ and $c_{14}$. The $z$ direction geodesics are restricted to an interval of $\sigma$ different from those predicted by the GR and the radial geodesics show that the motion is confined between the origin and a maximum radius. The latter is not affected by the aether field but the velocity and acceleration of the test particles are Besides, for $0\leq\sigma<1/2$, when the cylindrical symmetry is preserved, this spacetime is singular at the axis $r=0$, although for $\sigma>1/2$ exists interval of $c_{14}$ where the spacetime is not singular, which is completely different from that one obtained with the GR theory, where the axis $r=0$ is always singular.


title: A Data Quality-Driven View of MLOps

abstract: Developing machine learning models can be seen as a process similar to the one established for traditional software development. A key difference between the two lies in the strong dependency between the quality of a machine learning model and the quality of the data used to train or perform evaluations. In this work, we demonstrate how different aspects of data quality propagate through various stages of machine learning development. By performing a joint analysis of the impact of well-known data quality dimensions and the downstream machine learning process, we show that different components of a typical MLOps pipeline can be efficiently designed, providing both a technical and theoretical perspective.


title: Deep Co-Attention Network for Multi-View Subspace Learning

abstract: Many real-world applications involve data from multiple modalities and thus exhibit the view heterogeneity. For example, user modeling on social media might leverage both the topology of the underlying social network and the content of the users' posts; in the medical domain, multiple views could be X-ray images taken at different poses. To date, various techniques have been proposed to achieve promising results, such as canonical correlation analysis based methods, etc. In the meanwhile, it is critical for decision-makers to be able to understand the prediction results from these methods. For example, given the diagnostic result that a model provided based on the X-ray images of a patient at different poses, the doctor needs to know why the model made such a prediction. However, state-of-the-art techniques usually suffer from the inability to utilize the complementary information of each view and to explain the predictions in an interpretable manner. To address these issues, in this paper, we propose a deep co-attention network for multi-view subspace learning, which aims to extract both the common information and the complementary information in an adversarial setting and provide robust interpretations behind the prediction to the end-users via the co-attention mechanism. In particular, it uses a novel cross reconstruction loss and leverages the label information to guide the construction of the latent representation by incorporating the classifier into our model. This improves the quality of latent representation and accelerates the convergence speed. Finally, we develop an efficient iterative algorithm to find the optimal encoders and discriminator, which are evaluated extensively on synthetic and real-world data sets. We also conduct a case study to demonstrate how the proposed method robustly interprets the predictions on an image data set.


title: Diagnostic tools for a multivariate negative binomial model for fitting correlated data with overdispersion

abstract: We focus on the development of diagnostic tools and an R package called MNB for a multivariate negative binomial (MNB) regression model for detecting atypical and influential subjects. The MNB model is deduced from a Poisson mixed model in which the random intercept follows the generalized log-gamma (GLG) distribution. The MNB model for correlated count data leads to an MNB regression model that inherits the features of a hierarchical model to accommodate the intraclass correlation and the occurrence of overdispersion simultaneously. The asymptotic consistency of the dispersion parameter estimator depends on the asymmetry of the GLG distribution. Inferential procedures for the MNB regression model are simple, although it can provide inconsistent estimates of the asymptotic variance when the correlation structure is misspecified. We propose the randomized quantile residual for checking the adequacy of the multivariate model, and derive global and local influence measures from the multivariate model to assess influential subjects. Finally, two applications are presented in the data analysis section. The code for installing the MNB package and the code used in the two examples is exhibited in the Appendix.


title: Learning Intra-Batch Connections for Deep Metric Learning

abstract: The goal of metric learning is to learn a function that maps samples to a lower-dimensional space where similar samples lie closer than dissimilar ones. Particularly, deep metric learning utilizes neural networks to learn such a mapping. Most approaches rely on losses that only take the relations between pairs or triplets of samples into account, which either belong to the same class or two different classes. However, these methods do not explore the embedding space in its entirety. To this end, we propose an approach based on message passing networks that takes all the relations in a mini-batch into account. We refine embedding vectors by exchanging messages among all samples in a given batch allowing the training process to be aware of its overall structure. Since not all samples are equally important to predict a decision boundary, we use an attention mechanism during message passing to allow samples to weigh the importance of each neighbor accordingly. We achieve state-of-the-art results on clustering and image retrieval on the CUB-200-2011, Cars196, Stanford Online Products, and In-Shop Clothes datasets. To facilitate further research, we make available the code and the models at https://github.com/dvl-tum/intra_batch_connections.


title: Global Results for the Inhomogeneous Muskat Problem

abstract: The inhomogeneous Muskat problem models the dynamics of an interface between two fluids of differing characteristics inside a non-uniform porous medium. We consider the case of a porous media with a permeability jump across a horizontal boundary away from an interface between two fluids of different viscosities and densities. For initial data of explicit medium size, depending on the characteristics of the fluids and porous media, we will prove the global existence and uniqueness of a solution which is instantly analytic and decays in time to the flat interface.


title: Chemical element mapping by x-ray ghost fluorescence

abstract: Chemical element mapping is an imaging tool that provides essential information on composite materials and it is crucial for a broad range of fields ranging from fundamental science to numerous applications. Methods that exploit x-ray fluorescence are very advantageous and are widely used, but require focusing of the input beam and raster scanning of the sample. Thus the methods are slow and exhibit limited resolution due to focusing challenges. We demonstrate a new focusing free x-ray fluorescence method based ghost imaging that overcomes those limitations. We combine our procedure with compressed sensing to reduce the measurement time and the exposure to radiation by more than 80%. Since our method does not require focusing, it opens the possibility for improving the resolution and image quality of chemical element maps with tabletop x-ray sources and for extending the applicability of x-ray fluorescence detection to new fields such as medical imaging and homeland security applications


title: Timely Transmissions Using Optimized Variable Length Coding

abstract: A status updating system is considered in which a variable length code is used to transmit messages to a receiver over a noisy channel. The goal is to optimize the codewords lengths such that successfully-decoded messages are timely. That is, such that the age-of-information (AoI) at the receiver is minimized. A hybrid ARQ (HARQ) scheme is employed, in which variable-length incremental redundancy (IR) bits are added to the originally-transmitted codeword until decoding is successful. With each decoding attempt, a non-zero processing delay is incurred. The optimal codewords lengths are analytically derived utilizing a sequential differential optimization (SDO) framework. The framework is general in that it only requires knowledge of an analytical expression of the positive feedback (ACK) probability as a function of the codeword length.


title: How Convolutional Neural Networks Deal with Aliasing

abstract: The convolutional neural network (CNN) remains an essential tool in solving computer vision problems. Standard convolutional architectures consist of stacked layers of operations that progressively downscale the image. Aliasing is a well-known side-effect of downsampling that may take place: it causes high-frequency components of the original signal to become indistinguishable from its low-frequency components. While downsampling takes place in the max-pooling layers or in the strided-convolutions in these models, there is no explicit mechanism that prevents aliasing from taking place in these layers. Due to the impressive performance of these models, it is natural to suspect that they, somehow, implicitly deal with this distortion. The question we aim to answer in this paper is simply: "how and to what extent do CNNs counteract aliasing?" We explore the question by means of two examples: In the first, we assess the CNNs capability of distinguishing oscillations at the input, showing that the redundancies in the intermediate channels play an important role in succeeding at the task; In the second, we show that an image classifier CNN while, in principle, capable of implementing anti-aliasing filters, does not prevent aliasing from taking place in the intermediate layers.


title: Decentralized Distributed Optimization for Saddle Point Problems

abstract: We consider distributed convex-concave saddle point problems over arbitrary connected undirected networks and propose a decentralized distributed algorithm for their solution. The local functions distributed across the nodes are assumed to have global and local groups of variables. For the proposed algorithm we prove non-asymptotic convergence rate estimates with explicit dependence on the network characteristics. To supplement the convergence rate analysis, we propose lower bounds for strongly-convex-strongly-concave and convex-concave saddle-point problems over arbitrary connected undirected networks. We illustrate the considered problem setting by a particular application to distributed calculation of non-regularized Wasserstein barycenters.


title: Optimal stability estimates and a new uniqueness result for advection-diffusion equations

abstract: This paper contains two main contributions. First, it provides optimal stability estimates for advection-diffusion equations in a setting in which the velocity field is Sobolev regular in the spatial variable. This estimate is formulated with the help of Kantorovich--Rubinstein distances with logarithmic cost functions. Second, the stability estimates are extended to the advection-diffusion equations with velocity fields whose gradients are singular integrals of $L^1$ functions entailing a new well-posedness result.


title: Learning forecasts of rare stratospheric transitions from short simulations

abstract: Rare events arising in nonlinear atmospheric dynamics remain hard to predict and attribute. We address the problem of forecasting rare events in a prototypical example, Sudden Stratospheric Warmings (SSWs). Approximately once every other winter, the boreal stratospheric polar vortex rapidly breaks down, shifting midlatitude surface weather patterns for months. We focus on two key quantities of interest: the probability of an SSW occurring, and the expected lead time if it does occur, as functions of initial condition. These \emph{optimal forecasts} concretely measure the event's progress. Direct numerical simulation can estimate them in principle, but is prohibitively expensive in practice: each rare event requires a long integration to observe, and the cost of each integration grows with model complexity. We describe an alternative approach using integrations that are \emph{short} compared to the timescale of the warming event. We compute the probability and lead time efficiently by solving equations involving the transition operator, which encodes all information about the dynamics. We relate these optimal forecasts to a small number of interpretable physical variables, suggesting optimal measurements for forecasting. We illustrate the methodology on a prototype SSW model developed by Holton and Mass (1976) and modified by stochastic forcing. While highly idealized, this model captures the essential nonlinear dynamics of SSWs and exhibits the key forecasting challenge: the dramatic separation in timescales between a single event and the return time between successive events. Our methodology is designed to fully exploit high-dimensional data from models and observations, and has the potential to identify detailed predictors of many complex rare events in meteorology.


title: Short-range correlation energy of the relativistic homogeneous electron gas

abstract: We construct the complementary short-range correlation relativistic local-density-approximation functional to be used in relativistic range-separated density-functional theory based on a Dirac-Coulomb Hamiltonian in the no-pair approximation. For this, we perform relativistic random-phase-approximation calculations of the correlation energy of the relativistic homogeneous electron gas with a modified electron-electron interaction, we study the high-density behavior, and fit the results to a parametrized expression. The obtained functional should eventually be useful for electronic-structure calculations of strongly correlated systems containing heavy elements.


title: Membership Inference Attacks are Easier on Difficult Problems

abstract: Membership inference attacks (MIA) try to detect if data samples were used to train a neural network model, e.g. to detect copyright abuses. We show that models with higher dimensional input and output are more vulnerable to MIA, and address in more detail models for image translation and semantic segmentation, including medical image segmentation. We show that reconstruction-errors can lead to very effective MIA attacks as they are indicative of memorization. Unfortunately, reconstruction error alone is less effective at discriminating between non-predictable images used in training and easy to predict images that were never seen before. To overcome this, we propose using a novel predictability error that can be computed for each sample, and its computation does not require a training set. Our membership error, obtained by subtracting the predictability error from the reconstruction error, is shown to achieve high MIA accuracy on an extensive number of benchmarks.


title: Percolation for the Gaussian free field on the cable system: counterexamples

abstract: For massless vertex-transitive transient graphs, the percolation phase transition for the level sets of the Gaussian free field on the associated continuous cable system is particularly well understood, and in particular the associated critical parameter $\widetilde{h}_*$ is always equal to zero. On general transient graphs, two weak conditions on the graph $\mathcal{G}$ are given in arXiv:2101.05800, each of which implies one of the two inequalities $\widetilde{h}_*\leq0$ and $\widetilde{h}_*\geq0.$ In this article, we give two counterexamples to show that none of these two conditions are necessary, prove that the strict inequality $\widetilde{h}_*<0$ is typical on massive graphs with bounded weights, and provide an example of a graph on which $\widetilde{h}_*=\infty.$ On the way, we obtain another characterization of random interlacements on massive graphs, as well as an isomorphism between the Gaussian free field and the Doob $\mathit{\mathbf{h}}$-transform of random interlacements, and between the two-dimensional pinned free field and random interlacements.


title: End-to-End Egospheric Spatial Memory

abstract: Spatial memory, or the ability to remember and recall specific locations and objects, is central to autonomous agents' ability to carry out tasks in real environments. However, most existing artificial memory modules are not very adept at storing spatial information. We propose a parameter-free module, Egospheric Spatial Memory (ESM), which encodes the memory in an ego-sphere around the agent, enabling expressive 3D representations. ESM can be trained end-to-end via either imitation or reinforcement learning, and improves both training efficiency and final performance against other memory baselines on both drone and manipulator visuomotor control tasks. The explicit egocentric geometry also enables us to seamlessly combine the learned controller with other non-learned modalities, such as local obstacle avoidance. We further show applications to semantic segmentation on the ScanNet dataset, where ESM naturally combines image-level and map-level inference modalities. Through our broad set of experiments, we show that ESM provides a general computation graph for embodied spatial reasoning, and the module forms a bridge between real-time mapping systems and differentiable memory architectures. Implementation at: https://github.com/ivy-dl/memory.


title: Variable importance scores

abstract: Scoring of variables for importance in predicting a response is an ill-defined concept. Several methods have been proposed but little is known of their performance. This paper fills the gap with a comparative evaluation of eleven methods and an updated one based on the GUIDE algorithm. For data without missing values, eight of the methods are shown to be biased in that they give higher or lower scores to different types of variables, even when all are independent of the response. Of the remaining four methods, only two are applicable to data with missing values, with GUIDE the only unbiased one. GUIDE achieves unbiasedness by using a self-calibrating step that is applicable to other methods for score de-biasing. GUIDE also yields a threshold for distinguishing important from unimportant variables at 95 and 99 percent confidence levels; the technique is applicable to other methods as well. Finally, the paper studies the relationship of the scores to predictive power in three data sets. It is found that the scores of many methods are more consistent with marginal predictive power than conditional predictive power.


title: Reflecting stochastic dynamics of active-passive populations with applications in operations research and neuroscience

abstract: Stochastic dynamic models have been extensively used for the description of processes with uncertainties arising in the operations research, behavioral sciences, and many other application areas. A large class of the problems from these domains is characterized by the necessity to deal with several distinct groups of populations, which are usually labeled as "active" and "passive". Motivated by important applications of queueing networks and neuroscience, the main focus of the present work is on the analysis of reflecting stochastic dynamics of such mixed populations. We develop a general mathematical modeling framework to describe the reflecting stochastic dynamics for active-passive populations. The analysis of this model is carried out via a combination of low- and high-delity results obtained from the solution of the underlying coupled system of SDEs and from the simulations with a statistical-mechanics-based lattice gas model, where we employ a kinetic Monte Carlo procedure. We provide details of the queueing theory and neuronal models and discuss a relationship between reflecting SDEs and a model of queueing theory via a limit theorem. Furthermore, we present several representative numerical examples, and discuss an intrinsic interconnection between active and passive particles in the underlying stochastic process. Finally, possible extensions of the proposed methodology have been highlighted.


title: Communication-efficient Distributed Cooperative Learning with Compressed Beliefs

abstract: We study the problem of distributed cooperative learning, where a group of agents seeks to agree on a set of hypotheses that best describes a sequence of private observations. In the scenario where the set of hypotheses is large, we propose a belief update rule where agents share compressed (either sparse or quantized) beliefs with an arbitrary positive compression rate. Our algorithm leverages a unified communication rule that enables agents to access wide-ranging compression operators as black-box modules. We prove the almost sure asymptotic exponential convergence of beliefs around the set of optimal hypotheses. Additionally, we show a non-asymptotic, explicit, and linear concentration rate in probability of the beliefs on the optimal hypothesis set. We provide numerical experiments to illustrate the communication benefits of our method. The simulation results show that the number of transmitted bits can be reduced to 5-10% of the non-compressed method in the studied scenarios.


title: Distance to healthy cardiovascular dynamics from fetal heart rate scale-dependent features in pregnant sheep model of human labor predicts cardiovascular decompensation

abstract: The overarching goal of the present work is to contribute to the understanding of the relations between fetal heart rate (FHR) temporal dynamics and the well-being of the fetus, notably in terms of predicting cardiovascular decompensation (CVD). It makes uses of an established animal model of human labor, where fourteen near-term ovine fetuses subjected to umbilical cord occlusions (UCO) were instrumented to permit regular intermittent measurements of metabolites, pH, and continuous recording of electrocardiogram (ECG) and systemic arterial blood pressure (to identify CVD) during UCO. ECG-derived FHR was digitized at the sampling rate of 1000 Hz and resampled to 4Hz, as used in clinical routine. We focused on four FHR variability features which are tunable to temporal scales of FHR dynamics, robustly computable from FHR sampled at $4$Hz and within short-time sliding windows, hence permitting a time-dependent, or local, analysis of FHR which helps dealing with signal noise. Results show the sensitivity of the proposed features for early detection of CVD, correlation to metabolites and pH, useful for early acidosis detection and the importance of coarse time scales (2.5 to 8 seconds) which are not disturbed by the low FHR sampling rate. Further, we introduce the performance of an individualized self-referencing metric of the distance to healthy state, based on a combination of the four features. We demonstrate that this novel metric, applied to clinically available FHR temporal dynamics alone, accurately predicts the time occurrence of CVD which heralds a clinically significant degradation of the fetal health reserve to tolerate the trial of labor.


title: On dark stars, Planck cores and the nature of dark matter

abstract: Dark stars are compact massive objects, described by Einstein gravitational field equations with matter. The type we consider possesses no event horizon, instead, there is a deep gravitational well with a very strong redshift factor. Observationally, dark stars can be identified with black holes. Inside dark stars, Planck density of matter is reached, Planck cores are formed, where the equations are modified by quantum gravity. In the paper, several models of dark stars with Planck cores are considered, resulting in the following hypothesis on the composition of dark matter. The galaxies are flooded with low-energetic radiation from the dark stars. The particle type can be photons and gravitons from the Standard Model, can also be a new type of massless particles. The model estimations show that the extremely large redshift factor $z\sim10^{49}$ and the emission wavelength $\lambda_0\sim10^{14}$m can be reached. The particles are not registered directly in the existing dark matter experiments. They come in a density sufficient to explain the observable rotation curves. The emission has a geometric dependence of density on radius $\rho\sim r^{-2}$, producing flat rotation curves. The distribution of sources also describes the deviations from the flat shape. The model provides a good fit of experimental rotation curves. Outbreaks caused by a fall of an external object on a dark star lead to emission wavelength shifted towards smaller values. The model estimations give the outbreak wavelength $\lambda\sim1$m compatible with fast radio bursts. The paper raises several principal questions. White holes with Planck core appear to be stable. Galactic rotation curves in the considered setup do not depend on the matter type. Inside the galaxy, dark matter can be of hot radial type. At cosmological distances, it can behave like the cold uniform type.


title: Neural Posterior Regularization for Likelihood-Free Inference

abstract: A simulation is useful when the phenomenon of interest is either expensive to regenerate or irreproducible with the same context. Recently, Bayesian inference on the distribution of the simulation input parameter has been implemented sequentially to minimize the required simulation budget for the task of simulation validation to the real-world. However, the Bayesian inference is still challenging when the ground-truth posterior is multi-modal with a high-dimensional simulation output. This paper introduces a regularization technique, namely Neural Posterior Regularization (NPR), which enforces the model to explore the input parameter space effectively. Afterward, we provide the closed-form solution of the regularized optimization that enables analyzing the effect of the regularization. We empirically validate that NPR attains the statistically significant gain on benchmark performances for diverse simulation tasks.


title: Online learning of Riemannian hidden Markov models in homogeneous Hadamard spaces

abstract: Hidden Markov models with observations in a Euclidean space play an important role in signal and image processing. Previous work extending to models where observations lie in Riemannian manifolds based on the Baum-Welch algorithm suffered from high memory usage and slow speed. Here we present an algorithm that is online, more accurate, and offers dramatic improvements in speed and efficiency.


title: A tentative emission line at z=5.8 from a 3mm-selected galaxy

abstract: I report a tentative ($\sim4\sigma$) emission line at $\nu=100.84\,$GHz from "COS-3mm-1'", a 3mm-selected galaxy reported by Williams et al. 2019 that is undetected at optical and near infrared wavelengths. The line was found in the ALMA Science Archive after re-processing ALMA band 3 observations targeting a different source. Assuming the line corresponds to the $\rm CO(6\to5)$ transition, this tentative detection implies a spectroscopic redshift of $z=5.857$, in agreement with the galaxy's redshift constraints from multi-wavelength photometry. This would make this object the highest redshift 3mm-selected galaxy and one of the highest redshift dusty star-forming galaxies known to-date. Here, I report the characteristics of this tentative detection and the physical properties that can be inferred assuming the line is real. Finally, I advocate for follow-up observations to corroborate this identification and to confirm the high-redshift nature of this optically-dark dusty star-forming galaxy.


title: Operational applications of the diamond norm and related measures in quantifying the non-physicality of quantum maps

abstract: Although quantum channels underlie the dynamics of quantum states, maps which are not physical channels -- that is, not completely positive -- can often be encountered in settings such as entanglement detection, non-Markovian quantum dynamics, or error mitigation. We introduce an operational approach to the quantitative study of the non-physicality of linear maps based on different ways to approximate a given linear map with quantum channels. Our first measure directly quantifies the cost of simulating a given map using physically implementable quantum channels, shifting the difficulty in simulating unphysical dynamics onto the task of simulating linear combinations of quantum states. Our second measure benchmarks the quantitative advantages that a non-completely-positive map can provide in discrimination-based quantum games. Notably, we show that for any trace-preserving map, the quantities both reduce to a fundamental distance measure: the diamond norm, thus endowing this norm with new operational meanings in the characterisation of linear maps. We discuss applications of our results to structural physical approximations of positive maps, quantification of non-Markovianity, and bounding the cost of error mitigation.


title: A World without Pythons would be so Simple

abstract: We show that bulk operators lying between the outermost extremal surface and the asymptotic boundary admit a simple boundary reconstruction in the classical limit. This is the converse of the Python's lunch conjecture, which proposes that operators with support between the minimal and outermost (quantum) extremal surfaces - e.g. the interior Hawking partners - are highly complex. Our procedure for reconstructing this "simple wedge" is based on the HKLL construction, but uses causal bulk propagation of perturbed boundary conditions on Lorentzian timefolds to expand the causal wedge as far as the outermost extremal surface. As a corollary, we establish the Simple Entropy proposal for the holographic dual of the area of a marginally trapped surface as well as a similar holographic dual for the outermost extremal surface. We find that the simple wedge is dual to a particular coarse-grained CFT state, obtained via averaging over all possible Python's lunches. An efficient quantum circuit converts this coarse-grained state into a "simple state" that is indistinguishable in finite time from a state with a local modular Hamiltonian. Under certain circumstances, the simple state modular Hamiltonian generates an exactly local flow; we interpret this result as a holographic dual of black hole uniqueness.


title: New Determinations of the UV Luminosity Functions from z~9 to z~2 show a remarkable consistency with halo growth and a constant star formation efficiency

abstract: Here we provide the most comprehensive determinations of the rest-frame $UV$ LF available to date with HST at z~2, 3, 4, 5, 6, 7, 8, and 9. Essentially all of the non-cluster extragalactic legacy fields are utilized, including the Hubble Ultra Deep Field (HUDF), the Hubble Frontier Field parallel fields, and all five CANDELS fields, for a total survey area of 1136 arcmin^2. Our determinations include galaxies at z~2-3 leveraging the deep HDUV, UVUDF, and ERS WFC3/UVIS observations available over a ~150 arcmin^2 area in the GOODS North and GOODS South regions. All together, our collective samples include >24,000 sources, >2.3x larger than previous selections with HST. 5766, 6332, 7240, 3449, 1066, 601, 246, and 33 sources are identified at z~2, 3, 4, 5, 6, 7, 8, and 9, respectively. Combining our results with an earlier z~10 LF determination by Oesch+2018a, we quantify the evolution of the $UV$ LF. Our results indicate that there is (1) a smooth flattening of the faint-end slope alpha from alpha~-2.4 at z~10 to -1.5 at z~2, (2) minimal evolution in the characteristic luminosity M* at z>~2.5, and (3) a monotonic increase in the normalization log_10 phi* from z~10 to z~2, which can be well described by a simple second-order polynomial, consistent with an "accelerated" evolution scenario. We find that each of these trends (from z~10 to z~2.5 at least) can be readily explained on the basis of the evolution of the halo mass function and a simple constant star formation efficiency model.