title: Snowmass White Paper: S-matrix Bootstrap

abstract: The S-matrix Bootstrap originated on the idea that the S-matrix might be fully constrained by global symmetries, crossing, unitarity, and analyticity without relying on an underlying dynamical theory that may or may not be a quantum field theory. Recently this approach was revived from a somewhat different point of view. Using the same constraints, one numerically maps out the (infinite-dimensional) space of allowed S-matrices that should contain all consistent quantum field theories (and quantum theories of gravity). Moreover, in the best case scenario one finds special points in the space that can be identified with a certain quantum field theory of interest. In that case, the approach allows the numerical computation of the S-matrix without relying on the particular Lagrangian of the theory. In this white paper we summarize the state of the art and discuss the future of the topic.


title: Some Results on Factorization of Monoids

abstract: Factorizations of monoids are studied. Two necessary and sufficient conditions in terms of so-called descent 1-cocyles for a monoid to be factorized through two submonoids are found. A full classification of those factorizations of a monoid whose one factor is a subgroup of the monoid is obtained. The relationship between monoid factorizations and non-abelian cohomology of monoids is analyzed. Some applications to semi-direct product of monoids are given.


title: Mirror Symmetry for open r-spin invariants

abstract: We show that a generating function for open $r$-spin enumerative invariants produces a universal unfolding of the polynomial $x^r$. Further, the coordinates parametrizing this universal unfolding are flat coordinates on the Frobenius manifold associated to the Landau-Ginzburg model $(\mathbb{C},x^r)$ via Saito-Givental theory. This result provides evidence for the same phenomenon to occur in higher dimension, proven in a sequel paper.


title: R-GCN: The R Could Stand for Random

abstract: The inception of the Relational Graph Convolutional Network (R-GCN) marked a milestone in the Semantic Web domain as a widely cited method that generalises end-to-end hierarchical representation learning to Knowledge Graphs (KGs). R-GCNs generate representations for nodes of interest by repeatedly aggregating parameterised, relation-specific transformations of their neighbours. However, in this paper, we argue that the the R-GCN's main contribution lies in this "message passing" paradigm, rather than the learned weights. To this end, we introduce the "Random Relational Graph Convolutional Network" (RR-GCN), which leaves all parameters untrained and thus constructs node embeddings by aggregating randomly transformed random representations from neighbours, i.e., with no learned parameters. We empirically show that RR-GCNs can compete with fully trained R-GCNs in both node classification and link prediction settings.


title: Fractional Calder\'on problems and Poincar\'e inequalities on unbounded domains

abstract: We generalize many recent uniqueness results on the fractional Calder\'on problem to cover the cases of all domains with nonempty exterior. The highlight of our work is the characterization of uniqueness and nonuniqueness of partial data inverse problems for the fractional conductivity equation on domains that are bounded in one direction for conductivities supported in the whole Euclidean space and decaying to a constant background conductivity at infinity. We generalize the uniqueness proof for the fractional Calder\'on problem by Ghosh, Salo and Uhlmann to a general abstract setting in order to use the full strength of their argument. This allows us to observe that there are also uniqueness results for many inverse problems for higher order local perturbations of a lower order fractional Laplacian. We give concrete example models to illustrate these curious situations and prove Poincar\'e inequalities for the fractional Laplacians of any order on domains that are bounded in one direction. We establish Runge approximation results in these general settings, improve regularity assumptions also in the cases of bounded sets and prove general exterior determination results. Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data are constructed in another companion work.


title: de Sitter Black Holes as Constrained States in the Euclidean Path Integral

abstract: Schwarzschild-de Sitter black holes have two horizons that are at different temperatures for generic values of the black hole mass. Since the horizons are out of equilibrium the solutions do not admit a smooth Euclidean continuation and it is not immediately clear what role they play in the gravitational path integral. We show that Euclidean SdS is a genuine saddle point of a certain constrained path integral, providing a consistent Euclidean computation of the probability $\sim e^{-(S_{dS}-S_{SdS})}$ to find a black hole in the de Sitter bath.


title: Scaling and adiabaticity in a rapidly expanding gluon plasma

abstract: In this work we aim to gain qualitative insight on the far-from-equilibrium behavior of the gluon plasma produced in the early stages of a heavy-ion collision. It was recently discovered arXiv:1810.10554 that the distribution functions of quarks and gluons in QCD effective kinetic theory (EKT) exhibit self-similar "scaling" evolution with time-dependent scaling exponents long before those exponents reach their pre-hydrodynamic fixed-point values. In this work we shed light on the origin of this time-dependent scaling phenomenon in the small-angle approximation to the Boltzmann equation. We first solve the Boltzmann equation numerically and find that time-dependent scaling is a feature of this kinetic theory, and that it captures key qualitative features of the scaling of hard gluons in QCD EKT. We then proceed to study scaling analytically and semi-analytically in this equation. We find that an appropriate momentum rescaling allows the scaling distribution to be identified as the instantaneous ground state of the operator describing the evolution of the distribution function, and the approach to the scaling function is described by the decay of the excited states. That is to say, there is a frame in which the system evolves adiabatically. Furthermore, from the conditions for adiabaticity we can derive evolution equations for the time-dependent scaling exponents. In addition to the known free-streaming and BMSS fixed points, we identify a new "dilute" fixed point when the number density becomes small before hydrodynamization. Corrections to the fixed point exponents in the small-angle approximation agree quantitatively with those found previously in QCD EKT and arise from the evolution of the ratio between hard and soft scales.


title: Stabilization of light bullets in nonlinear metamaterial waveguides

abstract: In this paper, we carry out a theoretical investigation on the propagation of spatio-temporal solitons (light bullets) in the nonlinear metamaterial waveguides. Our theoretical study is based on the formulation of Lagrangian variational analysis with a suitable ansatz followed by a split-step Fourier method in confirming the outcomes former numerically. A particular emphasis is given to obtain the conditions on the system parameters for stable dynamics in negative as well as positive index regimes of metamaterial waveguides. Similar to the conventional medium, the three-dimensional (3D) light bullets are highly unstable in metamaterials with the Kerr type nonlinearity alone. However, in the negative index regime of metamaterials, stable propagation of light bullets may occur in the normal dispersion regime balancing with defocusing cubic nonlinearity and focusing quintic nonlinearity. As in the conventional case, the stable dynamics is also observed in the case of anomalous dispersion with focusing cubic nonlinearity and defocusing quintic nonlinearity in the positive index regime. To test the solitonic nature of the 3D light bullets in the metamaterials, we also numerically investigate the collision dynamics of two light bullets. The study shows that the spatio-temporal soliton propagates without any change except perhaps some phase shift after a collision with another spatio-temporal soliton in competing cubic and quintic nonlinear metamaterials. The improper balancing between the linear and nonlinear effects results to form the bullet molecules in a distorted form with a large amount of energy after interaction and in the long run, oscillations of the light bullets grow and the bullets become filaments. We have observed the same collision dynamics in both the negative and positive refractive index regimes of the metamaterial.


title: String topology in three flavours

abstract: We describe two major string topology operations, the Chas-Sullivan product and the Goresky-Hingston coproduct, from geometric and algebraic perspectives. The geometric construction uses Thom-Pontrjagin intersection theory while the algebraic construction is phrased in terms of Hochschild homology. We give computations of products and coproducts on lens spaces via geometric intersection, and deduce that the coproduct distinguishes 3-dimensional lens spaces. Algebraically, we describe the structure these operations define together on the Tate-Hochschild complex. We use rational homotopy theory methods to sketch the equivalence between the geometric and algebraic definitions for simply connected manifolds and real coefficients, emphasizing the role of configuration spaces. Finally, we study invariance properties of the operations, both algebraically and geometrically.


title: Characterizing Renal Structures with 3D Block Aggregate Transformers

abstract: Efficiently quantifying renal structures can provide distinct spatial context and facilitate biomarker discovery for kidney morphology. However, the development and evaluation of the transformer model to segment the renal cortex, medulla, and collecting system remains challenging due to data inefficiency. Inspired by the hierarchical structures in vision transformer, we propose a novel method using a 3D block aggregation transformer for segmenting kidney components on contrast-enhanced CT scans. We construct the first cohort of renal substructures segmentation dataset with 116 subjects under institutional review board (IRB) approval. Our method yields the state-of-the-art performance (Dice of 0.8467) against the baseline approach of 0.8308 with the data-efficient design. The Pearson R achieves 0.9891 between the proposed method and manual standards and indicates the strong correlation and reproducibility for volumetric analysis. We extend the proposed method to the public KiTS dataset, the method leads to improved accuracy compared to transformer-based approaches. We show that the 3D block aggregation transformer can achieve local communication between sequence representations without modifying self-attention, and it can serve as an accurate and efficient quantification tool for characterizing renal structures.


title: Rethinking Efficient Lane Detection via Curve Modeling

abstract: This paper presents a novel parametric curve-based method for lane detection in RGB images. Unlike state-of-the-art segmentation-based and point detection-based methods that typically require heuristics to either decode predictions or formulate a large sum of anchors, the curve-based methods can learn holistic lane representations naturally. To handle the optimization difficulties of existing polynomial curve methods, we propose to exploit the parametric B\'ezier curve due to its ease of computation, stability, and high freedom degrees of transformations. In addition, we propose the deformable convolution-based feature flip fusion, for exploiting the symmetry properties of lanes in driving scenes. The proposed method achieves a new state-of-the-art performance on the popular LLAMAS benchmark. It also achieves favorable accuracy on the TuSimple and CULane datasets, while retaining both low latency (> 150 FPS) and small model size (< 10M). Our method can serve as a new baseline, to shed the light on the parametric curves modeling for lane detection. Codes of our model and PytorchAutoDrive: a unified framework for self-driving perception, are available at: https://github.com/voldemortX/pytorch-auto-drive .


title: Improving \textit{Tug-of-War} sketch using Control-Variates method

abstract: Computing space-efficient summary, or \textit{a.k.a. sketches}, of large data, is a central problem in the streaming algorithm. Such sketches are used to answer \textit{post-hoc} queries in several data analytics tasks. The algorithm for computing sketches typically requires to be fast, accurate, and space-efficient. A fundamental problem in the streaming algorithm framework is that of computing the frequency moments of data streams. The frequency moments of a sequence containing $f_i$ elements of type $i$, are the numbers $\mathbf{F}_k=\sum_{i=1}^n {f_i}^k,$ where $i\in [n]$. This is also called as $\ell_k$ norm of the frequency vector $(f_1, f_2, \ldots f_n).$ Another important problem is to compute the similarity between two data streams by computing the inner product of the corresponding frequency vectors. The seminal work of Alon, Matias, and Szegedy~\cite{AMS}, \textit{a.k.a. Tug-of-war} (or AMS) sketch gives a randomized sublinear space (and linear time) algorithm for computing the frequency moments, and the inner product between two frequency vectors corresponding to the data streams. However, the variance of these estimates typically tends to be large. In this work, we focus on minimizing the variance of these estimates. We use the techniques from the classical Control-Variate method~\cite{Lavenberg} which is primarily known for variance reduction in Monte-Carlo simulations, and as a result, we are able to obtain significant variance reduction, at the cost of a little computational overhead. We present a theoretical analysis of our proposal and complement it with supporting experiments on synthetic as well as real-world datasets.


title: The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights

abstract: Combinatorial optimization is a well-established area in operations research and computer science. Until recently, its methods have focused on solving problem instances in isolation, ignoring that they often stem from related data distributions in practice. However, recent years have seen a surge of interest in using machine learning as a new approach for solving combinatorial problems, either directly as solvers or by enhancing exact solvers. Based on this context, the ML4CO aims at improving state-of-the-art combinatorial optimization solvers by replacing key heuristic components. The competition featured three challenging tasks: finding the best feasible solution, producing the tightest optimality certificate, and giving an appropriate solver configuration. Three realistic datasets were considered: balanced item placement, workload apportionment, and maritime inventory routing. This last dataset was kept anonymous for the contestants.


title: A Comprehensive Analysis of WASP-17b's Transmission Spectrum from Space-Based Observations

abstract: Due to its 1770 K equilibrium temperature, WASP-17b, a 1.99 $R_\mathrm{Jup}$, 0.486 $M_\mathrm{Jup}$ exoplanet, sits at the critical juncture between hot and ultra-hot Jupiters. We present its 0.3-5 $\mu m$ transmission spectrum, with newly obtained with Hubble Space Telescope (HST) Wide Field Camera 3 (WFC3) measurements, and, taking advantage of improved analysis techniques, reanalysed HST Space Telescope Imaging Spectrograph (STIS) and Spitzer Space Telescope Infrared Array Camera (IRAC) observations. We achieve a median precision of 132 ppm, with a mean of 272 ppm across the whole spectrum. We additionally make use of Transiting Exoplanet Survey Satellite (TESS) and ground-based transit observations to refine the orbital period of WASP-17b. To interpret the observed atmosphere, we make use of free and equilibrium chemistry retrievals using the POSEIDON and ATMO retrieval codes respectively. We detect absorption due to H$_2$O at $>7 \sigma$, and find evidence of absorption due to CO$_2$ at $>3 \sigma$. We see no evidence of previously detected Na and K absorption. Across an extensive suite of retrieval configurations, we find the data favours a bimodal solution with high or low metallicity modes as a result of poor constraints in the optical, and demonstrate the importance of using multiple statistics for model selection. Future James Webb Space Telescope (JWST) GTO observations, combined with the presented transmission spectrum, will enable precise constraints on WASP-17b's atmosphere.


title: Open FJRW Theory and Mirror Symmetry

abstract: We construct an open enumerative theory for the Landau-Ginzburg (LG) model $(\mathbb{C}^2, \mu_r\times \mu_s, x^r+y^s)$. The invariants are defined as integrals of multisections of a Witten bundle with descendents over a moduli space that is a real orbifold with corners. In turn, a generating function for these open invariants yields the mirror LG model and a versal deformation of it with flat coordinates. After establishing an open topological recursion result, we prove an LG/LG open mirror symmetry theorem in dimension two with all descendents. The open invariants we define are not unique but depend on boundary conditions that, when altered, exhibit wall-crossing phenomena for the invariants. We describe an LG wall-crossing group classifying the wall-crossing transformations that can occur.


title: Bending the rules of low-temperature thermometry with periodic driving

abstract: There exist severe limitations on the accuracy of low-temperature thermometry, which poses a major challenge for future quantum-technological applications. Low-temperature sensitivity might be manipulated by tailoring the interactions between probe and sample. Unfortunately, the tunability of these interactions is usually very restricted. Here, we focus on a more practical solution to boost thermometric precision -- driving the probe. Specifically, we solve for the limit cycle of a periodically modulated linear probe in an equilibrium sample. We treat the probe-sample interactions \textit{exactly} and hence, our results are valid for arbitrarily low temperatures $ T $ and any spectral density. We find that weak near-resonant modulation strongly enhances the signal-to-noise ratio of low-temperature measurements, while causing minimal back action on the sample. Furthermore, we show that near-resonant driving changes the power law that governs thermal sensitivity over a broad range of temperatures, thus `bending' the fundamental precision limits and enabling more sensitive low-temperature thermometry. We then focus on a concrete example -- impurity thermometry in an atomic condensate. We demonstrate that periodic driving allows for a sensitivity improvement of several orders of magnitude in sub-nanokelvin temperature estimates drawn from the density profile of the impurity atoms. We thus provide a feasible upgrade that can be easily integrated into low-$T$ thermometry experiments.


title: One-to-one correspondence between thermal structure factors and coupling constants of general bilinear Hamiltonians

abstract: A theorem that establishes a one-to-one relation between zero-temperature static spin-spin correlators and coupling constants for a general class of quantum spin Hamiltonians bilinear in the spin operators has been recently established by J. Quintanilla, using an argument in the spirit of the Hohenberg-Kohn theorem in density functional theory. Quintanilla's theorem gives a firm theoretical foundation to quantum spin Hamiltonian learning using spin structure factors as input data. Here we extend the validity of the theorem in two directions. First, following the same approach as Mermin, the proof is extended to the case of finite-temperature spin structure factors, thus ensuring that the application of this theorem to experimental data is sound. Second, we note that this theorem applies to all types of Hamiltonians expressed as sums of bilinear operators, so that it can also relate the density-density correlators to the Coulomb matrix elements for interacting electrons in the lowest Landau level.


title: Distinct excitatory and inhibitory bump wandering in a stochastic neural field

abstract: Localized persistent cortical neural activity is a validated neural substrate of parametric working memory. Such activity `bumps' represent the continuous location of a cue over several seconds. Pyramidal (excitatory) and interneuronal (inhibitory) subpopulations exhibit tuned bumps of activity, linking neural dynamics to behavioral inaccuracies observed in memory recall. However, many bump attractor models collapse these subpopulations into a single joint excitatory/inhibitory (lateral inhibitory) population, and do not consider the role of interpopulation neural architecture and noise correlations. Both factors have a high potential to impinge upon the stochastic dynamics of these bumps, ultimately shaping behavioral response variance. In our study, we consider a neural field model with separate excitatory/inhibitory (E/I) populations and leverage asymptotic analysis to derive a nonlinear Langevin system describing E/I bump interactions. While the E bump attracts the I bump, the I bump stabilizes but can also repel the E bump, which can result in prolonged relaxation dynamics when both bumps are perturbed. Furthermore, the structure of noise correlations within and between subpopulations strongly shapes the variance in bump position. Surprisingly, higher interpopulation correlations reduce variance.


title: Comparing Generator Unavailability Models with Empirical Distributions from Open Energy Datasets

abstract: The modelling of power station outages is an integral part of power system planning. In this work, models of the unavailability of the fleets of eight countries in Northwest Europe are constructed and subsequently compared against empirical distributions derived using data from the open-access ENTSO-e Transparency Platform. Summary statistics of non-sequential models highlight limitations with the empirical modelling, with very variable results across countries. Additionally, analysis of time sequential models suggests a clear need for fleet-specific analytic model parameters. Despite a number of challenges and ambiguities associated with the empirical distributions, it is suggested that a range of valuable qualitative and quantitative insights can be gained by comparing these two complementary approaches for modelling and understanding generator unavailabilities.


title: Properties of the Be-type stars in 30 Doradus

abstract: The evolutionary status of Be-type stars remains unclear, with both single-star and binary pathways having been proposed. Here, VFTS spectroscopy of 73 Be-type stars, in the spectral-type range, B0--B3, is analysed to estimate projected rotational velocities, radial velocities and stellar parameters. They are found to be rotating faster than the corresponding VFTS B-type sample but simulations imply that their projected rotational velocities are inconsistent with them all rotating at near critical velocities. The de-convolution of the projected rotational velocities estimates leads to a mean rotational velocity estimate of 320-350 km/s, approximately 100 km/s larger than that for the corresponding B-type sample. There is a dearth of targets with rotational velocities less than 0.4 of the critical velocity, with a broad distribution reaching up to critical rotation. Our best estimate for the mean or median of the rotational velocitiy is 0.68 of the critical velocity. Rapidly-rotating B-type stars are more numerous than their Be-type counterparts, whilst the observed frequency of Be-type stars identified as binary systems is significantly lower than that for normal B-type stars, consistent with their respective radial-velocity dispersions. The semi-amplitudes for the Be-type binaries are also smaller. Similar results are found for a SMC Be-type sample centred on NGC346 with no significant differences being found between the two samples. These results are compared with the predictions of single and binary stellar evolutionary models for Be-type stars. Assuming that a single mechanism dominated the production of classical Be-type stars, our comparison would favour a binary evolutionary history.


title: MISSILES: an Efficient Resolution of the Co-simulation Coupling Constraint on Nearly Linear Differential Systems through a Global Linear Formulation

abstract: In a co-simulation context, interconnected systems of differential equations are solved separately but they regularly communicate data to one another during these resolutions. Iterative co-simulation methods have been developed in order to enhance both stability and accuracy. Such methods imply that the systems must integrate one or more times per co-simulation step (the interval between two consecutive communications) in order to find the best satisfying interface values for exchanged data (according to a given coupling constraint). This requires that every system involved in the modular model is capable of rollback: the ability to re-integrate a time interval that has already been integrated with different input commands. In a paper previously introduced by Eguillon et al. in 2022, the COSTARICA process is presented and consists in replacing the non-rollback-capable systems by an estimator on the non-last integrations of the iterative process. The MISSILES algorithm, introduced in this paper, consists in applying the COSTARICA process on every system of a modular model simulated with the IFOSMONDI-JFM iterative co-simulation method (introduced by Eguillon et al. in 2021). Indeed, in this case, the iterative part on the estimators of each system can be avoided as the global resolution on a co-simulation step can be written as a single global linear system to solve. Consequently, MISSILES is a non-iterative method that leads to the same solution than the IFOSMONDI-JFM iterative co-simulation method applied to systems using the COSTARICA process to emulate the rollback.


title: Counterexamples to uniqueness in the inverse fractional conductivity problem with partial data

abstract: We construct counterexamples for the partial data inverse problem for the fractional conductivity equation in all dimensions on general bounded open sets. In particular, we show that for any bounded domain $\Omega \subset \mathbb{R}^n$ and any disjoint open sets $W_1,W_2 \Subset \mathbb{R}^n \setminus \bar{\Omega}$ there always exist two positive, bounded, smooth, conductivities $\gamma_1,\gamma_2$, $\gamma_1 \neq \gamma_2$, with equal partial exterior Dirichlet-to-Neumann maps $\Lambda_{\gamma_1}f|_{W_2} = \Lambda_{\gamma_2}f|_{W_2}$ for all $f \in C_c^\infty(W_1)$. The proof uses the characterization of equal exterior data from another work of the authors in combination with the maximum principle of fractional Laplacians. The main technical difficulty arises from the requirement that the conductivities should be strictly positive and have a special regularity property $\gamma_i^{1/2}-1 \in H^{2s,\frac{n}{2s}}(\mathbb{R}^n)$ for $i=1,2$. We also provide counterexamples on domains that are bounded in one direction when $n \geq 4$ or $s \in (0,n/4]$ when $n=2,3$ using a modification of the argument on bounded domains.


title: Cyclic products and optimal traps in cyclic birth and death chains

abstract: A birth-death chain is a discrete-time Markov chain on the integers whose transition probabilities $p_{i,j}$ are non-zero if and only if $|i-j|=1$. We consider birth-death chains whose birth probabilities $p_{i,i+1}$ form a periodic sequence, so that $p_{i,i+1}=p_{i \mod m}$ for some $m$ and $p_0,\ldots,p_{m-1}$. The trajectory $(X_n)_{n=0,1,\ldots}$ of such a chain satisfies a strong law of large numbers and a central limit theorem. We study the effect of reordering the probabilities $p_0,\ldots,p_{m-1}$ on the velocity $v=\lim_{n\to\infty} X_n/n$. The sign of $v$ is not affected by reordering, but its magnitude in general is. We show that for Lebesgue almost every choice of $(p_0,\ldots,p_{m-1})$, exactly $(m-1)!/2$ distinct speeds can be obtained by reordering. We make an explicit conjecture of the ordering that minimises the speed, and prove it for all $m\leq 7$. This conjecture is implied by a purely combinatorial conjecture that we think is of independent interest.


title: Symmetry enhanced variational quantum spin eigensolver

abstract: The variational quantum-classical algorithms are the most promising approach for achieving quantum advantage on near-term quantum simulators. Among these methods, the variational quantum eigensolver has attracted a lot of attention in recent years. While it is very effective for simulating the ground state of many-body systems, its generalization to excited states becomes very resource demanding. Here, we show that this issue can significantly be improved by exploiting the symmetries of the Hamiltonian. The improvement is even more effective for higher energy eigenstates. We introduce two methods for incorporating the symmetries. In the first approach, called hardware symmetry preserving, all the symmetries are included in the design of the circuit. In the second approach, the cost function is updated to include the symmetries. The hardware symmetry preserving approach indeed outperforms the second approach. However, integrating all symmetries in the design of the circuit could be extremely challenging. Therefore, we introduce hybrid symmetry preserving method in which symmetries are divided between the circuit and the classical cost function. This allows to harness the advantage of symmetries while preventing sophisticated circuit design.


title: SFPN: Synthetic FPN for Object Detection

abstract: FPN (Feature Pyramid Network) has become a basic component of most SoTA one stage object detectors. Many previous studies have repeatedly proved that FPN can caputre better multi-scale feature maps to more precisely describe objects if they are with different sizes. However, for most backbones such VGG, ResNet, or DenseNet, the feature maps at each layer are downsized to their quarters due to the pooling operation or convolutions with stride 2. The gap of down-scaling-by-2 is large and makes its FPN not fuse the features smoothly. This paper proposes a new SFPN (Synthetic Fusion Pyramid Network) arichtecture which creates various synthetic layers between layers of the original FPN to enhance the accuracy of light-weight CNN backones to extract objects' visual features more accurately. Finally, experiments prove the SFPN architecture outperforms either the large backbone VGG16, ResNet50 or light-weight backbones such as MobilenetV2 based on AP score.


title: AutoMap: Automatic Medical Code Mapping for Clinical Prediction Model Deployment

abstract: Given a deep learning model trained on data from a source site, how to deploy the model to a target hospital automatically? How to accommodate heterogeneous medical coding systems across different hospitals? Standard approaches rely on existing medical code mapping tools, which have significant practical limitations. To tackle this problem, we propose AutoMap to automatically map the medical codes across different EHR systems in a coarse-to-fine manner: (1) Ontology-level Alignment: We leverage the ontology structure to learn a coarse alignment between the source and target medical coding systems; (2) Code-level Refinement: We refine the alignment at a fine-grained code level for the downstream tasks using a teacher-student framework. We evaluate AutoMap using several deep learning models with two real-world EHR datasets: eICU and MIMIC-III. Results show that AutoMap achieves relative improvements up to 3.9% (AUC-ROC) and 8.7% (AUC-PR) for mortality prediction, and up to 4.7% (AUC-ROC) and 3.7% (F1) for length-of-stay estimation. Further, we show that AutoMap can provide accurate mapping across coding systems. Lastly, we demonstrate that AutoMap can adapt to the two challenging scenarios: (1) mapping between completely different coding systems and (2) between completely different hospitals.


title: The coherent Ising machine with quantum feedback: the total and conditional master equation methods

abstract: We give a detailed theoretical derivation of the quantum master equation for the coherent Ising machine. This is a quantum computational network with feedback, that solves NP hard combinatoric problems, including the traveling salesman problem and various extensions and analogs. There are two types of master equation that are obtained, either conditional on the feedback current or unconditional. We show that both types can be accurately simulated in a scalable way using stochastic equations in the positive-P phase-space representation. This depends on the nonlinearity present, and we use parameter values that are typical of current experiments. However, while the two approaches are in excellent agreement, they are not equivalent with regard to efficiency. We find that unconditional simulation has much greater efficiency, and is scalable to larger sizes. This is a case where too much knowledge is a dangerous thing. Conditioning the simulations on the feedback current is not essential to determining the success probability, but it greatly increases the computational complexity. To illustrate the speed improvements obtained with the unconditional approach, we carry out full quantum simulations of the quantum master equation with up to 1000 nodes.


title: Reflection-enhanced gain in traveling-wave parametric amplifiers

abstract: The operating principle of traveling-wave parametric amplifiers is typically understood in terms of the standard coupled mode theory, which describes the evolution of forward propagating waves without any reflections, i.e. for perfect impedance matching. However, in practice, superconducting microwave amplifiers are unmatched nonlinear finite-length devices, where the reflecting waves undergo complex parametric processes, not described by the standard coupled mode theory. Here, we present an analytical solution for the TWPA gain, which includes the interaction of reflected waves. These reflections result in corrections to the well-known results of the standard coupled mode theory, which are obtained for both 3-wave and 4-wave mixing processes. Due to these reflections, gain is enhanced and unwanted nonlinear phase modulations are suppressed. Predictions of the model are experimentally demonstrated on two types of unmatched TWPA, based on coplanar waveguides with a central wire consisting of i) a high kinetic inductance superconductor, and ii) an array of 2000 Josephson junctions.


title: Cumulant methods for electron-phonon problems. I. Perturbative expansions

abstract: In this work we investigate the ability of the cumulant expansion (CE) to capture one-particle spectral information in electron-phonon coupled systems at both zero and finite temperatures. In particular, we present a comprehensive study of the second- and fourth-order CE for the one-dimensional Holstein model as compared with numerically exact methods. We investigate both finite sized systems as well as the approach to the thermodynamic limit, drawing distinctions and connections between the behavior of systems in and away from the thermodynamic limit that enable a greater understanding of the ability of the CE to capture real-frequency information across the full range of wave vectors. We find that for zero electronic momentum, the spectral function is well described by the second-order CE at low and high temperatures. However, for non-zero electronic momenta, the CE is only accurate at high temperature. We analyze the fourth-order cumulant, and find that while it improves the description of the short-time dynamics encoded in the one-particle Green's function, it can introduce divergences in the time domain as well as unphysical negative spectral weight in the spectral function. When well-behaved, the fourth-order CE does provide notable accurate corrections to the second-order CE. Finally, we use our results to comment on the use of the CE as a tool for calculating transport behavior in the realistic ab initio modeling of materials.


title: Cumulant methods for electron-phonon problems. II. The self-consistent cumulant expansion

abstract: In this work we present a self-consistent cumulant expansion (SC-CE) and investigate its accuracy for the one-dimensional Holstein model with and without phonon dispersion. We show that for finite lattices sizes, the numerical integration of the SC-CE equations becomes unstable at long times. This defect is partially ameliorated when studying systems in the thermodynamic limit, enabling the demonstration that the SC-CE corrects many deficits of the standard perturbative CE in the (non-dispersive) Holstein model. The natural phonon damping that arises in the more realistic dispersed Holstein model renders the SC-CE stable, allowing for a complete assessment of the method. Here we find that self-consistency dramatically corrects many of the failures found in the perturbative CE, but also introduces some unphysical features. Finally, we comment on the potential use of SC-CE as a tool for calculating Green's functions in generic many-body problems.


title: Mott Quantum Critical Points at finite doping

abstract: Strongly correlated materials often undergo a Mott metal-insulator transition, which is tipically first-order, as a function of control parameters like pressure. Upon doping, rich phase diagrams with competing instabilities are found. Yet, the conceptual link between the interaction-driven Mott transition and the finite-doping behavior lacks a clear connection with the theory of critical phenomena. In a prototypical case of a first-order Mott transition the surface associated with the equation of state for the homogeneous system is "folded" so that in a range of parameters stable metallic and insulating phases exist and are connected by an unstable metallic branch. Here we show that tuning the chemical potential the zero-temperature equation of state gradually unfolds. Under general conditions, we find that the Mott transition evolves into a first-order transition between two metals, associated to a phase separation region ending in a quantum critical point (QCP) at finite doping. This scenario is here demonstrated solving a simple multi-orbital Hubbard model relevant for the Iron-based superconductors, but its origin - the splitting of the atomic ground state multiplet by a small energy scale, here Hund's coupling - is much more general. A strong analogy with cuprate superconductors is traced.


title: Contextformer: A Transformer with Spatio-Channel Attention for Context Modeling in Learned Image Compression

abstract: Entropy modeling is a key component for high-performance image compression algorithms. Recent developments in autoregressive context modeling helped learning-based methods to surpass their classical counterparts. However, the performance of those models can be further improved due to the underexploited spatio-channel dependencies in latent space, and the suboptimal implementation of context adaptivity. Inspired by the adaptive characteristics of the transformers, we propose a transformer-based context model, named Contextformer, which generalizes the de facto standard attention mechanism to spatio-channel attention. We replace the context model of a modern compression framework with the Contextformer and test it on the widely used Kodak, CLIC2020, and Tecnick image datasets. Our experimental results show that the proposed model provides up to 11% rate savings compared to the standard Versatile Video Coding (VVC) Test Model (VTM) 16.2, and outperforms various learning-based models in terms of PSNR and MS-SSIM.


title: Real-Time Hybrid Mapping of Populated Indoor Scenes using a Low-Cost Monocular UAV

abstract: Unmanned aerial vehicles (UAVs) have been used for many applications in recent years, from urban search and rescue, to agricultural surveying, to autonomous underground mine exploration. However, deploying UAVs in tight, indoor spaces, especially close to humans, remains a challenge. One solution, when limited payload is required, is to use micro-UAVs, which pose less risk to humans and typically cost less to replace after a crash. However, micro-UAVs can only carry a limited sensor suite, e.g. a monocular camera instead of a stereo pair or LiDAR, complicating tasks like dense mapping and markerless multi-person 3D human pose estimation, which are needed to operate in tight environments around people. Monocular approaches to such tasks exist, and dense monocular mapping approaches have been successfully deployed for UAV applications. However, despite many recent works on both marker-based and markerless multi-UAV single-person motion capture, markerless single-camera multi-person 3D human pose estimation remains a much earlier-stage technology, and we are not aware of existing attempts to deploy it in an aerial context. In this paper, we present what is thus, to our knowledge, the first system to perform simultaneous mapping and multi-person 3D human pose estimation from a monocular camera mounted on a single UAV. In particular, we show how to loosely couple state-of-the-art monocular depth estimation and monocular 3D human pose estimation approaches to reconstruct a hybrid map of a populated indoor scene in real time. We validate our component-level design choices via extensive experiments on the large-scale ScanNet and GTA-IM datasets. To evaluate our system-level performance, we also construct a new Oxford Hybrid Mapping dataset of populated indoor scenes.


title: Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron

abstract: We consider the large polaron described by the Fr\"ohlich Hamiltonian and study its energy-momentum relation defined as the lowest possible energy as a function of the total momentum. Using a suitable family of trial states, we derive an optimal parabolic upper bound for the energy-momentum relation in the limit of strong coupling. The upper bound consists of a momentum independent term that agrees with the predicted two-term expansion for the ground state energy of the strongly coupled polaron at rest, and a term that is quadratic in the momentum with coefficient given by the inverse of twice the classical effective mass introduced by Landau and Pekar.


title: On the rank of the distance matrix of graphs

abstract: Let $G$ be a connected graph with $V(G)=\{v_1,\ldots,v_n\}$. The $(i,j)$-entry of the distance matrix $D(G)$ of $G$ is the distance between $v_i$ and $v_j$. In this article, using the well-known Ramsey's theorem, we prove that for each integer $k\ge 2$, there is a finite amount of graphs whose distance matrices have rank $k$. We exhibit the list of graphs with distance matrices of rank $2$ and $3$. Besides, we study the rank of the distance matrices of graphs belonging to a family of graphs with their diameters at most two, the trivially perfect graphs. We show that for each $\eta\ge 1$ there exists a trivially perfect graph with nullity $\eta$. We also show that for threshold graphs, which are a subfamily of the family of trivially perfect graphs, the nullity is bounded by one.


title: Effect of magnetic field on fermions in graphene through time-oscillating potential

abstract: We study the effect of a magnetic field on Dirac fermions in graphene subject to a scalar potential oscillating in time. Using the Floquet theory and resonance approximation, we show that the energy spectrum exhibits extra subbands resulted from the oscillating potential in addition to quantized Landau levels. It is found that a current density can be generated in $ x $ and $ y $-directions that is strongly dependent on the magnetic field and potential. Our numerical analysis show that the energy spectrum possesses a symmetry and the current density oscillates with different amplitudes under various conditions.


title: The Arithmetic-Periodicity of \textsc{cut} for $\mathcal{C}=\{1,2c\}$

abstract: \textsc{cut} is a class of partition games played on a finite number of finite piles of tokens. Each version of \textsc{cut} is specified by a cut-set $\mathcal{C}\subseteq\mathbb{N}$. A legal move consists of selecting one of the piles and partitioning it into $d+1$ nonempty piles, where $d\in\mathcal{C}$. No tokens are removed from the game. It turns out that the nim-set for any $\mathcal{C}=\{1,2c\}$ with $c\geq 2$ is arithmetic-periodic, which answers an open question of \cite{par}. The key step is to show that there is a correspondence between the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,6\}$ and the nim-sets of \textsc{cut} for $\mathcal{C}=\{1,2c\}, c\geq 4$. The result easily extends to the case of $\mathcal{C} = \{1, 2c_1, 2c_2, 2c_3, ...\}$, where $c_1,c_2, ... \geq 2$.


title: Comprehension of Subtitles from Re-Translating Simultaneous Speech Translation

abstract: In simultaneous speech translation, one can vary the size of the output window, system latency and sometimes the allowed level of rewriting. The effect of these properties on readability and comprehensibility has not been tested with modern neural translation systems. In this work, we propose an evaluation method and investigate the effects on comprehension and user preferences. It is a pilot study with 14 users on 2 hours of German documentaries or speeches with online translations into Czech. We collect continuous feedback and answers on factual questions. Our results show that the subtitling layout or flicker have a little effect on comprehension, in contrast to machine translation itself and individual competence. Other results show that users with a limited knowledge of the source language have different preferences to stability and latency than the users with zero knowledge. The results are statistically insignificant, however, we show that our method works and can be reproduced in larger volume.


title: From Simultaneous to Streaming Machine Translation by Leveraging Streaming History

abstract: Simultaneous Machine Translation is the task of incrementally translating an input sentence before it is fully available. Currently, simultaneous translation is carried out by translating each sentence independently of the previously translated text. More generally, Streaming MT can be understood as an extension of Simultaneous MT to the incremental translation of a continuous input text stream. In this work, a state-of-the-art simultaneous sentence-level MT system is extended to the streaming setup by leveraging the streaming history. Extensive empirical results are reported on IWSLT Translation Tasks, showing that leveraging the streaming history leads to significant quality gains. In particular, the proposed system proves to compare favorably to the best performing systems.


title: Error Distribution Of The Euler Approximation Scheme For Stochastic Volterra Integral Equations

abstract: The purpose of this paper is to establish the convergence in distribution of the normalized error in the Euler approximation scheme for stochastic Volterra equations driven by a standard Brownian motion, with a kernel of the form $(t-s)^\alpha$, where $\alpha \in (-\frac 12, \frac 12)$.


title: A Theory of Composing Protocols

abstract: In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online service. Ensuring conformance to protocols avoids a significant class of software errors. Subsequently, there has been a lot of work on verifying code against formal protocol specifications. The pervading approaches focus on distributed settings involving parallel composition of processes within a single monolithic protocol description. However we observe that, at the level of a single thread/process, modern software must often implement a number of clearly delineated protocols at the same time which become dependent on each other, e.g., a banking API and one or more authentication protocols. Rather than plugging together modular protocol-following components, the code must re-integrate multiple protocols into a single component. We address this concern of combining protocols via a novel notion of 'interleaving' composition for protocols described via a process algebra. User-specified, domain-specific constraints can be inserted into the individual protocols to serve as 'contact points' to guide this composition procedure, which outputs a single combined protocol that can be programmed against. Our approach allows an engineer to then program against a number of protocols that have been composed (re-integrated), reflecting the true nature of applications that must handle multiple protocols at once. We prove various desirable properties of the composition, including behaviour preservation: that the composed protocol implements the behaviour of both component protocols. We demonstrate our approach in the practical setting of Erlang, with a tool implementing protocol composition that both generates Erlang code from a protocol and generates a protocol from Erlang code. This tool shows that, for a range of sample protocols (including real-world examples), a modest set of constraints can be inserted to produce a small number of candidate compositions to choose from. As we increasingly build software interacting with many programs and subsystems, this new perspective gives a foundation for improving software quality via protocol conformance in a multi-protocol setting.


title: Algebraic models for classifying spaces of fibrations

abstract: We prove new structural results for the rational homotopy type of the classifying space $B\operatorname{aut}(X)$ of fibrations with fiber a simply connected finite CW-complex $X$. We first study nilpotent covers of $B\operatorname{aut}(X)$ and show that their rational cohomology groups are algebraic representations of the associated transformation groups. For the universal cover, this yields an extension of the Sullivan-Wilkerson theorem to higher homotopy and cohomology groups. For the cover corresponding to the kernel of the homology representation, this proves algebraicity of the cohomology of the homotopy Torelli space. For the cover that classifies what we call normal unipotent fibrations, we then prove the stronger result that there exists a nilpotent dg Lie algebra $\mathfrak{g}(X)$ in algebraic representations that models its equivariant rational homotopy type. This leads to an algebraic model for the space $B\operatorname{aut}(X)$ and to a description of its rational cohomology ring as the cohomology of a certain arithmetic group $\Gamma(X)$ with coefficients in the Chevalley-Eilenberg cohomology of $\mathfrak{g}(X)$. This has strong structural consequences for the cohomology ring and, in certain cases, allows it to be completely determined using invariant theory and calculations with modular forms. We illustrate these points with concrete examples. As another application, we significantly improve on certain results of Berglund-Madsen on self-homotopy equivalences of highly connected even-dimensional manifolds, and we prove parallel new results in odd dimensions.


title: Essential ideals represented by mod-annihilators of modules

abstract: Let $R$ be a commutative ring with unity, $M$ be a unitary $R$-module and $G$ a finite abelian group (viewed as a $\mathbb{Z}$-module). The main objective of this paper is to study properties of mod-annihilators of $M$. For $x \in M$, we study the ideals $[x : M] =\{r\in R | rM\subseteq Rx\}$ of $R$ corresponding to mod-annihilator of $M$. We investigate that when $[x : M]$ is an essential ideal of $R$. We prove that arbitrary intersection of essential ideals represented by mod-annihilators is an essential ideal. We observe that $[x : M]$ is injective if and only if $R$ is non-singular and the radical of $R/[x : M]$ is zero. Moreover, if essential socle of $M$ is non-zero, then we show that $[x : M]$ is the intersection of maximal ideals and $[x : M]^2 = [x : M]$. Finally, we discuss the correspondence of essential ideals of $R$ and vertices of the annihilating graphs realized by $M$ over $R$.


title: Surviving The Barren Plateau in Variational Quantum Circuits with Bayesian Learning Initialization

abstract: Variational quantum-classical hybrid algorithms are seen as a promising strategy for solving practical problems on quantum computers in the near term. While this approach reduces the number of qubits and operations required from the quantum machine, it places a heavy load on a classical optimizer. While often under-appreciated, the latter is a computationally hard task due to the barren plateau phenomenon in parameterized quantum circuits. The absence of guiding features like gradients renders conventional optimization strategies ineffective as the number of qubits increases. Here, we introduce the fast-and-slow algorithm, which uses Bayesian Learning to identify a promising region in parameter space. This is used to initialize a fast local optimizer to find the global optimum point efficiently. We illustrate the effectiveness of this method on the Bars-and-Stripes (BAS) quantum generative model, which has been studied on several quantum hardware platforms. Our results move variational quantum algorithms closer to their envisioned applications in quantum chemistry, combinatorial optimization, and quantum simulation problems.


title: Low-order preconditioning for the high-order finite element de Rham complex

abstract: In this paper we present a unified framework for constructing spectrally equivalent low-order-refined discretizations for the high-order finite element de Rham complex. This theory covers diffusion problems in $H^1$, $H({\rm curl})$, and $H({\rm div})$, and is based on combining a low-order discretization posed on a refined mesh with a high-order basis for N\'ed\'elec and Raviart-Thomas elements that makes use of the concept of polynomial histopolation (polynomial fitting using prescribed mean values over certain regions). This spectral equivalence, coupled with algebraic multigrid methods constructed using the low-order discretization, results in highly scalable matrix-free preconditioners for high-order finite element problems in the full de Rham complex. Additionally, a new lowest-order (piecewise constant) preconditioner is developed for high-order interior penalty discontinuous Galerkin (DG) discretizations, for which spectral equivalence results and convergence proofs for algebraic multigrid methods are provided. In all cases, the spectral equivalence results are independent of polynomial degree and mesh size; for DG methods, they are also independent of the penalty parameter. These new solvers are flexible and easy to use; any "black-box" preconditioner for low-order problems can be used to create an effective and efficient preconditioner for the corresponding high-order problem. A number of numerical experiments are presented, based on an implmentation in the finite element library MFEM. The theoretical properties of these preconditioners are corroborated, and the flexibility and scalability of the method are demonstrated on a range of challenging three-dimensional problems.


title: Social Opinion Formation and Decision Making Under Communication Trends

abstract: This work studies the learning process over social networks under partial and random information sharing. In traditional social learning models, agents exchange full belief information with each other while trying to infer the true state of nature. We study the case where agents share information about only one hypothesis, namely, the trending topic, which can be randomly changing at every iteration. We show that agents can learn the true hypothesis even if they do not discuss it, at rates comparable to traditional social learning. We also show that using one's own belief as a prior for estimating the neighbors' non-transmitted beliefs might create opinion clusters that prevent learning with full confidence. This phenomenon occurs when a single hypothesis corresponding to the truth is exchanged exclusively during all times. Such a practice, however, avoids the complete rejection of the truth under any information exchange procedure -- something that could happen if priors were uniform.


title: Constant-roll, cosmic acceleration, and massive neutrinos

abstract: We propose a model to describe the late-time cosmic acceleration in the context of the constant-roll model. By considering a coupling between massive neutrinos and the quintessence, the onset of evolution of the quintessence is related to the neutrinos' behavior. When the neutrinos become non-relativistic, the dark energy density increases from zero and results in late-time cosmic acceleration alleviating the coincidence problem. The quintessence potential is such that it evolves under the constant-roll condition giving rise to persistent late-time acceleration.


title: Symbolic State Estimation with Predicates for Contact-Rich Manipulation Tasks

abstract: Manipulation tasks often require a robot to adjust its sensorimotor skills based on the state it finds itself in. Taking peg-in-hole as an example: once the peg is aligned with the hole, the robot should push the peg downwards. While high level execution frameworks such as state machines and behavior trees are commonly used to formalize such decision-making problems, these frameworks require a mechanism to detect the high-level symbolic state. Handcrafting heuristics to identify symbolic states can be brittle, and using data-driven methods can produce noisy predictions, particularly when working with limited datasets, as is common in real-world robotic scenarios. This paper proposes a Bayesian state estimation method to predict symbolic states with predicate classifiers. This method requires little training data and allows fusing noisy observations from multiple sensor modalities. We evaluate our framework on a set of real-world peg-in-hole and connector-socket insertion tasks, demonstrating its ability to classify symbolic states and to generalize to unseen tasks, outperforming baseline methods. We also demonstrate the ability of our method to improve the robustness of manipulation policies on a real robot.


title: Do specific ion effects influence the physical chemistry of aqueous graphene-based supercapacitors? Perspectives from multiscale QMMD simulations

abstract: Whether or not specific ion effects determine the charge storage properties of aqueous graphene and graphite-based supercapacitors remains a highly debated topic. In this work we present a multiscale quantum mechanics classical molecular dynamics investigation of aqueous mono- and divalent salt electrolytes in contact with fully polarizable charged graphene sheets. By computing both the electrochemical double layer and quantum capacitance we observe a constant electrode specific capacitance with cationic radii and charge. Counterintuitively, we determine that a switch in the cation adsorption mechanism from inner to outer Helmholtz layers leads to negligible changes to the EDL capacitance, this appears to be due to the robust electronic structure of the graphene electrodes. However, the ability of ions (such as K+) with a relatively low hydration free energy to penetrate the inner Helmholtz plane and adsorb directly on the electrode surface is found to slow their diffusion parallel to the interface. Ions in the outer Helmholtz layer are found to have higher diffusivity at the surface due to their position in ion channels between water layers. Our results show that surface effects such as the surface polarization and the partial dehydration and local structuring of ions on the surface underpin the behaviour of cations at the interface and add a vital new perspective on trends in ion mobilities seen under confinement.


title: What is a random surface?

abstract: Given $2n$ unit equilateral triangles, there are finitely many ways to glue each edge to a partner. We obtain a random sphere-homeomorphic surface by sampling uniformly from the gluings that produce a topological sphere. As $n$ tends to infinity, these random surfaces (appropriately scaled) converge in law. The limit is a "canonical" sphere-homeomorphic random surface, much the way Brownian motion is a canonical random path. Depending on how the surface space and convergence topology are specified, the limit is the Brownian sphere, the peanosphere, the pure Liouville quantum gravity sphere, or a certain conformal field theory. All of these objects have concise definitions, and are all in some sense equivalent, but the equivalence is highly non-trivial, building on hundreds of math and physics papers over the past half century. More generally, the "continuum random surface embedded in $d$-dimensional Euclidean space" makes a kind of sense for $d \in (-\infty, 25)$ even when $d$ is not a positive integer; and this can be extended to higher genus surfaces, surfaces with boundary, and surfaces with marked points or other decoration. These constructions have deep roots in both mathematics and physics, drawing from classical graph theory, complex analysis, probability and representation theory, as well as string theory, planar statistical physics, random matrix theory and a simple model for two-dimensional quantum gravity. We present here an informal, colloquium-level overview of the subject, which we hope will be accessible to both newcomers and experts. We aim to answer, as cleanly as possible, the fundamental question. What is a random surface?


title: Graph clustering with Boltzmann machines

abstract: Graph clustering is the process of grouping vertices into densely connected sets called clusters. We tailor two mathematical programming formulations from the literature, to this problem. In doing so, we obtain a heuristic approximation to the intra-cluster density maximization problem. We use two variations of a Boltzmann machine heuristic to obtain numerical solutions. For benchmarking purposes, we compare solution quality and computational performances to those obtained using a commercial solver, Gurobi. We also compare clustering quality to the clusters obtained using the popular Louvain modularity maximization method. Our initial results clearly demonstrate the superiority of our problem formulations. They also establish the superiority of the Boltzmann machine over the traditional exact solver. In the case of smaller less complex graphs, Boltzmann machines provide the same solutions as Gurobi, but with solution times that are orders of magnitude lower. In the case of larger and more complex graphs, Gurobi fails to return meaningful results within a reasonable time frame. Finally, we also note that both our clustering formulations, the distance minimization and $K$-medoids, yield clusters of superior quality to those obtained with the Louvain algorithm.


title: Backreacted D0/D4 background

abstract: We construct a supergravity background corresponding to a backreacted D0/D4-brane system. The background is holographically dual to the Venecianno limit of the Berkoos-Douglas matrix model. It is known that the localized D0/D4 system is unstable when the D0-branes are within the D4-branes. To circumvent this difficulty we separate the D4s from the D0s, which are placed at the origin, and restore the symmetry of the combined system by distributing the D4-branes on a spherical shell around the D0-branes. The backreacted solution is first obtained perturbatively in N_f/N_c and displayed analytically to 1st order. A non-perturbative numerical solution is then presented.


title: Interpretable Off-Policy Learning via Hyperbox Search

abstract: Personalized treatment decisions have become an integral part of modern medicine. Thereby, the aim is to make treatment decisions based on individual patient characteristics. Numerous methods have been developed for learning such policies from observational data that achieve the best outcome across a certain policy class. Yet these methods are rarely interpretable. However, interpretability is often a prerequisite for policy learning in clinical practice. In this paper, we propose an algorithm for interpretable off-policy learning via hyperbox search. In particular, our policies can be represented in disjunctive normal form (i.e., OR-of-ANDs) and are thus intelligible. We prove a universal approximation theorem that shows that our policy class is flexible enough to approximate any measurable function arbitrarily well. For optimization, we develop a tailored column generation procedure within a branch-and-bound framework. Using a simulation study, we demonstrate that our algorithm outperforms state-of-the-art methods from interpretable off-policy learning in terms of regret. Using real-word clinical data, we perform a user study with actual clinical experts, who rate our policies as highly interpretable.


title: Rate-Distortion Theoretic Generalization Bounds for Stochastic Learning Algorithms

abstract: Understanding generalization in modern machine learning settings has been one of the major challenges in statistical learning theory. In this context, recent years have witnessed the development of various generalization bounds suggesting different complexity notions such as the mutual information between the data sample and the algorithm output, compressibility of the hypothesis space, and the fractal dimension of the hypothesis space. While these bounds have illuminated the problem at hand from different angles, their suggested complexity notions might appear seemingly unrelated, thereby restricting their high-level impact. In this study, we prove novel generalization bounds through the lens of rate-distortion theory, and explicitly relate the concepts of mutual information, compressibility, and fractal dimensions in a single mathematical framework. Our approach consists of (i) defining a generalized notion of compressibility by using source coding concepts, and (ii) showing that the `compression error rate' can be linked to the generalization error both in expectation and with high probability. We show that in the `lossless compression' setting, we recover and improve existing mutual information-based bounds, whereas a `lossy compression' scheme allows us to link generalization to the rate-distortion dimension -- a particular notion of fractal dimension. Our results bring a more unified perspective on generalization and open up several future research directions.


title: Cooperative Task and Motion Planning for Multi-Arm Assembly Systems

abstract: Multi-robot assembly systems are becoming increasingly appealing in manufacturing due to their ability to automatically, flexibly, and quickly construct desired structural designs. However, effectively planning for these systems in a manner that ensures each robot is simultaneously productive, and not idle, is challenging due to (1) the close proximity that the robots must operate in to manipulate the structure and (2) the inherent structural partial orderings on when each part can be installed. In this paper, we present a task and motion planning framework that jointly plans safe, low-makespan plans for a team of robots to assemble complex spatial structures. Our framework takes a hierarchical approach that, at the high level, uses Mixed-integer Linear Programs to compute an abstract plan comprised of an allocation of robots to tasks subject to precedence constraints and, at the low level, builds on a state-of-the-art algorithm for Multi-Agent Path Finding to plan collision-free robot motions that realize this abstract plan. Critical to our approach is the inclusion of certain collision constraints and movement durations during high-level planning, which better informs the search for abstract plans that are likely to be both feasible and low-makespan while keeping the search tractable. We demonstrate our planning system on several challenging assembly domains with several (sometimes heterogeneous) robots with grippers or suction plates for assembling structures with up to 23 objects involving Lego bricks, bars, plates, or irregularly shaped blocks.


title: Active Phase for Activated Random Walks on the Lattice in all Dimensions

abstract: We show that the critical density of the Activated Random Walk model on $\mathbb{Z}^d$ is strictly less than one when the sleep rate $\lambda$ is small enough, and tends to $0$ when $\lambda\to 0$, in any dimension $d\geqslant 1$. As far as we know, the result is new for $d=2$. We prove this by showing that, for high enough density and small enough sleep rate, the stabilization time of the model on the $d$-dimensional torus is exponentially large. To do so, we fix the the set of sites where the particles eventually fall asleep, which reduces the problem to a simpler model with density one. Taking advantage of the Abelian property of the model, we show that the stabilization time stochastically dominates the escape time of a one-dimensional random walk with a negative drift. We then check that this slow phase for the finite volume dynamics implies the existence of an active phase on the infinite lattice.


title: Interactions of zeros of of polynomials and multiplicity matrices

abstract: An $m \times (n+1)$ multiplicity matrix is a matrix $M = ( \mu_{i,j} )$ with rows enumerated by $i \in \{ 1,\ 2, \ldots, m \}$ and columns enumerated by $j \in \{ 0,1,\ldots, n \}$ whose coordinates are nonnegative integers satisfying the following two properties: (1) If $\mu_{i,j} \geq 1$, then $j \leq n-1$ and $\mu_{i,j+1} = \mu_{i,j}-1$, and (2) the $j$th column sum of $M$ satisfies the inequality $\sum_{i=1}^{m} \mu_{i, j} \leq n-j$ for all $j$. Let $K$ be a field of characteristic 0 and let $f(x)$ be a polynomial of degree $n$ with coefficients in $K$. Let $f^{(j)}(x)$ be the $j$th derivative of $f(x)$. Let $\Lambda = ( \lambda_1,\ldots, \lambda_{m})$ be a sequence of distinct elements of $K$. For $i \in \{1, 2, \ldots, m \}$ and $j \in \{1,2,\ldots, n\}$, let $ \mu_{i,j}$ be the multiplicity of $\lambda_i$ as a zero of the polynomial $f^{(j)}(x)$. The $m \times (n+1)$ matrix $M_f(\Lambda) = ( \mu_{i,j} )$ is called the multiplicity matrix of the polynomial $f(x)$ with respect to $\Lambda$. An open problem is to classify the multiplicity matrices that are multiplicity matrices of polynomials in $K[x]$ and to construct multiplicity matrices that are not multiplicity matrices of polynomials.


title: The Sherali-Adams Hierarchy for Promise CSPs through Tensors

abstract: We study the Sherali-Adams linear programming hierarchy in the context of promise constraint satisfaction problems (PCSPs). We characterise when a level of the hierarchy accepts an instance in terms of a homomorphism problem for an appropriate multilinear structure obtained through a tensor power of the constraint language. The geometry of this structure, which consists in a space of tensors satisfying certain symmetries, allows then to establish non-solvability of the approximate graph colouring problem via constantly many levels of Sherali-Adams. Besides this primary application, our tensorisation construction introduces a new tool to the study of hierarchies of algorithmic relaxations for computational problems within (and, possibly, beyond) the context of constraint satisfaction. In particular, we see it as a key step towards the algebraic characterisation of the power of Sherali-Adams for PCSPs.


title: Evaluation of Portable Programming Models to Accelerate LArTPC Detector Simulations

abstract: The Liquid Argon Time Projection Chamber (LArTPC) technology is widely used in high energy physics experiments, including the upcoming Deep Underground Neutrino Experiment (DUNE). Accurately simulating LArTPC detector responses is essential for analysis algorithm development and physics model interpretations. Accurate LArTPC detector response simulations are computationally demanding, and can become a bottleneck in the analysis workflow. Compute devices such as General-Purpose Graphics Processing Units (GPGPUs) have the potential to substantially accelerate simulations compared to traditional CPU-only processing. The software development that requires often carries the cost of specialized code refactorization and porting to match the target hardware architecture. With the rapid evolution and increased diversity of the computer architecture landscape, it is highly desirable to have a portable solution that also maintains reasonable performance. We report our ongoing effort in evaluating Kokkos as a basis for this portable programming model using LArTPC simulations in the context of the Wire-Cell Toolkit, a C++ library for LArTPC simulations, data analysis, reconstruction and visualization.


title: Didn't see that coming: a survey on non-verbal social human behavior forecasting

abstract: Non-verbal social human behavior forecasting has increasingly attracted the interest of the research community in recent years. Its direct applications to human-robot interaction and socially-aware human motion generation make it a very attractive field. In this survey, we define the behavior forecasting problem for multiple interactive agents in a generic way that aims at unifying the fields of social signals prediction and human motion forecasting, traditionally separated. We hold that both problem formulations refer to the same conceptual problem, and identify many shared fundamental challenges: future stochasticity, context awareness, history exploitation, etc. We also propose a taxonomy that comprises methods published in the last 5 years in a very informative way and describes the current main concerns of the community with regard to this problem. In order to promote further research on this field, we also provide a summarised and friendly overview of audiovisual datasets featuring non-acted social interactions. Finally, we describe the most common metrics used in this task and their particular issues.


title: AutoDIME: Automatic Design of Interesting Multi-Agent Environments

abstract: Designing a distribution of environments in which RL agents can learn interesting and useful skills is a challenging and poorly understood task, for multi-agent environments the difficulties are only exacerbated. One approach is to train a second RL agent, called a teacher, who samples environments that are conducive for the learning of student agents. However, most previous proposals for teacher rewards do not generalize straightforwardly to the multi-agent setting. We examine a set of intrinsic teacher rewards derived from prediction problems that can be applied in multi-agent settings and evaluate them in Mujoco tasks such as multi-agent Hide and Seek as well as a diagnostic single-agent maze task. Of the intrinsic rewards considered we found value disagreement to be most consistent across tasks, leading to faster and more reliable emergence of advanced skills in Hide and Seek and the maze task. Another candidate intrinsic reward considered, value prediction error, also worked well in Hide and Seek but was susceptible to noisy-TV style distractions in stochastic environments. Policy disagreement performed well in the maze task but did not speed up learning in Hide and Seek. Our results suggest that intrinsic teacher rewards, and in particular value disagreement, are a promising approach for automating both single and multi-agent environment design.


title: Structure of propagating high stress fronts in a shear thickening suspension

abstract: We report direct measurements of spatially resolved stress at the boundary of a shear thickening cornstarch suspension revealing persistent regions of high local stress propagating in the flow direction at the speed of the top boundary. The persistence of these propagating fronts enables precise measurements of their structure, including the profile of boundary stress measured by Boundary Stress Microscopy (BSM) and the non-affine velocity of particles at the bottom boundary of the suspension measured by particle image velocimetry (PIV). In addition, we directly measure the relative flow between the particle phase and the suspending fluid (fluid migration) and find the migration is highly localized to the fronts and changes direction across the front, indicating that the fronts are composed of a localized region of high dilatant pressure and low particle concentration. The magnitude of the flow indicates that the pore pressure difference driving the fluid migration is comparable to the critical shear stress for the onset of shear thickening. The propagating fronts fully account for the increase in viscosity with applied stress reported by the rheometer and are consistent with the existence of a stable jammed region in contact with one boundary of the system that generates a propagating network of percolated frictional contacts spanning the gap between the rheometer plates and producing strong localized dilatant pressure.


title: Ontological Learning from Weak Labels

abstract: Ontologies encompass a formal representation of knowledge through the definition of concepts or properties of a domain, and the relationships between those concepts. In this work, we seek to investigate whether using this ontological information will improve learning from weakly labeled data, which are easier to collect since it requires only the presence or absence of an event to be known. We use the AudioSet ontology and dataset, which contains audio clips weakly labeled with the ontology concepts and the ontology providing the "Is A" relations between the concepts. We first re-implemented the model proposed by soundevent_ontology with modification to fit the multi-label scenario and then expand on that idea by using a Graph Convolutional Network (GCN) to model the ontology information to learn the concepts. We find that the baseline Siamese does not perform better by incorporating ontology information in the weak and multi-label scenario, but that the GCN does capture the ontology knowledge better for weak, multi-labeled data. In our experiments, we also investigate how different modules can tolerate noises introduced from weak labels and better incorporate ontology information. Our best Siamese-GCN model achieves mAP=0.45 and AUC=0.87 for lower-level concepts and mAP=0.72 and AUC=0.86 for higher-level concepts, which is an improvement over the baseline Siamese but about the same as our models that do not use ontology information.


title: Continuation with Non-invasive Control Schemes: Revealing Unstable States in a Pedestrian Evacuation Scenario

abstract: This paper presents a framework to perform bifurcation analysis in laboratory experiments or simulations. We employ control-based continuation to study the dynamics of a macroscopic variable of a microscopically defined model, exploring the potential viability of the underlying feedback control techniques in an experiment. In contrast to previous experimental studies that used iterative root-finding methods on the feedback control targets, we propose a feedback control law that is inherently non-invasive. That is, the control discovers the location of equilibria and stabilizes them simultaneously. We call the proposed control zero-in-equilibrium feedback control and we prove that it is able to stabilize branches of equilibria, except at singularities of codimension n+1, where n is the number of state space dimensions the feedback can depend on. We apply the method to a simulated evacuation scenario were pedestrians have to reach an exit after maneuvering left or right around an obstacle. The scenario shows a hysteresis phenomenon with bistability and tipping between two possible steady pedestrian flows in microscopic simulations. We demonstrate for the evacuation scenario that the proposed control law is able to uniformly discover and stabilize steady flows along the entire branch, including points where other non-invasive approaches to feedback control become singular.


title: Better Supervisory Signals by Observing Learning Paths

abstract: Better-supervised models might have better performance. In this paper, we first clarify what makes for good supervision for a classification problem, and then explain two existing label refining methods, label smoothing and knowledge distillation, in terms of our proposed criterion. To further answer why and how better supervision emerges, we observe the learning path, i.e., the trajectory of the model's predictions during training, for each training sample. We find that the model can spontaneously refine "bad" labels through a "zig-zag" learning path, which occurs on both toy and real datasets. Observing the learning path not only provides a new perspective for understanding knowledge distillation, overfitting, and learning dynamics, but also reveals that the supervisory signal of a teacher network can be very unstable near the best points in training on real tasks. Inspired by this, we propose a new knowledge distillation scheme, Filter-KD, which improves downstream classification performance in various settings.


title: The Familiarity Hypothesis: Explaining the Behavior of Deep Open Set Methods

abstract: In many object recognition applications, the set of possible categories is an open set, and the deployed recognition system will encounter novel objects belonging to categories unseen during training. Detecting such "novel category" objects is usually formulated as an anomaly detection problem. Anomaly detection algorithms for feature-vector data identify anomalies as outliers, but outlier detection has not worked well in deep learning. Instead, methods based on the computed logits of visual object classifiers give state-of-the-art performance. This paper proposes the Familiarity Hypothesis that these methods succeed because they are detecting the absence of familiar learned features rather than the presence of novelty. This distinction is important, because familiarity-based detection will fail in many situations where novelty is present. For example when an image contains both a novel object and a familiar one, the familiarity score will be high, so the novel object will not be noticed. The paper reviews evidence from the literature and presents additional evidence from our own experiments that provide strong support for this hypothesis. The paper concludes with a discussion of whether familiarity-based detection is an inevitable consequence of representation learning.


title: Exploring symmetries in photoelectron holography with two-color linearly polarized fields

abstract: We investigate photoelectron holography in bichromatic linearly polarized fields of commensurate frequencies $r\omega$ and $s\omega$, with emphasis on the existing symmetries and for which values of the relative phase between the two driving waves they are kept or broken. Using group-theoretical methods, we show that, additionally to the well-known half-cycle symmetry, which is broken for $r+s$ odd, there are reflection symmetries around the field zero crossings and maxima, which may or may not be kept, depending on how both waves are dephased. The three symmetries are always present for monochromatic fields, while for bichromatic fields this is not guaranteed, even if $r+s$ is even and the half-cycle symmetry is retained. Breaking the half-cycle symmetry automatically breaks one of the other two, while, if the half-cycle symmetry is retained, the other two symmetries are either \textit{both} kept or broken. We analyze how these features affect the ionization times and saddle-point equations for different bichromatic fields. We also provide general expressions for the relative phases $\phi$ which retain specific symmetries. As an application, we compute photoelectron momentum distributions for $\omega-2\omega$ fields with the Coulomb Quantum Orbit Strong-Field approximation and assess how holographic structures such as the fan, the spider and interference carpets behave, focusing on the reflection symmetries. The features encountered can be traced back to the field gradient and amplitude affecting ionization probabilities and quantum interference in different momentum regions.


title: Behavioural Curves Analysis Using Near-Infrared-Iris Image Sequences

abstract: This paper proposes a new method to estimate behavioural curves from a stream of Near-Infra-Red (NIR) iris video frames. This method can be used in a Fitness For Duty system (FFD). The research focuses on determining the effect of external factors such as alcohol, drugs, and sleepiness on the Central Nervous System (CNS). The aim is to analyse how this behaviour is represented on iris and pupil movements and if it is possible to capture these changes with a standard NIR camera. The behaviour analysis showed essential differences in pupil and iris behaviour to classify the workers in "Fit" or "Unfit" conditions. The best results can distinguish subjects robustly under alcohol, drug consumption, and sleep conditions. The Multi-Layer-Perceptron and Gradient Boosted Machine reached the best results in all groups with an overall accuracy for Fit and Unfit classes of 74.0% and 75.5%, respectively. These results open a new application for iris capture devices.


title: Pedestrian Stop and Go Forecasting with Hybrid Feature Fusion

abstract: Forecasting pedestrians' future motions is essential for autonomous driving systems to safely navigate in urban areas. However, existing prediction algorithms often overly rely on past observed trajectories and tend to fail around abrupt dynamic changes, such as when pedestrians suddenly start or stop walking. We suggest that predicting these highly non-linear transitions should form a core component to improve the robustness of motion prediction algorithms. In this paper, we introduce the new task of pedestrian stop and go forecasting. Considering the lack of suitable existing datasets for it, we release TRANS, a benchmark for explicitly studying the stop and go behaviors of pedestrians in urban traffic. We build it from several existing datasets annotated with pedestrians' walking motions, in order to have various scenarios and behaviors. We also propose a novel hybrid model that leverages pedestrian-specific and scene features from several modalities, both video sequences and high-level attributes, and gradually fuses them to integrate multiple levels of context. We evaluate our model and several baselines on TRANS, and set a new benchmark for the community to work on pedestrian stop and go forecasting.


title: Comment on "Comparison of six simulation codes for positive streamers in air"(Plasma Sources Sci. Technol. 27 (2018) 095002)

abstract: Recently, a comparison of six codes for streamer discharge simulations were performed in [1]. In this comment, we discuss about the big differences between the results obtained by the different codes using the same deterministic model, and raise questions on the convergence of the codes and the minimum spatial resolution that are required for a converged results.


title: Performance of Large Aperture UCCA Arrays in a 5G User Dense Network

abstract: The transmitted signals in the fifth generation (5G) wireless networks suffer from significant path loss due to the use of higher frequencies in Sub-6 GHz and millimeter-wave (mmWave) bands. Inter-user interference in an ultra-dense network offers additional challenges to provide a high data rate. Therefore, it is desirable to generate narrow beams to extend the coverage of a 5G network by increasing antenna gain and improve its capacity by reducing the inter-user interference. This fact leads us to address the use of large aperture uniform concentric circular antenna (UCCA) arrays for 5G beamforming in massive multiple-input-multiple-output (MIMO) technology. Our analysis demonstrates that a UCCA with a larger antenna element spacing is capable of generating a significantly narrower beam with a moderate side-lobe level than a rectangular planar antenna (RPA) array while operating with the same number of antenna elements. This capability of the UCCA is analyzed to discover the performance gain of a 5G network.


title: Gravitating spinning strings in AdS$_3$

abstract: In the AdS/CFT correspondence, single trace operators of large-$N$ gauge theories at large spin $J$ can be described by classical spinning strings, giving a geometric and classical description of their spectrum at strong coupling. We observe that in AdS$_3$ these strings have significant gravitational back-reaction at sufficiently large spin, since the gravitational force does not decay at long distances. We construct solutions for folded spinning strings coupled to gravity in AdS$_3$ and compute their spectrum, corresponding to the leading Regge trajectory of Virasroro primary operators. These solutions exist only below a maximal spin $J<J_\mathrm{max}$, and as $J\to J_\mathrm{max}$ the solution approaches an extremal rotating BTZ black hole.


title: Greedy Optimization of Electrode Arrangement for Epiretinal Prostheses

abstract: Visual neuroprostheses are the only FDA-approved technology for the treatment of retinal degenerative blindness. Although recent work has demonstrated a systematic relationship between electrode location and the shape of the elicited visual percept, this knowledge has yet to be incorporated into retinal prosthesis design, where electrodes are typically arranged on either a rectangular or hexagonal grid. Here we optimize the intraocular placement of epiretinal electrodes using dictionary learning. Importantly, the optimization process is informed by a previously established and psychophysically validated model of simulated prosthetic vision. We systematically evaluate three different electrode placement strategies across a wide range of possible phosphene shapes and recommend electrode arrangements that maximize visual subfield coverage. In the near future, our work may guide the prototyping of next-generation neuroprostheses.


title: Different Types of Topological Complexity on Higher Homotopic Distance

abstract: We first study the higher version of the relative topological complexity by using the homotopic distance. We also introduced the generalized version of the relative topological complexity of a topological pair on both the Schwarz genus and the homotopic distance. With these concepts, we give some inequalities including the topological complexity and the Lusternik-Schnirelmann category, the most important parts of the study of robot motion planning in topology. Finally, by defining the parametrised topological complexity via the homotopic distance, we present some estimates on the higher setting of this concept.


title: Improved upper limit on degree-scale CMB B-mode polarization power from the 670 square-degree POLARBEAR survey

abstract: We report an improved measurement of the degree-scale cosmic microwave background $B$-mode angular-power spectrum over 670 square-degree sky area at 150 GHz with POLARBEAR. In the original analysis of the data, errors in the angle measurement of the continuously rotating half-wave plate, a polarization modulator, caused significant data loss. By introducing an angle-correction algorithm, the data volume is increased by a factor of 1.8. We report a new analysis using the larger data set. We find the measured $B$-mode spectrum is consistent with the $\Lambda$CDM model with Galactic dust foregrounds. We estimate the contamination of the foreground by cross-correlating our data and Planck 143, 217, and 353 GHz measurements, where its spectrum is modeled as a power law in angular scale and a modified blackbody in frequency. We place an upper limit on the tensor-to-scalar ratio $r$ < 0.33 at 95% confidence level after marginalizing over the foreground parameters.


title: Learning from Label Proportions by Learning with Label Noise

abstract: Learning from label proportions (LLP) is a weakly supervised classification problem where data points are grouped into bags, and the label proportions within each bag are observed instead of the instance-level labels. The task is to learn a classifier to predict the individual labels of future individual instances. Prior work on LLP for multi-class data has yet to develop a theoretically grounded algorithm. In this work, we provide a theoretically grounded approach to LLP based on a reduction to learning with label noise, using the forward correction (FC) loss of \citet{Patrini2017MakingDN}. We establish an excess risk bound and generalization error analysis for our approach, while also extending the theory of the FC loss which may be of independent interest. Our approach demonstrates improved empirical performance in deep learning scenarios across multiple datasets and architectures, compared to the leading existing methods.


title: Computationally Efficient Worst-Case Analysis of Flow-Controlled Networks with Network Calculus

abstract: Networks with hop-by-hop flow control occur in several contexts, from data centers to systems architectures (e.g., wormhole-routing networks on chip). A worst-case end-to-end delay in such networks can be computed using Network Calculus (NC), an algebraic theory where traffic and service guarantees are represented as curves in a Cartesian plane. NC uses transformation operations, e.g., the min-plus convolution, to model how the traffic profile changes with the traversal of network nodes. NC allows one to model flow-controlled systems, hence one can compute the end-to-end service curve describing the minimum service guaranteed to a flow traversing a tandem of flow-controlled nodes. However, while the algebraic expression of such an end-to-end service curve is quite compact, its computation is often intractable from an algorithmic standpoint: data structures tend to grow quickly to unfeasibly large sizes, making operations intractable, even with as few as three hops. In this paper, we propose computational and algebraic techniques to mitigate the above problem. We show that existing techniques (such as reduction to compact domains) cannot be used in this case, and propose an arsenal of solutions, which include methods to mitigate the data representation space explosion as well as computationally efficient algorithms for the min-plus convolution operation. We show that our solutions allow a significant speedup, enable analysis of previously unfeasible case studies, and -- since they do not rely on any approximation -- still provide exact results.


title: Computational Fluid Dynamics and Machine Learning as tools for Optimization of Micromixers geometry

abstract: This work explores a new approach for optimization in the field of microfluidics, using the combination of CFD (Computational Fluid Dynamics), and Machine Learning techniques. The objective of this combination is to enable global optimization with lower computational cost. The initial geometry is inspired in a Y-type micromixer with cylindrical grooves on the surface of the main channel and obstructions inside it. Simulations for circular obstructions were carried out using the OpenFOAM software to observe the influences of obstacles. The effects of obstruction diameter (OD), and offset (OF) in the range of [20,140] mm and [10,160] mm, respectively, on percentage of mixing ($\varphi$), pressure drop ($\Delta P$) and energy cost ($\Delta P/\varphi$) were investigated. Numerical experiments were analyzed using machine learning. Firstly, a neural network was used to train the dataset composed by the inputs OD and OF and outputs $\varphi$ and $\Delta P$. The objective functions (ObF) chosen to numerically optimize the performance of micromixers with grooves and obstructions were $\varphi$, $\Delta P$, $\Delta P/\varphi$. The genetic algorithm obtained the geometry that offers the maximum value of $\varphi$ and the minimum value of $\Delta P_s$. The results show that $\varphi$ increases monotonically with increasing OD at all values of OF. The inverse is observed with increasing offset. Furthermore, the results reveal that $\Delta P$ e $\Delta P/\varphi$ also increase with OD. On the other hand, the pressure drop and the cost of mixing energy present a maximum close to the lowest values of OF. Finally, the optimal value obtained for the diameter was OD=131 mm and for the offset OF=10 mm, which corresponds to obstruction of medium size close to the channel wall.


title: New calibrated models for the TRGB luminosity and a thorough analysis of theoretical uncertainties

abstract: The luminosity of the Tip of the Red Giant Branch (TRGB) is instrumental for the construction of the distance ladder, and its accurate modelling is key for determining the local Hubble parameter. In this work, we present an extensive quantitative analysis of the TRGB luminosity, accounting for virtually all input physics that affect it: chemical composition, opacity, diffusion, nuclear reaction rates, electron screening, neutrinos, convection efficiency, boundary conditions and mass loss, amongst others. Our analysis is based on a newly produced grid of $\sim 3\times 10^6$ TRGB models, evolved from pre-main sequence up to the helium ignition at the TRGB, and covering a wide range of metallicity (Z = 0.0001-0.02) and initial mass (M = 0.8-1.4 $M_{\odot}$). Through a Monte-Carlo analysis, we study the systematic variation of the TRGB luminosity due to the combined effect of all above input physics, and show that a maximum theoretical uncertainty of about $1.6 \%$ is still present on the current generation of models, dominated by systematics of radiative opacity. Results are also provided in several photometric bands. As a by-product of our analysis, we demonstrate robust evidence for the linear response of the Tip luminosity to individual changes of input physics, which can significantly simplify future analyses. A comparison of our results with other stellar evolution codes shows excellent agreement, while our grid of models is available upon reasonable requests.


title: Efficient Analog CAM Design

abstract: Content Addressable Memories (CAMs) are considered a key-enabler for in-memory computing (IMC). IMC shows order of magnitude improvement in energy efficiency and throughput compared to traditional computing techniques. Recently, analog CAMs (aCAMs) were proposed as a means to improve storage density and energy efficiency. In this work, we propose two new aCAM cells to improve data encoding and robustness as compared to existing aCAM cells. We propose a methodology to choose the margin and interval width for data encoding. In addition, we perform a comprehensive comparison against prior work in terms of the number of intervals, noise sensitivity, dynamic range, energy, latency, area, and probability of failure.