title: Physical properties of more than one thousand brightest cluster galaxies detected in the Canada France Hawaii Telescope Legacy Survey

abstract: Brightest cluster galaxies (BCGs) are very massive elliptical galaxies found at the centers of clusters. Their study gives clues on the formation and evolution of the clusters in which they are embedded. We analysed here in a homogeneous way the properties of a sample of more than one thousand BCGs in the redshift range 0.15 < z < 0.7, based on images from the Canada France Hawaii Telescope Legacy Survey. Based on the cluster catalogue of 1371 clusters by Sarron et al. (2018), we applied our automatic BCG detection algorithm and identified successfully 70% of the BCGs in our sample. We analysed their 2D photometric properties with GALFIT. We also compared the position angles of the BCG major axes with those of the overall cluster to which they belong. We found no evolution of the BCG properties with redshift up to z = 0.7, in agreement with previous results by Chu et al. (2021), who analysed an order of magnitude smaller sample, but reaching a redshift z = 1.8. The Kormendy relation for BCGs is tight and consistent with that of normal elliptical galaxies and BCGs measured by other authors. The position angles of the BCGs and of the cluster to which they belong agree within 30 degrees for 55% of the objects with well defined position angles. The study of this very large sample of more than one thousand BCGs shows that they were mainly formed before z = 0.7, as we find no significant growth for the luminosities and sizes of central galaxies. We discuss the importance of the intracluster light in the interpretation of these results. We highlight the role of image depth in the modelisation of the luminosity profiles of BCGs, and give evidence for the presence of an inner structure which can only be resolved on deep surveys with limiting apparent magnitude at 80% completeness m80 > 26 mag/arcsec2.


title: Breakdown of heavy quasiparticles in a honeycomb Kondo lattice: A quantum Monte Carlo study

abstract: We show that for the half-filled Kondo lattice model on the honeycomb lattice a Kondo breakdown occurs at small Kondo couplings $J_k$ within the magnetically ordered phase. Our conclusions are based on auxiliary field quantum Monte Carlo simulations of the so-called composite fermion spectral function. Within a U(1) gauge theory formulation of the Kondo model, it becomes apparent that a Higgs mechanism dictates the weight of the resonance in the spectral function. For the honeycomb lattice we observe that for small $J_k$ the quasiparticle pole gives way to incoherent spectral weight but it remains well defined for the square lattice. Our result provides an explicit example where the magnetic transition and the breakdown of heavy quasiparticles are detached as observed in Yb(Rh$_{0.93}$Co$_{0.07}$)$_2$Si$_2$ [Friedemann et al., Nat. Phys. \textbf{5}, 465 (2009)].


title: Euclid: Forecasts from the void-lensing cross-correlation

abstract: The Euclid space telescope will survey a large dataset of cosmic voids traced by dense samples of galaxies. In this work we estimate its expected performance when exploiting angular photometric void clustering, galaxy weak lensing and their cross-correlation. To this aim, we implement a Fisher matrix approach tailored for voids from the Euclid photometric dataset and present the first forecasts on cosmological parameters that include the void-lensing correlation. We examine two different probe settings, pessimistic and optimistic, both for void clustering and galaxy lensing. We carry out forecast analyses in four model cosmologies, accounting for a varying total neutrino mass, $M_\nu$, and a dynamical dark energy (DE) equation of state, $w(z)$, described by the CPL parametrisation. We find that void clustering constraints on $h$ and $\Omega_b$ are competitive with galaxy lensing alone, while errors on $n_s$ decrease thanks to the orthogonality of the two probes in the 2D-projected parameter space. We also note that, as a whole, the inclusion of the void-lensing cross-correlation signal improves parameter constraints by $10-15\%$, and enhances the joint void clustering and galaxy lensing Figure of Merit (FoM) by $10\%$ and $25\%$, in the pessimistic and optimistic scenarios, respectively. Finally, when further combining with the spectroscopic galaxy clustering, assumed as an independent probe, we find that, in the most competitive case, the FoM increases by a factor of 4 with respect to the combination of weak lensing and spectroscopic galaxy clustering taken as independent probes. The forecasts presented in this work show that photometric void-clustering and its cross-correlation with galaxy lensing deserve to be exploited in the data analysis of the Euclid galaxy survey and promise to improve its constraining power, especially on $h$, $\Omega_b$, the neutrino mass, and the DE evolution.


title: Six-meson amplitude in QCD-like theories

abstract: We calculate the relativistic six-meson scattering amplitude at low energy within the framework of QCD-like theories with $n$ degenerate quark flavors at next-to-leading order in the chiral counting. We discuss the cases of complex, real and pseudo-real representations, i.e. with global symmetry and breaking patterns $\text{SU}(n)\times\text{SU}(n)/\text{SU}(n)$ (extending the QCD case), $\text{SU}(2n)/\text{SO}(2n)$, and $\text{SU}(2n)/\text{Sp}(2n)$. In case of the one-particle-irreducible part, we obtain analytical expressions in terms of 10 six-meson subamplitudes based on the flavor and group structures. We extend on our previous results obtained within the framework of the $\text{O}(N+1)/\text{O}(N)$ non-linear sigma model, with $N$ being the number of meson flavors. This work allows for studying a number of properties of six-particle amplitudes at one-loop level.


title: Improved resource-tunable near-term quantum algorithms for transition probabilities, with applications in physics and variational quantum linear algebra

abstract: Transition amplitudes and transition probabilities are relevant to many areas of physics simulation, including the calculation of response properties and correlation functions. These quantities can also be related to solving linear systems of equations. Here we present three related algorithms for calculating transition probabilities. First, we extend a previously published short-depth algorithm, allowing for the two input states to be non-orthogonal. Building on this first procedure, we then derive a higher-depth algorithm based on Trotterization and Richardson extrapolation that requires fewer circuit evaluations. Third, we introduce a tunable algorithm that allows for trading off circuit depth and measurement complexity, yielding an algorithm that can be tailored to specific hardware characteristics. Finally, we implement proof-of-principle numerics for models in physics and chemistry and for a subroutine in variational quantum linear solving (VQLS). The primary benefits of our approaches are that (a) arbitrary non-orthogonal states may now be used with small increases in quantum resources, (b) we (like another recently proposed method) entirely avoid subroutines such as the Hadamard test that may require three-qubit gates to be decomposed, and (c) in some cases fewer quantum circuit evaluations are required as compared to the previous state-of-the-art in NISQ algorithms for transition probabilities.


title: Angular Momentum Transport by Keplerian Turbulence in Liquid Metals

abstract: We report a laboratory study of the transport of angular momentum by a turbulent flow of an electrically conducting fluid confined in a thin disk. When the electromagnetic force applied to the liquid metal is large enough, the corresponding volume injection of angular momentum produces a turbulent flow characterized by a time-averaged Keplerian rotation rate $\bar{\Omega}\sim r^{-3/2}$. Two contributions to the local angular momentum transport are identified: one from the poloidal recirculation induced by the presence of boundaries, and the other from turbulent fluctuations in the bulk. The latter produces efficient angular momentum transport independent of the molecular viscosity of the fluid, and leads to Kraichnan's prediction $\text{Nu}_\Omega\propto\sqrt{\text{Ta}}$. In this so-called ultimate regime, the experiment, therefore, provides a configuration analogous to accretion disks, allowing the prediction of accretion rates induced by Keplerian turbulence.


title: Scaling adaptive quantum simulation algorithms via operator pool tiling

abstract: Adaptive variational quantum simulation algorithms use information from the quantum computer to dynamically create optimal trial wavefunctions for a given problem Hamiltonian. A key ingredient in these algorithms is a predefined operator pool from which trial wavefunctions are constructed. Finding suitable pools is critical for the efficiency of the algorithm as the problem size increases. Here, we present a technique called operator pool tiling that facilitates the construction of problem-tailored pools for arbitrarily large problem instances. By first performing an ADAPT-VQE calculation on a smaller instance of the problem using a large, but computationally inefficient operator pool, we extract the most relevant operators and use them to design more efficient pools for larger instances. We demonstrate the method here on strongly correlated quantum spin models in one and two dimensions, finding that ADAPT automatically finds a highly effective ansatz for these systems. Given that many problems, such as those arising in condensed matter physics, have a naturally repeating lattice structure, we expect the pool tiling method to be a widely applicable technique apt for such systems.


title: The impact of two non-transiting planets and stellar activity on mass determinations for the super-Earth CoRoT-7b

abstract: CoRoT-7 is an active star, whose orbiting planets and their masses have been under debate since their initial detection. In the previous studies, CoRoT-7 was found to have two planets, CoRoT-7b and CoRoT-7c with orbital periods of 0.85 and 3.69 days, and a potential third planet with a period of $\sim$9 days. The existence of the third planet has been questioned as potentially being an activity-induced artefact. Mass of the transiting planet CoRoT-7b has been estimated to have widely different values owing to the activity level of the parent star, the consequent Radial Velocity (RV) 'jitter', and the methods used to rectify this ambiguity. Here we present an analysis of the HARPS archival RV data of CoRoT-7 using a new wavelength-domain technique, scalpels, to correct for the stellar activity-induced spectral line-shape changes. Simultaneous modelling of stellar activity and orbital motions, identified using the l1- periodogram, shows that scalpels effectively reduce the contribution of stellar variability to the RV signal and enhance the detectability of exoplanets around active stars. Using kima nested-sampling package, we modelled the system incorporating a Gaussian Process together with scalpels. The resultant posterior distributions favoured a three-planet system comprising two non-transiting planets, CoRoT-7c and CoRoT-7d with orbital periods of 3.697$\pm$0.005 and 8.966$\pm$1.546 days, in addition to the known transiting planet. The transiting planet CoRoT-7b is found to be a rocky super-Earth with a mass of $M_{b}$=6.06$\pm$0.65 $M_{\oplus}$. The determined masses of $M_{c}$=13.29$\pm$0.69 $M_{\oplus}$ and $M_{d}$=17.14$\pm$2.55 $M_{\oplus}$ suggest the non-transiting planets CoRoT-7c and CoRoT-7d to be structurally similar to Uranus and Neptune.


title: The cosmic shallows I: interaction of CMB photons in extended galaxy halos

abstract: We report and analyse the presence of foregrounds in the cosmic microwave background (CMB) radiation associated to extended galactic halos. Using the cross correlation of Planck and WMAP maps and the 2MRS galaxy catalogue, we find that the mean temperature radial profiles around nearby galaxies at $cz\le 4500~\rm{km~s^{-1}}$ show a statistically significant systematic decrease of $\sim 15~\mu \rm{K}$ extending up to several galaxy radii. This effect strongly depends on the galaxy morphological type at scales within several tens of times the galaxy size, becoming nearly independent of galaxy morphology at larger scales. The effect is significantly stronger for the more extended galaxies, with galaxy clustering having a large impact on the results. Our findings indicate the presence of statistically relevant foregrounds in the CMB maps that should be considered in detailed cosmological studies. Besides, we argue that these can be used to explore the intergalactic medium surrounding bright late-type galaxies and allow for diverse astrophysical analyses.


title: Betti numbers and the curvature operator of the second kind

abstract: We show that compact, $n$-dimensional Riemannian manifolds with $\frac{n+2}{2}$-nonnegative curvature operators of the second kind are either rational homology spheres or flat. More generally, we obtain vanishing of the $p$-th Betti number provided that the curvature operator of the second kind is $C(p,n)$-positive. Our curvature conditions become weaker as $p$ increases. For $p=\frac{n}{2}$ we have $C(p,n)= \frac{3n}{2} \frac{n+2}{n+4} $, and for $5 \leq p \leq \frac{n}{2}$ we exhibit a $C(p,n)$-positive algebraic curvature operator of the second kind with negative Ricci curvatures.


title: Modeling Intrinsic Galaxy Alignment in the MICE Simulation

abstract: The intrinsic alignment (IA) of galaxies is potentially a major limitation in deriving cosmological constraints from weak lensing surveys. In order to investigate this effect we assign intrinsic shapes and orientations to galaxies in the light-cone output of the MICE simulation, spanning $\sim5000\,{\rm deg}^2$ and reaching redshift $z=1.4$. This assignment is based on a 'semi-analytic' IA model that uses photometric properties of galaxies as well as the spin and shape of their host halos. Advancing on previous work, we include more realistic distributions of galaxy shapes and a luminosity dependent galaxy-halo alignment. The IA model parameters are calibrated against COSMOS and BOSS LOWZ observations. The null detection of IA in observations of blue galaxies is accounted for by setting random orientations for these objects. We compare the two-point alignment statistics measured in the simulation against predictions from the analytical IA models NLA and TATT over a wide range of scales, redshifts and luminosities for red and blue galaxies separately. We find that both models fit the measurements well at scales above $8\,h^{-1}{\rm Mpc}$, while TATT outperforms NLA at smaller scales. The IA parameters derived from our fits are in broad agreement with various observational constraints from red galaxies. Lastly, we build a realistic source sample, mimicking DES Year 3 observations and use it to predict the IA contamination to the observed shear statistics. We find this prediction to be within the measurement uncertainty, which might be a consequence of the random alignment of blue galaxies in the simulation.


title: The Astropy Project: Sustaining and Growing a Community-oriented Open-source Project and the Latest Major Release (v5.0) of the Core Package

abstract: The Astropy Project supports and fosters the development of open-source and openly-developed Python packages that provide commonly needed functionality to the astronomical community. A key element of the Astropy Project is the core package $\texttt{astropy}$, which serves as the foundation for more specialized projects and packages. In this article, we summarize key features in the core package as of the recent major release, version 5.0, and provide major updates for the Project. We then discuss supporting a broader ecosystem of interoperable packages, including connections with several astronomical observatories and missions. We also revisit the future outlook of the Astropy Project and the current status of Learn Astropy. We conclude by raising and discussing the current and future challenges facing the Project.


title: Unveiling Time-Varying Signals of Ultralight Bosonic Dark Matter at Collider and Beam Dump Experiments

abstract: The ultralight boson represents a promising dark matter candidate exhibiting unique wave-like behaviors. These properties could transfer to the dark mediator, such as the kinetic mixing dark photon, which can be a link between the dark and Standard Model sectors, resulting in periodic oscillations of its mass. We propose a method to detect ultralight dark matter using dark mediators in collider and beam dump experiments, distinguishing it from conventional atomic, molecular, and optical methods. The time-varying nature of dark mediator mass exhibits a double-peak spectrum, reducing traditional constraints by 1 to 2 orders of magnitude, due to decreased luminosity exposure in each resonant mass bin. To enhance sensitivity, we utilize event time-stamps in the CMS Open Data and demonstrate that this technique boosts sensitivity by approximately one order of magnitude compared to the time-blind method. Moreover, it proves effective in detecting the invisible decay of the dark mediator.


title: Deconfined Quantum Critical Point with Non-locality

abstract: The deconfined quantum critical point (DQCP) between the N\'{e}el and valence bond solid (VBS) order was originally proposed in quantum spin systems with a local Hamiltonian. In the last few years analogues of DQCPs with nonlocal interactions have been explored, which can lead to rich possibilities. The nonlocal interactions can either arise from an instantaneous long range interaction in the Hamiltonian, or from gapless modes that reside in one higher spatial dimension. Here we consider another mechanism of generating nonlocal interactions by coupling the DQCP to the "hot spots" of a Fermi surface. We demonstrate that at least within a substantial energy window, the physics of the DQCP is controlled by a new fixed point with dynamical exponent $z > 1$


title: Concentration Inequalities for Output Statistics of Quantum Markov Processes

abstract: We derive new concentration bounds for time averages of measurement outcomes in quantum Markov processes. This generalizes well-known bounds for classical Markov chains which provide constraints on finite time fluctuations of time-additive quantities around their averages. We employ spectral, perturbation and martingale techniques, together with noncommutative $L_2$ theory, to derive: (i) a Bernstein-type concentration bound for time averages of the measurement outcomes of a quantum Markov chain, (ii) a Hoeffding-type concentration bound for the same process, (iii) a generalization of the Bernstein-type concentration bound for counting processes of continuous time quantum Markov processes, (iv) new concentration bounds for empirical fluxes of classical Markov chains which broaden the range of applicability of the corresponding classical bounds beyond empirical averages. We also suggest potential application of our results to parameter estimation and consider extensions to reducible quantum channels, multi-time statistics and time-dependent measurements, and comment on the connection to so-called thermodynamic uncertainty relations.

categories: quant-ph cond-mat.stat-mech math-ph math.MP math.PR


title: Every CBER is smooth below the Carlson-Simpson generic partition

abstract: Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of $\mathcal{E}_{\infty}$. In contrast, we show that there is a hypersmooth equivalence relation on $\mathcal{E}_{\infty}$ which is Borel bireducible with $E_1$ on every Carlson-Simpson cube. Our arguments are classical and require no background in forcing.


title: A Normalized Autoencoder for LHC Triggers

abstract: Autoencoders are an effective analysis tool for the LHC, as they represent one of its main goal of finding physics beyond the Standard Model. The key challenge is that out-of-distribution anomaly searches based on the compressibility of features do not apply to the LHC, while existing density-based searches lack performance. We present the first autoencoder which identifies anomalous jets symmetrically in the directions of higher and lower complexity. The normalized autoencoder combines a standard bottleneck architecture with a well-defined probabilistic description. It works better than all available autoencoders for top vs QCD jets and reliably identifies different dark-jet signals.


title: Thermal properties of structurally balanced systems on classical random graphs

abstract: The dynamics of social relations and the possibility of reaching the state of structural balance (Heider balance) under the influence of the temperature modeling the social noise level are discussed for interacting actors occupying nodes of classical random graphs. Depending on the graph density $D$, either a smooth cross-over or a first-order phase transition from a balanced to an imbalanced state of the system is observed with an increase of the thermal noise level. The minimal graph density $D_\text{min}$ for which the first-order phase transition can be observed decreases with system size $N$ as $D_\text{min}\propto N^{-0.58(1)}$. For graph densities $D>D_\text{min}$ the reduced critical temperature $T_c^\star=T_c/T_c(D=1)$ increases with the graph density as $T_c^\star\propto D^{1.719(6)}$ independently of the system size $N$.


title: An extended Demazure product on integer permutations via min-plus matrix multiplication

abstract: Coxeter groups possess an associative operation, called variously the Demazure, greedy, or $0$-Hecke product. For symmetric groups, this product has an amusing formulation as matrix multiplication in the min-plus (tropical) semiring of two matrices associated to the permutations. We prove that this min-plus formulation extends to furnish a Demazure product on a much larger group of integer permutations, consisting of all permutations that change the sign of finite many integers. We prove several alternative descriptions of this product and some useful properties of it. These results were developed in service of future applications to Brill-Noether theory of algebraic and tropical curves; the connection is surveyed in an appendix.


title: A comparison between the Jordan and Einstein Frames in Brans-Dicke theories with torsion

abstract: In recent years, gravitational models motivated by quantum corrections to gravity which introduce higher order terms like $R^{2}$ or terms in which the Riemann tensor is not symmetric have been studied by several authors in the form of a general Brans-Dicke type model containing the Ricci scalar, the Holst term and the Nieh-Yan invariant. In this paper we focus on the less explored Jordan frame of such theories and in the comparison between both this frame and the Einstein one. Furthermore, we discuss the role of the transformation of the torsion under conformal transformations and show that the transformation proposed in this paper (extended conformal transformation) contains a special case of the projective transformation of the connection used in some of the papers that motivated this work. We discuss the role and advantages of the extended conformal transformation and show that this new approach can have interesting consequences by working with different variables such as the metric and torsion. Moreover, we study the stability of the system via a dynamical analysis in the Jordan frame, this in order to analyze whether or not we have the fixed points that can be later identified as the inflationary attractor and the unstable fixed point where inflation could take place. Finally we study the scale invariant case of the general model in the Jordan frame. We find out that both the scalar spectral index and the tensor-to-scalar ratio are in agreement with the latest Planck results.


title: Efficiency of random search with space-dependent diffusivity

abstract: We address the problem of random search for a target in an environment with space-dependent diffusion coefficient $D(x)$. From a general form of the diffusion differential operator that includes It\^o, Stratonovich, and H\"anggi-Klimontovich interpretations of the associated stochastic process, we obtain the first-passage time distribution and the search efficiency $\mathcal{E}=\langle 1/t \rangle$. For the paradigmatic power-law diffusion coefficient $D(x) = D_0|x|^{\alpha}$, with $\alpha<2$, which controls whether the mobility increases or decreases with the distance from a target at the origin, we show the impact of the different interpretations. For the Stratonovich framework, we obtain a closed expression of the search efficiency, valid for arbitrary diffusion coefficient $D(x)$. We show that a heterogeneous diffusivity profile leads to lower efficiency than the homogeneous average level, and the efficiency depends only on the distribution of diffusivity values and not on its spatial organization, features that breakdown under other interpretations.


title: Exact solution of a family of staggered Heisenberg chains with conclusive pretty good quantum state transfer

abstract: We construct the exact solution for a family of one-half spin chains explicitly. The spin chains Hamiltonian corresponds to an isotropic Heisenberg Hamiltonian, with staggered exchange couplings that take only two different values. We work out the exact solutions in the one-excitation subspace. Regarding the problem of quantum state transfer, we use the solution and some theorems concerning the approximation of irrational numbers, to show the appearance of conclusive pretty good transmission for chains with particular lengths. We present numerical evidence that pretty good transmission is achieved by chains whose length is not a power of two. The set of spin chains that shows pretty good transmission is a subset of the family with an exact solution. Using perturbation theory, we thoroughly analyze the case when one of the exchange coupling strengths is orders of magnitude larger than the other. This strong coupling limit allows us to study, in a simple way, the appearance of pretty good transmission. The use of analytical closed expressions for the eigenvalues, eigenvectors, and transmission probabilities allows us to obtain the precise asymptotic behavior of the time where the pretty good transmission is observed. Moreover, we show that this time scales as a power law whose exponent is an increasing function of the chain length. We also discuss the crossover behavior obtained for the pretty good transmission time between the regimes of strong coupling limit and the one observed when the exchange couplings are of the same order of magnitude.


title: The Recurrent Nova U Scorpii from the 2010.1 to 2022.4 Eruptions; the Missed Eruption of 2016.78 +- 0.10 and the Critical Complex Period Changes

abstract: U Sco is a recurrent nova with eleven observed eruptions, most recently in 2010.1 and 2022.4. I report on my program (running since 1989) of measuring eclipse times and brightnesses of U Sco in quiescence, from 2010 to 2022. The orbital period suddenly increased by +22.4 +- 1.0 parts-per-million across the 2010.1 eruption. This period change is greater than the near-zero period change (+3.9 +- 6.1 parts-per-million) across the 1999.2 eruption. This period change cannot come from any of the usual mechanisms, whereas the one remaining possibility is that the period changes are dominated by the little-known mechanism of the nova ejecting asymmetric shells. From 2010.1 to 2016.78, the O-C curve showed a steady period change that was large, with P-dot equal (-21.0 +- 3.2)X 10^-9. This is greatly higher than the steady period changes in the two previous inter-eruption intervals (-3.2 +- 1.9 and -1.1 +- 1.1 X 10^-9). This large, variable, and negative P-dot apparently comes from magnetic braking of the companion star's rotation. Starting in 2016.9 +- 0.6, the O-C curve showed a strong kink that is a unique characteristic of the sudden period change (+35.4 +- 7.1 parts-per-million) across a nova event. The brightness in quiescence after 2010.4 shows that the white dwarf accreted the trigger mass for the next nova event in the year 2017.1 +- 0.6. Photometric records show the only possible time for the eruption to peak (such that its total duration of 60 days was undetectable by any observation) is during a 75 day interval inside the 2016 solar gap, thus constraining the missed eruption to 2016.78 +- 0.10.


title: The canonical arithmetic volume of hypersurfaces

abstract: The aim of this paper is the study of the canonical arithmetic volume of hypersurfaces. Using a direct approach, we establish that the canonical arithmetic volume of any hypersuface coincides with its Mahler measure.


title: Gaussian Latent Dirichlet Allocation for Discrete Human State Discovery

abstract: In this article we propose and validate an unsupervised probabilistic model, Gaussian Latent Dirichlet Allocation (GLDA), for the problem of discrete state discovery from repeated, multivariate psychophysiological samples collected from multiple, inherently distinct, individuals. Psychology and medical research heavily involves measuring potentially related but individually inconclusive variables from a cohort of participants to derive diagnosis, necessitating clustering analysis. Traditional probabilistic clustering models such as Gaussian Mixture Model (GMM) assume a global mixture of component distributions, which may not be realistic for observations from different patients. The GLDA model borrows the individual-specific mixture structure from a popular topic model Latent Dirichlet Allocation (LDA) in Natural Language Processing and merges it with the Gaussian component distributions of GMM to suit continuous type data. We implemented GLDA using STAN (a probabilistic modeling language) and applied it on two datasets, one containing Ecological Momentary Assessments (EMA) and the other heart measures from electrocardiogram and impedance cardiograph. We found that in both datasets the GLDA-learned class weights achieved significantly higher correlations with clinically assessed depression, anxiety, and stress scores than those produced by the baseline GMM. Our findings demonstrate the advantage of GLDA over conventional finite mixture models for human state discovery from repeated multivariate data, likely due to better characterization of potential underlying between-participant differences. Future work is required to validate the utility of this model on a broader range of applications.


title: PyEPO: A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming

abstract: In deterministic optimization, it is typically assumed that all problem parameters are fixed and known. In practice, however, some parameters may be a priori unknown but can be estimated from historical data. A typical predict-then-optimize approach separates predictions and optimization into two stages. Recently, end-to-end predict-then-optimize has become an attractive alternative. In this work, we present the PyEPO package, a PyTorchbased end-to-end predict-then-optimize library in Python. To the best of our knowledge, PyEPO (pronounced like pineapple with a silent "n") is the first such generic tool for linear and integer programming with predicted objective function coefficients. It provides four base algorithms: a convex surrogate loss function from the seminal work of Elmachtoub and Grigas [16], a differentiable black-box solver approach of Pogancic et al. [35], and two differentiable perturbation-based methods from Berthet et al. [6]. PyEPO provides a simple interface for the definition of new optimization problems, the implementation of state-of-the-art predict-then-optimize training algorithms, the use of custom neural network architectures, and the comparison of end-to-end approaches with the two-stage approach. PyEPO enables us to conduct a comprehensive set of experiments comparing a number of end-to-end and two-stage approaches along axes such as prediction accuracy, decision quality, and running time on problems such as Shortest Path, Multiple Knapsack, and the Traveling Salesperson Problem. We discuss some empirical insights from these experiments, which could guide future research. PyEPO and its documentation are available at https://github.com/khalil-research/PyEPO.


title: Isospin-symmetry implications for nuclear two-body distributions and short-range correlations

abstract: We study the implications of isospin symmetry in nuclear systems on two-body distributions and derive relations between different densities or momentum distributions of a given nucleus or of different nuclei in the same isospin multiplet. A connection between neutrinoless double beta decay transition of mirror nuclei and two-body densities is also obtained. The relations are numerically verified by means of quantum Monte Carlo calculations. We discuss the relevance of these results to the analysis of nuclear short-range correlations and also show that isospin symmetry allows us to extract information about the spectator nucleons when a short-range correlated pair is formed.


title: A Survey on SDN \& SDCN Traffic Measurement: Existing Approaches and Research Challenge

abstract: Software Defined Network (SDN) is the next generation network that decouples the control plane from the data plane of forwarding devices by utilizing the OpenFlow protocol as a communication link between the data plane and the control plane. However, there are some security issues might be in actions on SDN that the attackers can take control over the SDN control plane. Thus, traffic measurement is a fundamental technique of protecting SDN against the high-security threats such as DDoS, heavy hitter, superspreader as well as live video calling, QoS control, high bandwidth requirement, resource management are also inevitable in SDN/Software Defined Cellular Network (SDCN). In such a scenario, we survey SDN traffic measurement solutions, in order to assess how these solutions can make a secured, efficient and robust SDN/SDCN architecture. In this paper, various types of SDN traffic measurement solutions have been categorized based on network applications behaviour. Furthermore, we find out the challenges related to SDN/SDCN traffic measurement and future scope of research, which will guide to design and develop more advanced traffic measurement solutions for a scalable, heterogeneous, hierarchical and widely deployed SDN/SDCN in future prospects. More in details, we list out kinds of practical machine learning (ML) approaches to analyze how we can make improvement in the traffic measurement performances. We conclude that using ML in SDN traffic measurement solutions will give benefit to get secured SDN/SDCN network in complementary ways.


title: Regularity and drift by Osgood vector fields

abstract: We consider the problem of loss and propagation of regularity of transport equation with Osgood vector field. As an application, we obtain a quantitative stability estimate for 2D incompressible Euler equation with generalized Yudovich initial data.


title: Low star-formation activity and low gas content of quiescent galaxies at $z=$ 3.5-4.0 constrained with ALMA

abstract: The discovery in deep near-infrared surveys of a population of massive quiescent galaxies at $z>3$ has given rise to the question of how they came to be quenched so early in the history of the Universe. Measuring their molecular gas properties can distinguish between physical processes where they stop forming stars due to a lack of fuel versus those where star-formation efficiency is reduced and the gas is retained. We conducted Atacama Large Millimeter/sub-millimeter Array (ALMA) observations of four quiescent galaxies at $z=$ 3.5-4.0 found by the Fourstar Galaxy Evolution Survey (ZFOURGE) and a serendipitous optically dark galaxy at $z=3.71$. We aim to investigate the presence of dust-obscured star-formation and their gas content by observing the dust continuum emission at Band-7 and the atomic carbon [C I]($^3P_1$-$^3P_0$) line at 492.16 GHz. Among the four quiescent galaxies, only one source is detected in the dust continuum at $\lambda_{\rm obs} = 870 {\rm \mu m}$. The sub-mm observations confirm their passive nature, and all of them are located more than four times below the main sequence of star-forming galaxies at $z=3.7$. None of the targets are detected in [C I], constraining their gas mass fractions to be $<$ 20%. These gas mass fractions are more than three times lower than the scaling relation for star-forming galaxies at $z=3.7$. These results support scenarios where massive galaxies at $z=$ 3.5-4.0 quench by consuming/expelling all the gas rather than by reducing the efficiency of the conversion of their gas into stars.


title: Exponential mixing by shear flows

abstract: We prove a version of Bressan's mixing conjecture where the advecting field is constrained to be a shear at each time. Also, inspired by recent work of Blumenthal, Coti Zelati and Gvalani, we construct a particularly simple example of a shear flow which mixes at the optimal rate. The constructed vector field alternates randomly in time between just two distinct shears.


title: On the long-term stability of the Solar System in the presence of weak perturbations from stellar flybys

abstract: The architecture and evolution of planetary systems are shaped in part by stellar flybys. Within this context, we look at stellar encounters which are too weak to immediately destabilize a planetary system but are nevertheless strong enough to measurably perturb the system's dynamical state. We estimate the strength of such perturbations on secularly evolving systems using a simple analytic model and confirm those estimates with direct N-body simulations. We then run long-term integrations and show that even small perturbations from stellar flybys can influence the stability of planetary systems over their lifetime. We find that small perturbations to the outer planets' orbits are transferred between planets, increasing the likelihood that the inner planetary system will destabilize. Specifically, our results for the Solar System show that relative perturbations to Neptune's semi-major axis of order 0.1% are strong enough to increase the probability of destabilizing the Solar System within 5 Gyrs by one order of magnitude.


title: Quantum dynamics for energetic advantage in a charge-based classical full-adder

abstract: We present a proposal for a one-bit full-adder to process classical information based on the quantum reversible dynamics of a triple quantum dot system. The device works via the repeated execution of a Fredkin gate implemented through the dynamics of a single time-independent Hamiltonian. Our proposal uses realistic parameter values and could be implemented on currently available quantum dot architectures. We compare the estimated energy requirements for operating our full-adder with those of well-known fully classical devices, and argue that our proposal may provide a consistently better energy efficiency. Our work serves as a proof of principle for the development of energy-efficient information technologies operating through coherent quantum dynamics.


title: Quasi-projective and formal-analytic arithmetic surfaces

abstract: This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new. Formal-analytic arithmetic surfaces admit a rich geometry which parallels the geometry of complex analytic surfaces. Notably the dichotomy between pseudoconvexity and pseudoconcavity plays a central role in their geometry. Our study of formal-analytic arithmetic surfaces relies crucially on the use of real-valued invariants. Some of these are intersection-theoretic, in the spirit of Arakelov intersection theory. Some other invariants involve infinite-dimensional geometry of numbers. Relating our new intersection-theoretic invariants to more classical invariants of Arakelov geometry leads us to investigate a new invariant, the Archimedean overflow, attached to an analytic map from a pointed compact Riemann surface with boundary to a Riemann surface. It is related to the characteristic functions of Nevanlinna theory. Our results on the geometry of formal-analytic arithmetic surfaces admit applications to concrete problems of arithmetic geometry. Notably we generalize the arithmetic holonomicity theorem of Calegari-Dimitrov-Tang regarding the dimension of spaces of power series with integral coefficients satisfying some convergence conditions. We also establish an arithmetic counterpart of theorems of Lefschetz and Nori by providing a bound on the index, in the \'etale fundamental group of an arithmetic surface, of the closed subgroup generated by the \'etale fundamental groups of some arithmetic curve and of some compact Riemann surfaces mapping to the arithmetic surface.


title: Effect of thermal gluon absorption and medium fluctuations on heavy flavour nuclear modification factor at RHIC and LHC energies

abstract: The presence of thermal gluons reduces the stimulated gluon emission off a heavy quark propagating in the quark-gluon plasma (QGP) while absorption causes reduction of the radiative energy loss. On the other hand, the chromo-electromagnetic field fluctuations present in the QGP lead to collisional energy gain of the heavy quark. The net effect of the thermal gluon absorption and field fluctuations is a reduction of the total energy loss of the heavy quark, prominent at the lower momenta. We consider both kind of the energy gains along with the usual losses, and compute the nuclear modification factor ($R_{AA}$) of heavy mesons, viz., $D$ and $B$ mesons. The calculations have been compared with the experimental measurements in Au-Au collisions at $\sqrt{s_{NN}} = 200$ GeV from STAR and PHENIX experiments at the RHIC and Pb-Pb collisions at $\sqrt{s_{NN}} = 2.76$ TeV and $5.02$ TeV from CMS and ALICE experiments at the LHC. We find a significant effect of the total energy gain due to thermal gluon absorption and field fluctuations on heavy flavour suppression, especially at the lower transverse momenta.


title: Masked World Models for Visual Control

abstract: Visual model-based reinforcement learning (RL) has the potential to enable sample-efficient robot learning from visual observations. Yet the current approaches typically train a single model end-to-end for learning both visual representations and dynamics, making it difficult to accurately model the interaction between robots and small objects. In this work, we introduce a visual model-based RL framework that decouples visual representation learning and dynamics learning. Specifically, we train an autoencoder with convolutional layers and vision transformers (ViT) to reconstruct pixels given masked convolutional features, and learn a latent dynamics model that operates on the representations from the autoencoder. Moreover, to encode task-relevant information, we introduce an auxiliary reward prediction objective for the autoencoder. We continually update both autoencoder and dynamics model using online samples collected from environment interaction. We demonstrate that our decoupling approach achieves state-of-the-art performance on a variety of visual robotic tasks from Meta-world and RLBench, e.g., we achieve 81.7% success rate on 50 visual robotic manipulation tasks from Meta-world, while the baseline achieves 67.9%. Code is available on the project website: https://sites.google.com/view/mwm-rl.


title: SImProv: Scalable Image Provenance Framework for Robust Content Attribution

abstract: We present SImProv - a scalable image provenance framework to match a query image back to a trusted database of originals and identify possible manipulations on the query. SImProv consists of three stages: a scalable search stage for retrieving top-k most similar images; a re-ranking and near-duplicated detection stage for identifying the original among the candidates; and finally a manipulation detection and visualization stage for localizing regions within the query that may have been manipulated to differ from the original. SImProv is robust to benign image transformations that commonly occur during online redistribution, such as artifacts due to noise and recompression degradation, as well as out-of-place transformations due to image padding, warping, and changes in size and shape. Robustness towards out-of-place transformations is achieved via the end-to-end training of a differentiable warping module within the comparator architecture. We demonstrate effective retrieval and manipulation detection over a dataset of 100 million images.


title: Microscopic-macroscopic level densities for low excitation energies

abstract: Level density $\rho(E,{\bf Q})$ is derived within the micro-macroscopic approximation (MMA) for a system of strongly interacting Fermi particles with the energy $E$ and additional integrals of motion ${\bf Q}$, in line with several topics of the universal and fruitful activity of A.S. Davydov. Within the extended Thomas Fermi and semiclassical periodic orbit theory beyond the Fermi-gas saddle-point method we obtain $\rho\propto I_\nu(S)/S^\nu$, where $I_\nu(S)$ is the modified Bessel function of the entropy $S$. For small shell-structure contribution one finds $\nu=\kappa/2+1$, where $\kappa$ is the number of additional integrals of motion. This integer number is a dimension of ${\bf Q}$, ${\bf Q}=\{N, Z, ...\}$ for the case of two-component atomic nuclei, where $N$ and $Z$ are the numbers of neutron and protons, respectively. For much larger shell structure contributions, one obtains, $\nu=\kappa/2+2$. The MMA level density $\rho$ reaches the well-known Fermi gas asymptote for large excitation energies, and the finite micro-canonical combinatoric limit for low excitation energies. The additional integrals of motion can be also the projection of the angular momentum of a nuclear system for nuclear rotations of deformed nuclei, number of excitons for collective dynamics, and so on. Fitting the MMA total level density, $\rho(E,{\bf Q})$, for a set of the integrals of motion ${\bf Q}=\{N, Z\}$, to experimental data on a long nuclear isotope chain for low excitation energies, one obtains the results for the inverse level-density parameter $K$, which differs significantly from those of neutron resonances, due to shell, isotopic asymmetry, and pairing effects.


title: On the Chudakov effect for the most probable value of high-energy electron-positron pair ionization loss in thin targets

abstract: The ionization loss of a high-energy electron-positron pair in thin targets is considered. The analogue of the Landau distribution function is derived for this loss under the condition when the Chudakov effect of the pair ionization loss suppression is manifested. Expression for the most probable value of the pair ionization loss $E_{MP}$ is obtained. It is shown that the magnitude of Chudakov effect for $E_{MP}$ can be noticeably different from the magnitude of this effect for the restricted mean value of the pair ionization loss.


title: Joint Spatial Division and Multiplexing for FDD in Intelligent Reflecting Surface-assisted Massive MIMO Systems

abstract: Intelligent reflecting surface (IRS) is a promising technology to deliver the higher spectral and energy requirements in fifth-generation (5G) and beyond wireless networks while shaping the propagation environment. Such a design can be further enhanced with massive multiple-input-multiple-output (mMIMO) characteristics towards boosting the network performance. However, channel reciprocity, assumed in 5G systems such as mMIMO, appears to be questioned in practice by recent studies on IRS. Hence, contrary to previous works, we consider frequency division duplexing (FDD) to study the performance of an IRS-assisted mMIMO system. However, FDD is not suitable for large number of antennas architectures. For this reason we employ the joint spatial division and multiplexing (JSDM) approach exploiting the structure of the correlation of the channel vectors to reduce the channel state information (CSI) uplink feedback, and thus, allowing the use even of a large number of antennas at the base station. JSDM entails dual-structured precoding and clustering the user equipments (UEs) with the same covariance matrix into groups. Specifically, we derive the sum spectral efficiency (SE) based on statistical CSI in terms of large-scale statistics by using the deterministic equivalent (DE) analysis while accounting for correlated Rayleigh fading. Subsequently, we formulate the optimization problem concerning the sum SE with respect to the reflecting beamforming matrix (RBM) and the total transmit power, which can be performed at every several coherence intervals by taking advantage of the slow-time variation of the large-scale statistics. This notable property contributes further to the decrease of the feedback overhead.


title: Effective field theories of gravity and compact binary dynamics: A Snowmass 2021 whitepaper

abstract: In this whitepaper, I describe modern applications of effective field theory (EFT) techniques to classical and quantum gravity, with relevance to problems in astrophysics and cosmology. As in applications of EFT to high-energy, nuclear, or condensed matter physics, the Wilsonian paradigm based on decoupling of short distance scales via renormalization group evolution remains a powerful organizing principle in the context of gravity. However, the presence of spacetime geometry brings in new elements ( non-trivial time-dependence, cosmological or black hole event horizons) which necessitate the introduction of novel field theoretic methods not usually encountered in applications of EFTs to physics at the energy and intensity frontiers. After a brief overview of recent developments in the application of EFT methods to gravity, I will focus on the EFT description of compact binary dynamics, including an overview of some of its applications to the experimental program in gravitational wave detection at LIGO/VIRGO and other observatories.


title: Spectral Analysis of the Kohn Laplacian on Lens Spaces

abstract: We obtain an analog of Weyl's law for the Kohn Laplacian on lens spaces. We also show that two 3-dimensional lens spaces with fundamental groups of equal prime order are isospectral with respect to the Kohn Laplacian if and only if they are CR isometric.


title: Co-spectral radius of intersections

abstract: We study the behavior of the co-spectral radius of a subgroup $H$ of a discrete group $\Gamma$ under taking intersections. Our main result is that the co-spectral radius of an invariant random subgroup does not drop upon intersecting with a deterministic co-amenable subgroup. As an application, we find that the intersection of independent co-amenable invariant random subgroups is co-amenable.


title: Effective bounds on $S$-integral preperiodic points for polynomials

abstract: Given a polynomial $f$ defined over a number field $K$, we make effective certain special cases of a conjecture of S. Ih, on the finiteness of $f$-preperiodic points which are $S$-integral with respect to a fixed non-preperiodic point $\alpha$. As an application, we obtain bounds on the number of $S$-units in the doubly indexed sequence $\{ f^n(\alpha) - f^m(\alpha) \}_{n > m \geq 0}$. In the case of a unicritical polynomial $f_c(z)=z^2+c$, with $\alpha$ fixed to be the critical point 0, for parameters $c$ outside a small region, we give an explicit bound which depends only on the number of places of bad reduction for $f_c$. As part of the proof, we obtain novel lower bounds for the $v$-adically smallest preperiodic point of $f_c$ for each place $v$ of $K$.


title: Sur la cohomologie \'etale de la courbe de Fargues-Fontaine

abstract: In this article the \'etale cohomology of constructible torsion sheaves on the \'etale site of the algebraic resp. adic Fargues-Fontaine curve is analyzed. In the $\ell\neq p$-torsion case, two conjectures of Fargues are verified: vanishing in degrees greater than two and the comparison between the \'etale cohomology of the adic and the algebraic curve. In the $p$-torsion case, under a certain assumption, the vanishing of the \'etale cohomology in degrees greater than two of those Zariski-constructible sheaves on the adic curve that come via pullback from the algebraic curve is proven.


title: No imputation without representation

abstract: Imputation allows datasets to be used with algorithms that cannot handle missing values by themselves. However, missing values may in principle contribute useful information that is lost through imputation. The missing-indicator approach can be used to preserve this information. There are several theoretical considerations why missing-indicators may or may not be beneficial, but there has not been any large-scale practical experiment on real-life datasets to test this question for machine learning predictions. We perform this experiment for three imputation strategies and a range of different classification algorithms, on the basis of twenty real-life datasets. We find that missing-indicators generally increase classification performance, and that nearest neighbour and iterative imputation do not lead to better performance than simple mean/mode imputation. Therefore, we recommend the use of missing-indicators with mean/mode imputation as a safe default, with the caveat that for decision trees, pruning is necessary to prevent overfitting.


title: Target alignment in truncated kernel ridge regression

abstract: Kernel ridge regression (KRR) has recently attracted renewed interest due to its potential for explaining the transient effects, such as double descent, that emerge during neural network training. In this work, we study how the alignment between the target function and the kernel affects the performance of the KRR. We focus on the truncated KRR (TKRR) which utilizes an additional parameter that controls the spectral truncation of the kernel matrix. We show that for polynomial alignment, there is an \emph{over-aligned} regime, in which TKRR can achieve a faster rate than what is achievable by full KRR. The rate of TKRR can improve all the way to the parametric rate, while that of full KRR is capped at a sub-optimal value. This shows that target alignemnt can be better leveraged by utilizing spectral truncation in kernel methods. We also consider the bandlimited alignment setting and show that the regularization surface of TKRR can exhibit transient effects including multiple descent and non-monotonic behavior. Our results show that there is a strong and quantifable relation between the shape of the \emph{alignment spectrum} and the generalization performance of kernel methods, both in terms of rates and in finite samples.


title: GAN-based Intrinsic Exploration For Sample Efficient Reinforcement Learning

abstract: In this study, we address the problem of efficient exploration in reinforcement learning. Most common exploration approaches depend on random action selection, however these approaches do not work well in environments with sparse or no rewards. We propose Generative Adversarial Network-based Intrinsic Reward Module that learns the distribution of the observed states and sends an intrinsic reward that is computed as high for states that are out of distribution, in order to lead agent to unexplored states. We evaluate our approach in Super Mario Bros for a no reward setting and in Montezuma's Revenge for a sparse reward setting and show that our approach is indeed capable of exploring efficiently. We discuss a few weaknesses and conclude by discussing future works.


title: Cosmic Neutrinos as a Window to Departures from Special Relativity

abstract: We review the peculiarities that make neutrino a very special cosmic messenger in high-energy astrophysics, and, in particular, to provide possible indications of deviations from special relativity, as it is suggested theoretically by quantum gravity models. In this respect, we examine the effects that one could expect in the production, propagation, and detection of neutrinos, not only in the well-studied scenario of Lorentz Invariance Violation, but also in models which maintain, but deform, the relativity principle, such as those considered in the framework of Doubly Special Relativity. We discuss the challenges and the promising future prospects offered by this phenomenological window to physics beyond special relativity.


title: Topological Dirac Sigma Models and the Classical Master Equation

abstract: We present the construction of the classical Batalin-Vilkovisky action for topological Dirac sigma models. The latter are two-dimensional topological field theories that simultaneously generalise the completely gauged Wess-Zumino-Novikov-Witten model and the Poisson sigma model. Their underlying structure is that of Dirac manifolds associated to maximal isotropic and integrable subbundles of an exact Courant algebroid twisted by a 3-form. In contrast to the Poisson sigma model, the AKSZ construction is not applicable for the general Dirac sigma model. We therefore follow a direct approach for determining a suitable BV extension of the classical action functional with ghosts and antifields satisfying the classical master equation. Special attention is paid on target space covariance, which requires the introduction of two connections with torsion on the Dirac structure.


title: ALP Dark Matter from Kinetic Fragmentation: Opening up the Parameter Window

abstract: The main mechanism responsible for Axion-Like-Particle (ALP) production in the early universe is the so-called misalignment mechanism. Three regimes have been investigated in this context: standard misalignment, large misalignment and kinetic misalignment. The latter applies if the axion inherits a large initial velocity in the early universe, such that the field rolls through many wiggles during its evolution, before it gets trapped in one minimum. This largely opens the region of parameter space for ALP dark matter towards higher values for the axion-photon coupling, which can be probed by the whole set of next decade's upcoming experiments. In fact, almost the entire parameter space in the [mass, decay constant] plane can now accommodate dark matter. In this paper, we show that in kinetic misalignment, the axion field is almost always entirely fragmented, meaning that the energy density of the homogeneous field is redistributed over higher-mode axions. We present a general model-independent analytical description of kinetic fragmentation, including discussion of the modified initial conditions for the mode functions due to the axion's initial velocity, and how they impact the growth of the adiabatic fluctuations. We calculate precisely the parameter regions corresponding respectively to standard misalignment, kinetic misalignment with weak fragmentation, fragmentation after trapping and fragmentation before trapping. While axion fragmentation can impact the precise determination of the relic abundance, another main observational implication is the formation of much denser compact axion halos, that is described in a companion paper. We also point out a new gravitational-wave signature that arises in the large misalignment regime with complete fragmentation and could be seen in measurements of $\mu$ distortions in the Cosmic Microwave Background.


title: A non-local magneto-curvature instability in a differentially rotating disk

abstract: A global mode is shown to be unstable to non-axisymmetric perturbations in a differentially rotating Keplerian disk containing either vertical or azimuthal magnetic fields. In an unstratified cylindrical disk model, using both global eigenvalue stability analysis and linear global initial-value simulations, it is demonstrated that this instability dominates at strong magnetic field where local standard MRI becomes stable. Unlike the standard MRI mode, which is concentrated in the high flow shear region, these distinct global modes (with low azimuthal mode numbers) are extended in the global domain and are Alfv\'en continuum driven unstable modes. As its mode structure and relative dominance over MRI is inherently determined by the global spatial curvature as well as the flow shear in the presence of magnetic field, we call it the magneto-curvature (magneto-spatial-curvature) instability. Consistent with the linear analysis, as the field strength is increased in the nonlinear simulations, a transition from a MRI-driven turbulence to a state dominated by global non-axisymmetric modes is obtained. This global instability could therefore be a source of nonlinear transport in accretion disks at higher magnetic field than predicted by local models.


abstract: Semi-supervised learning is the problem of training an accurate predictive model by combining a small labeled dataset with a presumably much larger unlabeled dataset. Many methods for semi-supervised deep learning have been developed, including pseudolabeling, consistency regularization, and contrastive learning techniques. Pseudolabeling methods however are highly susceptible to confounding, in which erroneous pseudolabels are assumed to be true labels in early iterations, thereby causing the model to reinforce its prior biases and thereby fail to generalize to strong predictive performance. We present a new approach to suppress confounding errors through a method we describe as Semi-supervised Contrastive Outlier removal for Pseudo Expectation Maximization (SCOPE). Like basic pseudolabeling, SCOPE is related to Expectation Maximization (EM), a latent variable framework which can be extended toward understanding cluster-assumption deep semi-supervised algorithms. However, unlike basic pseudolabeling which fails to adequately take into account the probability of the unlabeled samples given the model, SCOPE introduces an outlier suppression term designed to improve the behavior of EM iteration given a discrimination DNN backbone in the presence of outliers. Our results show that SCOPE greatly improves semi-supervised classification accuracy over a baseline, and furthermore when combined with consistency regularization achieves the highest reported accuracy for the semi-supervised CIFAR-10 classification task using 250 and 4000 labeled samples. Moreover, we show that SCOPE reduces the prevalence of confounding errors during pseudolabeling iterations by pruning erroneous high-confidence pseudolabeled samples that would otherwise contaminate the labeled set in subsequent retraining iterations.


title: Supervised Training of Conditional Monge Maps

abstract: Optimal transport (OT) theory describes general principles to define and select, among many possible choices, the most efficient way to map a probability measure onto another. That theory has been mostly used to estimate, given a pair of source and target probability measures $(\mu, \nu)$, a parameterized map $T_\theta$ that can efficiently map $\mu$ onto $\nu$. In many applications, such as predicting cell responses to treatments, pairs of input/output data measures $(\mu, \nu)$ that define optimal transport problems do not arise in isolation but are associated with a context $c$, as for instance a treatment when comparing populations of untreated and treated cells. To account for that context in OT estimation, we introduce CondOT, a multi-task approach to estimate a family of OT maps conditioned on a context variable, using several pairs of measures $\left(\mu_i, \nu_i\right)$ tagged with a context label $c_i$. CondOT learns a global map $\mathcal{T}_\theta$ conditioned on context that is not only expected to fit all labeled pairs in the dataset $\left\{\left(c_i,\left(\mu_i, \nu_i\right)\right)\right\}$, i.e., $\mathcal{T}_\theta\left(c_i\right) \sharp \mu_i \approx \nu_i$, but should also generalize to produce meaningful maps $\mathcal{T}_\theta\left(c_{\text {new }}\right)$ when conditioned on unseen contexts $c_{\text {new }}$. Our approach harnesses and provides a novel usage for partially input convex neural networks, for which we introduce a robust and efficient initialization strategy inspired by Gaussian approximations. We demonstrate the ability of CondOT to infer the effect of an arbitrary combination of genetic or therapeutic perturbations on single cells, using only observations of the effects of said perturbations separately.


title: ZoDIAC: Zoneout Dropout Injection Attention Calculation

abstract: Recently the use of self-attention has yielded to state-of-the-art results in vision-language tasks such as image captioning as well as natural language understanding and generation (NLU and NLG) tasks and computer vision tasks such as image classification. This is since self-attention maps the internal interactions among the elements of input source and target sequences. Although self-attention successfully calculates the attention values and maps the relationships among the elements of input source and target sequence, yet there is no mechanism to control the intensity of attention. In real world, when communicating with each other face to face or vocally, we tend to express different visual and linguistic context with various amounts of intensity. Some words might carry (be spoken with) more stress and weight indicating the importance of that word in the context of the whole sentence. Based on this intuition, we propose Zoneout Dropout Injection Attention Calculation (ZoDIAC) in which the intensities of attention values in the elements of the input sequence are calculated with respect to the context of the elements of input sequence. The results of our experiments reveal that employing ZoDIAC leads to better performance in comparison with the self-attention module in the Transformer model. The ultimate goal is to find out if we could modify self-attention module in the Transformer model with a method that is potentially extensible to other models that leverage on self-attention at their core. Our findings suggest that this particular goal deserves further attention and investigation by the research community. The code for ZoDIAC is available on www.github.com/zanyarz/zodiac .


title: Simple and Effective Knowledge-Driven Query Expansion for QA-Based Product Attribute Extraction

abstract: A key challenge in attribute value extraction (AVE) from e-commerce sites is how to handle a large number of attributes for diverse products. Although this challenge is partially addressed by a question answering (QA) approach which finds a value in product data for a given query (attribute), it does not work effectively for rare and ambiguous queries. We thus propose simple knowledge-driven query expansion based on possible answers (values) of a query (attribute) for QA-based AVE. We retrieve values of a query (attribute) from the training data to expand the query. We train a model with two tricks, knowledge dropout and knowledge token mixing, which mimic the imperfection of the value knowledge in testing. Experimental results on our cleaned version of AliExpress dataset show that our method improves the performance of AVE (+6.08 macro F1), especially for rare and ambiguous attributes (+7.82 and +6.86 macro F1, respectively).


title: Online Anomaly Detection Based On Reservoir Sampling and LOF for IoT devices

abstract: The growing number of IoT devices and their use to monitor the operation of machines and equipment increases interest in anomaly detection algorithms running on devices. However, the difficulty is the limitations of the available computational and memory resources on the devices. In the case of microcontrollers (MCUs), these are single megabytes of program and several hundred kilobytes of working memory. Consequently, algorithms must be appropriately matched to the capabilities of the devices. In the paper, we analyse the processing pipeline for anomaly detection and implementation of the Local Outliner Factor (LOF) algorithm on a MCU. We also show that it is possible to train such an algorithm directly on the device, which gives great potential to use the solution in real devices.


title: Matrix representations of arbitrary bounded operators on Hilbert spaces

abstract: We show that under natural and quite general assumptions, a large part of a matrix for a bounded linear operator on a Hilbert space can be preassigned. The result is obtained in a more general setting of operator tuples leading to interesting consequences, e.g. when the tuple consists of powers of a single operator. We also prove several variants of this result of independent interest. The paper substantially extends former research on matrix representations in infinite-dimensional spaces dealing mainly with prescribing the main diagonals.


title: Applications of Reinforcement Learning in Finance -- Trading with a Double Deep Q-Network

abstract: This paper presents a Double Deep Q-Network algorithm for trading single assets, namely the E-mini S&P 500 continuous futures contract. We use a proven setup as the foundation for our environment with multiple extensions. The features of our trading agent are constantly being expanded to include additional assets such as commodities, resulting in four models. We also respond to environmental conditions, including costs and crises. Our trading agent is first trained for a specific time period and tested on new data and compared with the long-and-hold strategy as a benchmark (market). We analyze the differences between the various models and the in-sample/out-of-sample performance with respect to the environment. The experimental results show that the trading agent follows an appropriate behavior. It can adjust its policy to different circumstances, such as more extensive use of the neutral position when trading costs are present. Furthermore, the net asset value exceeded that of the benchmark, and the agent outperformed the market in the test set. We provide initial insights into the behavior of an agent in a financial domain using a DDQN algorithm. The results of this study can be used for further development.


title: BertNet: Harvesting Knowledge Graphs with Arbitrary Relations from Pretrained Language Models

abstract: It is crucial to automatically construct knowledge graphs (KGs) of diverse new relations to support knowledge discovery and broad applications. Previous KG construction methods, based on either crowdsourcing or text mining, are often limited to a small predefined set of relations due to manual cost or restrictions in text corpus. Recent research proposed to use pretrained language models (LMs) as implicit knowledge bases that accept knowledge queries with prompts. Yet, the implicit knowledge lacks many desirable properties of a full-scale symbolic KG, such as easy access, navigation, editing, and quality assurance. In this paper, we propose a new approach of harvesting massive KGs of arbitrary relations from pretrained LMs. With minimal input of a relation definition (a prompt and a few shot of example entity pairs), the approach efficiently searches in the vast entity pair space to extract diverse accurate knowledge of the desired relation. We develop an effective search-and-rescore mechanism for improved efficiency and accuracy. We deploy the approach to harvest KGs of over 400 new relations from different LMs. Extensive human and automatic evaluations show our approach manages to extract diverse accurate knowledge, including tuples of complex relations (e.g., "A is capable of but not good at B"). The resulting KGs as a symbolic interpretation of the source LMs also reveal new insights into the LMs' knowledge capacities.


title: Demonstration of error-suppressed quantum annealing via boundary cancellation

abstract: The boundary cancellation theorem for open systems extends the standard quantum adiabatic theorem: assuming the gap of the Liouvillian does not vanish, the distance between a state prepared by a boundary cancelling adiabatic protocol and the steady state of the system shrinks as a power of the number of vanishing time derivatives of the Hamiltonian at the end of the preparation. Here we generalize the boundary cancellation theorem so that it applies also to the case where the Liouvillian gap vanishes, and consider the effect of dynamical freezing of the evolution. We experimentally test the predictions of the boundary cancellation theorem using quantum annealing hardware, and find qualitative agreement with the predicted error suppression despite using annealing schedules that only approximate the required smooth schedules. Performance is further improved by using quantum annealing correction, and we demonstrate that the boundary cancellation protocol is significantly more robust to parameter variations than protocols which employ pausing to enhance the probability of finding the ground state.


title: Exporting Ada Software to Python and Julia

abstract: The objective is to demonstrate the making of Ada software available to Python and Julia programmers using GPRbuild. GPRbuild is the project manager of the GNAT toolchain. With GPRbuild the making of shared object files is fully automated and the software can be readily used in Python and Julia. The application is the build process of PHCpack, a free and open source software package to solve polynomial systems by homotopy continuation methods, written mainly in Ada, with components in C++, available at github at https://github.com/janverschelde/PHCpack.


title: A comment on the solutions of the generalized Faddeev-Volkov model

abstract: We consider two recent generalizations of the Faddeev-Volkov model, which is exactly solvable Ising-type lattice spin model. The first generalization based on using of the non-compact quantum dilogarithm over Pontryagin self-dual LCA group $\mathbb{R}\times \mathbb{Z}/N\mathbb{Z}$, and another one constructed in a recent study via the gauge/YBE correspondence. We show that weight functions of these models obtained by different techniques are the same up to a constant.


title: Collecting high-quality adversarial data for machine reading comprehension tasks with humans and models in the loop

abstract: We present our experience as annotators in the creation of high-quality, adversarial machine-reading-comprehension data for extractive QA for Task 1 of the First Workshop on Dynamic Adversarial Data Collection (DADC). DADC is an emergent data collection paradigm with both models and humans in the loop. We set up a quasi-experimental annotation design and perform quantitative analyses across groups with different numbers of annotators focusing on successful adversarial attacks, cost analysis, and annotator confidence correlation. We further perform a qualitative analysis of our perceived difficulty of the task given the different topics of the passages in our dataset and conclude with recommendations and suggestions that might be of value to people working on future DADC tasks and related annotation interfaces.


title: Asymptotic bounds for the number of closed and privileged words

abstract: A word~$w$ has a border $u$ if $u$ is a non-empty proper prefix and suffix of $u$. A word~$w$ is said to be \emph{closed} if $w$ is of length at most $1$ or if $w$ has a border that occurs exactly twice in $w$. A word~$w$ is said to be \emph{privileged} if $w$ is of length at most $1$ or if $w$ has a privileged border that occurs exactly twice in $w$. Let $C_k(n)$ (resp.~$P_k(n)$) be the number of length-$n$ closed (resp. privileged) words over a $k$-letter alphabet. In this paper, we improve existing upper and lower bounds on $C_k(n)$ and $P_k(n)$. We completely resolve the asymptotic behaviour of $C_k(n)$. We also nearly completely resolve the asymptotic behaviour of $P_k(n)$ by giving a family of upper and lower bounds that are separated by a factor that grows arbitrarily slowly.


title: Learning block structured graphs in Gaussian graphical models

abstract: Within the framework of Gaussian graphical models, a prior distribution for the underlying graph is introduced to induce a block structure in the adjacency matrix of the graph and learning relationships between fixed groups of variables. A novel sampling strategy named Double Reversible Jumps Markov chain Monte Carlo is developed for block structural learning, under the conjugate G-Wishart prior. The algorithm proposes moves that add or remove not just a single link but an entire group of edges. The method is then applied to smooth functional data. The classical smoothing procedure is improved by placing a graphical model on the basis expansion coefficients, providing an estimate of their conditional independence structure. Since the elements of a B-Spline basis have compact support, the independence structure is reflected on well-defined portions of the domain. A known partition of the functional domain is exploited to investigate relationships among the substances within the compound.


title: Dynamic CoVaR Modeling

abstract: The popular systemic risk measure CoVaR (conditional Value-at-Risk) is widely used in economics and finance. Formally, it is defined as a large quantile of one variable (e.g., losses in the financial system) conditional on some other variable (e.g., losses in a bank's shares) being in distress. In this article, we propose joint dynamic forecasting models for the Value-at-Risk (VaR) and CoVaR. We also introduce a two-step M-estimator for the model parameters drawing on recently proposed bivariate scoring functions for the pair (VaR, CoVaR). We prove consistency and asymptotic normality of our parameter estimator and analyze its finite-sample properties in simulations. Finally, we apply a specific subclass of our dynamic forecasting models, which we call CoCAViaR models, to log-returns of large US banks. It is shown that our CoCAViaR models generate CoVaR predictions that are superior to forecasts issued from current benchmark models.

categories: econ.EM math.ST q-fin.RM stat.ME stat.TH


title: NumS: Scalable Array Programming for the Cloud

abstract: Scientists increasingly rely on Python tools to perform scalable distributed memory array operations using rich, NumPy-like expressions. However, many of these tools rely on dynamic schedulers optimized for abstract task graphs, which often encounter memory and network bandwidth-related bottlenecks due to sub-optimal data and operator placement decisions. Tools built on the message passing interface (MPI), such as ScaLAPACK and SLATE, have better scaling properties, but these solutions require specialized knowledge to use. In this work, we present NumS, an array programming library which optimizes NumPy-like expressions on task-based distributed systems. This is achieved through a novel scheduler called Load Simulated Hierarchical Scheduling (LSHS). LSHS is a local search method which optimizes operator placement by minimizing maximum memory and network load on any given node within a distributed system. Coupled with a heuristic for load balanced data layouts, our approach is capable of attaining communication lower bounds on some common numerical operations, and our empirical study shows that LSHS enhances performance on Ray by decreasing network load by a factor of 2x, requiring 4x less memory, and reducing execution time by 10x on the logistic regression problem. On terabyte-scale data, NumS achieves competitive performance to SLATE on DGEMM, up to 20x speedup over Dask on a key operation for tensor factorization, and a 2x speedup on logistic regression compared to Dask ML and Spark's MLlib.


title: Integrable Floquet systems related to logarithmic conformal field theory

abstract: We study an integrable Floquet quantum system related to lattice statistical systems in the universality class of dense polymers. These systems are described by a particular non-unitary representation of the Temperley-Lieb algebra. We find a simple Lie algebra structure for the elements of Temperley-Lieb algebra which are invariant under shift by two lattice sites, and show how the local Floquet conserved charges and the Floquet Hamiltonian are expressed in terms of this algebra. The system has a phase transition between local and non-local phases of the Floquet Hamiltonian. We provide a strong indication that in the scaling limit this non-equilibrium system is described by the logarithmic conformal field theory.

categories: quant-ph cond-mat.stat-mech hep-th math-ph math.MP nlin.SI


title: A Perturbation Bound on the Subspace Estimator from Canonical Projections

abstract: This paper derives a perturbation bound on the optimal subspace estimator obtained from a subset of its canonical projections contaminated by noise. This fundamental result has important implications in matrix completion, subspace clustering, and related problems.


title: The Benefits of Hydrogen Energy Transmission and Conversion Systems to the Renewable Power Grids: Day-ahead Unit Commitment

abstract: The curtailment of renewable energy is more frequently observed as the renewable penetration levels are rising rapidly in modern power systems. It is a waste of free and green renewable energy and implies current power grids are unable to accommodate more renewable sources. One major reason is that higher power transmission capacity is required for higher renewable penetration level. Another major reason is the volatility of the renewable generation. The hydrogen mix or pure hydrogen pipeline can both transfer and store the energy in the form of hydrogen. However, its potential of accelerating renewable integration has not been investigated. In this paper, hydrogen pipeline networks, combined with power-to-hydrogen (P2H) and hydrogen-to-power (H2P) facilities, are organized to form a Hydrogen Energy Transmission and Conversion System (HETCS). We investigate the operation of power systems coupled with HETCS, and propose the day-ahead security-constrained unit commitment (SCUC) with HETCS. The SCUC simulation is conducted on a modified IEEE 24-bus power system with HETCS. Simulation results show HETCS can substantially reduce the renewable curtailment, CO2 emission, load payment and total operational cost. This study validates the HETCS can be a promising solution to achieve net-zero renewable grids.


title: The numerical solution of fractional integral equations via orthogonal polynomials in fractional powers

abstract: We present a spectral method for one-sided linear fractional integral equations on a closed interval that achieves exponentially fast convergence for a variety of equations, including ones with irrational order, multiple fractional orders, non-trivial variable coefficients, and initial-boundary conditions. The method uses an orthogonal basis that we refer to as Jacobi fractional polynomials, which are obtained from an appropriate change of variable in weighted classical Jacobi polynomials. New algorithms for building the matrices used to represent fractional integration operators are presented and compared. Even though these algorithms are unstable and require the use of high-precision computations, the spectral method nonetheless yields well-conditioned linear systems and is therefore stable and efficient. For time-fractional heat and wave equations, we show that our method (which is not sparse but uses an orthogonal basis) outperforms a sparse spectral method (which uses a basis that is not orthogonal) due to its superior stability.


title: On validity of different PDFs sets using the proton $k_t$-factorization structure functions and the Gaussian $k_t$-dependence of KMR UPDFs

abstract: In this work, we discuss: (i) The ratios of different parton distribution functions (PDFs), i.e., MMHT2014, CJ15, CTEQ6l1, HERAPDF15, MSTW2008, HERAPDF20 and MSHT20, and the corresponding Kimber-Martin-Ryskin (KMR) unintegrated parton distribution functions (UPDFs) sets versus the hard scale $Q^2$, to find out the sensibility of the KMR UPDFs with respect to the input PDFs sets. It is shown that there is not much difference between the different input-PDFs or corresponding UPDFs sets ratios. (ii) Then, the dependence of proton $k_t$-factorization structure functions on the different UPDFs sets which can use the above PDFs sets as input, are presented. The results are compared with the experimental data of ZEUS, NMC and H1+ZEUS at the hard scale $Q^2 =27$ and $90$ $GeV^2$, and a reasonable agreement is found, considering different input PDFs sets. (iii) Furthermore, by fitting a Gaussian function, which depends on the transverse momentum $k_t$, to the KMR UPDFs and averaging over $x$ (the fractional parton momentum), we obtain the average transverse momentum, $<k_t^2>$, in the scale range $Q^2=2.4-1.44\times10^4$ $GeV^2$, which is in agreement with the other groups predictions, $0.25-0.44$ $GeV^2$ at $Q^2=2.4$ $GeV^2$. (iv) Finally we explore the average transverse momentum for which, the results of proton structure function with the KMR UPDFs and that of the Gaussian $k_t$-dependent, are consistent to each other. Through the above report, at each step the parton branching (PB) UPDFs, i.e., the transverse momentum dependent PDFs (PB TMDPDFs) are considered for comparisons with the corresponding KMR UPDFs output.


title: Neural Integro-Differential Equations

abstract: Modeling continuous dynamical systems from discretely sampled observations is a fundamental problem in data science. Often, such dynamics are the result of non-local processes that present an integral over time. As such, these systems are modeled with Integro-Differential Equations (IDEs); generalizations of differential equations that comprise both an integral and a differential component. For example, brain dynamics are not accurately modeled by differential equations since their behavior is non-Markovian, i.e. dynamics are in part dictated by history. Here, we introduce the Neural IDE (NIDE), a novel deep learning framework based on the theory of IDEs where integral operators are learned using neural networks. We test NIDE on several toy and brain activity datasets and demonstrate that NIDE outperforms other models. These tasks include time extrapolation as well as predicting dynamics from unseen initial conditions, which we test on whole-cortex activity recordings in freely behaving mice. Further, we show that NIDE can decompose dynamics into their Markovian and non-Markovian constituents via the learned integral operator, which we test on fMRI brain activity recordings of people on ketamine. Finally, the integrand of the integral operator provides a latent space that gives insight into the underlying dynamics, which we demonstrate on wide-field brain imaging recordings. Altogether, NIDE is a novel approach that enables modeling of complex non-local dynamics with neural networks.


title: Narrowband composite two-qubit phase gates

abstract: We propose a method to construct composite two-qubit gates with narrowband profiles with respect to the spin-spin coupling. The composite sequences are selective to the variations in the amplitude and duration of the spin-spin coupling, and can be used for highly-selective qubit addressing with greatly reduced cross talk, quantum logic spectroscopy, and quantum sensing.


title: Optimal Estimation of Generic Dynamics by Path-Dependent Neural Jump ODEs

abstract: This paper studies the problem of forecasting general stochastic processes using a path-dependent extension of the Neural Jump ODE (NJ-ODE) framework \citep{herrera2021neural}. While NJ-ODE was the first framework to establish convergence guarantees for the prediction of irregularly observed time series, these results were limited to data stemming from It\^o-diffusions with complete observations, in particular Markov processes, where all coordinates are observed simultaneously. In this work, we generalise these results to generic, possibly non-Markovian or discontinuous, stochastic processes with incomplete observations, by utilising the reconstruction properties of the signature transform. These theoretical results are supported by empirical studies, where it is shown that the path-dependent NJ-ODE outperforms the original NJ-ODE framework in the case of non-Markovian data. Moreover, we show that PD-NJ-ODE can be applied successfully to classical stochastic filtering problems and to limit order book (LOB) data.


title: Lessons Learned on MPI+Threads Communication

abstract: Hybrid MPI+threads programming is gaining prominence, but, in practice, applications perform slower with it compared to the MPI everywhere model. The most critical challenge to the parallel efficiency of MPI+threads applications is slow MPI_THREAD_MULTIPLE performance. MPI libraries have recently made significant strides on this front, but to exploit their capabilities, users must expose the communication parallelism in their MPI+threads applications. Recent studies show that MPI 4.0 provides users with new performance-oriented options to do so, but our evaluation of these new mechanisms shows that they pose several challenges. An alternative design is MPI Endpoints. In this paper, we present a comparison of the different designs from the perspective of MPI's end-users: domain scientists and application developers. We evaluate the mechanisms on metrics beyond performance such as usability, scope, and portability. Based on the lessons learned, we make a case for a future direction.


title: TPU-KNN: K Nearest Neighbor Search at Peak FLOP/s

abstract: This paper presents a novel nearest neighbor search algorithm achieving TPU (Google Tensor Processing Unit) peak performance, outperforming state-of-the-art GPU algorithms with similar level of recall. The design of the proposed algorithm is motivated by an accurate accelerator performance model that takes into account both the memory and instruction bottlenecks. Our algorithm comes with an analytical guarantee of recall in expectation and does not require maintaining sophisticated index data structure or tuning, making it suitable for applications with frequent updates. Our work is available in the open-source package of Jax and Tensorflow on TPU.


title: On isomorphism classes of leaf-induced subtrees in topological trees

abstract: A subtree can be induced in a natural way by a subset of leaves of a rooted tree. We study the number of nonisomorphic such subtrees induced by leaves (leaf-induced subtrees) of a rooted tree with no vertex of outdegree 1 (topological tree). We show that only stars and binary caterpillars have the minimum nonisomorphic leaf-induced subtrees among all topological trees with a given number of leaves. We obtain a closed formula and a recursive formula for the families of $d$-ary caterpillars and complete $d$-ary trees, respectively. An asymptotic formula is found for complete $d$-ary trees using polynomial recurrences. We also show that the complete binary tree of height $h>1$ contains precisely $\lfloor 2(1.24602...)^{2^h}\rfloor$ nonisomorphic leaf-induced subtrees.


title: Learning Time Delay Systems with Neural Ordinary Differential Equations

abstract: A novel way of using neural networks to learn the dynamics of time delay systems from sequential data is proposed. A neural network with trainable delays is used to approximate the right hand side of a delay differential equation. We relate the delay differential equation to an ordinary differential equation by discretizing the time history and train the corresponding neural ordinary differential equation (NODE) to learn the dynamics. An example on learning the dynamics of the Mackey-Glass equation using data from chaotic behavior is given. After learning both the nonlinearity and the time delay, we demonstrate that the bifurcation diagram of the neural network matches that of the original system.


title: Stronger Together: Air-Ground Robotic Collaboration Using Semantics

abstract: In this work, we present an end-to-end heterogeneous multi-robot system framework where ground robots are able to localize, plan, and navigate in a semantic map created in real time by a high-altitude quadrotor. The ground robots choose and deconflict their targets independently, without any external intervention. Moreover, they perform cross-view localization by matching their local maps with the overhead map using semantics. The communication backbone is opportunistic and distributed, allowing the entire system to operate with no external infrastructure aside from GPS for the quadrotor. We extensively tested our system by performing different missions on top of our framework over multiple experiments in different environments. Our ground robots travelled over 6 km autonomously with minimal intervention in the real world and over 96 km in simulation without interventions.


title: Equidistribution of Zeros of Random Polynomials and Random Polynomial mappings on $\mathbb{C}^m$

abstract: We study equidistribution problem of zeros in relation to a sequence of $Z$-asymptotically Chebyshev polynomials(which might not be orthonormal) in $\mathbb{C}^{m}$. We use certain results obtained in a very recent work of Bayraktar, Bloom and Levenberg and have an equidistribution result in a more general probabilistic setting than what the paper of Bayraktar, Bloom and Levenberg considers even though the basis polynomials they use are more general than $Z$-asymptotically Chebyshev polynomials. Our equidistribution result is based on the expected distribution and the variance estimate of random zero currents corresponding to the zero sets of polynomials. This equidistribution result of general nature shows that equidistribution result turns out to be true without the random coefficients that come from the basis representation being i.i.d. (independent and identically distributed), which also means that there is no need to use any probability distribution function for these random coefficients. In the last section, unlike from the $1$-codimensional case, we study the orthogonal polynomials with respect to the $L^{2}$-inner product defined by the weighted asymptotically Bernstein-Markov measures on a given locally regular compact set, and with a well-studied more general probability distribution including the Gaussian and the Fubini-Study probability distributions as special cases, we have an equidistribution result for codimensions bigger than $1$.


title: Micron-sized silica-PNIPAM core-shell microgels with tunable shell-to-core ratio

abstract: Micron-sized hard core-soft shell hybrid microgels are promising model systems for studies of soft matter as they enable in-situ optical investigations and their structures/morphologies can be engineered with a great variety. Yet, protocols that yield micron-sized core-shell microgels with a tailorable shell-to-core size ratio are rarely available. In this work, we report on the one-pot synthesis protocol for micron-sized silica-poly(N-isopropylacrylamide) core-shell microgels that has excellent control over the shell-to-core ratio. Small-angle light scattering and microscopy of 2- and 3-dimensional assemblies of the synthesized microgels confirm that the produced microgels are monodisperse and suitable for optical investigation even at high packing fractions.


title: Discussion of a uniqueness result in "Equilibrium Configurations for a Floating Drop"

abstract: We analyze a uniqueness result presented by Elcrat, Neel, and Siegel \cite{ENS} for unbounded liquid bridges, and show that the proof they presented is incorrect. We add a choice of three hypothesis to their stated theorem and show that their result holds under this condition. Then we use Chebyshev spectral methods to build a numerical method to approximate solutions to a related boundary value problems that show one of the three hypothesis holds.


title: Human-Multirobot Collaborative Mobile Manipulation: the Omnid Mocobots

abstract: The Omnid human-collaborative mobile manipulators are an experimental platform for testing control architectures for autonomous and human-collaborative multirobot mobile manipulation. An Omnid consists of a mecanum-wheel omnidirectional mobile base and a series-elastic Delta-type parallel manipulator, and it is a specific implementation of a broader class of mobile collaborative robots ("mocobots") suitable for safe human co-manipulation of delicate, flexible, and articulated payloads. Key features of mocobots include passive compliance, for the safety of the human and the payload, and high-fidelity end-effector force control independent of the potentially imprecise motions of the mobile base. We describe general considerations for the design of teams of mocobots; the design of the Omnids in light of these considerations; manipulator and mobile base controllers to achieve useful multirobot collaborative behaviors; and initial experiments in human-multirobot collaborative mobile manipulation of large, unwieldy payloads. For these experiments, the only communication among the humans and Omnids is mechanical, through the payload.


title: First light of the Integral Field Unit of GRIS on the GREGOR solar telescope

abstract: An Integral Field Unit (IFU) based on image-slicers has been added to the GREGOR Infrared Spectrograph (GRIS). This upgrade to the instrument makes possible 2D spectropolarimetry in the near-infrared by simultaneously recording the full Stokes profiles of spectral lines (in a given spectral interval) at all the points in the field of view. It provides high-cadence spectropolarimetric observations at the instrument's high spatial resolution and high polarization sensitivity at the GREGOR solar telescope. The IFU is ideal for observing the polarized spectrum of fast-evolving solar features at high spatial and spectral resolutions. The high observing cadence opens the possibility of time-series observations. The analysis of observations to this level of accuracy is essential for understanding the complex dynamics and interactions of solar plasma and magnetic fields. The image slicer of the IFU has eight slices of width 100 micron, covering a total field of view of 6" x 3". It was designed and built within the framework of the European projects SOLARNET and GREST, as a prototype for future instruments of the European Solar Telescope (EST) and was integrated into GRIS. After two commissioning campaigns in 2017 and 2018, the IFU was finally installed at the end of September 2018 and offered to all observers who use the telescope.