title: Minimal prime ages, words and permutation graphs Extended abstract

abstract: This paper is a contribution to the study of hereditary classes of finite graphs. We classify these classes according to the number of prime structures they contain. We consider such classes that are \emph{minimal prime}: classes that contain infinitely many primes but every proper hereditary subclass contains only finitely many primes. We give a complete characterization of such classes. In fact, each one of these classes is a well quasi ordered age and there are uncountably many of them. Eleven of these ages remain well quasi ordered when labels in a well quasi ordering are added. Among the remaining ones, countably many remain well quasi ordered when one label is added. Except for six examples, members of these ages we characterize are permutation graphs. In fact, every age which is not among the eleven ones is the age of a graph associated to a uniformly recurrent $0$-$1$ word on the integers. A characterization of minimal prime classes of posets and bichains is also provided.


title: Leveraging Pseudo-labeled Data to Improve Direct Speech-to-Speech Translation

abstract: Direct Speech-to-speech translation (S2ST) has drawn more and more attention recently. The task is very challenging due to data scarcity and complex speech-to-speech mapping. In this paper, we report our recent achievements in S2ST. Firstly, we build a S2ST Transformer baseline which outperforms the original Translatotron. Secondly, we utilize the external data by pseudo-labeling and obtain a new state-of-the-art result on the Fisher English-to-Spanish test set. Indeed, we exploit the pseudo data with a combination of popular techniques which are not trivial when applied to S2ST. Moreover, we evaluate our approach on both syntactically similar (Spanish-English) and distant (English-Chinese) language pairs. Our implementation is available at https://github.com/fengpeng-yue/speech-to-speech-translation.


title: Interfacial properties of 2D WS2 on SiO2 substrate from x-ray photoelectron spectroscopy and first-principles calculations

abstract: Two-dimensional (2D) WS2 films were deposited on SiO2 wafers, and the related interfacial properties were investigated by high-resolution x-ray photoelectron spectroscopy (XPS) and first-principles calculations. Using the direct (indirect) method, the valence band offset (VBO) at monolayer WS2/SiO2 interface was found to be 3.97 eV (3.86 eV), and the conduction band offset (CBO) was 2.70 eV (2.81 eV). Furthermore, the VBO (CBO) at bulk WS2/SiO2 interface is found to be about 0.48 eV (0.33 eV) larger due to the interlayer orbital coupling and splitting of valence and conduction band edges. Therefore, the WS2/SiO2 heterostructure has a Type I energy-band alignment. The band offsets obtained experimentally and theoretically are consistent except the narrower theoretical bandgap of SiO2. The theoretical calculations further reveal a binding energy of 75 meV per S atom and the totally separated partial density of states, indicating a weak interaction and negligible Fermi level pinning effect between WS2 monolayer and SiO2 surface. Our combined experimental and theoretical results provide proof of the sufficient VBOs and CBOs and weak interaction in 2D WS2/SiO2 heterostructures.


title: Symplectic 4-dimensional semifields of order $8^4$ and $9^4$

abstract: We classify symplectic 4-dimensional semifields over $\mathbb{F}_q$, for $q\leq 9$, thereby extending (and confirming) the previously obtained classifications for $q\leq 7$. The classification is obtained by classifying all symplectic semifield subspaces in $\mathrm{PG}(9,q)$ for $q\leq 9$ up to $K$-equivalence, where $K\leq \mathrm{PGL}(10,q)$ is the lift of $\mathrm{PGL}(4,q)$ under the Veronese embedding of $\mathrm{PG}(3,q)$ in $\mathrm{PG}(9,q)$ of degree two. Our results imply the non-existence of non-associative symplectic 4-dimensional semifields for $q$ even, $q\leq 8$. For $q$ odd, and $q\leq 9$, our results imply that the isotopism class of a symplectic non-associative 4-dimensional semifield over $\mathbb{F}_q$ is contained in the Knuth orbit of a Dickson commutative semifield.


title: A general framework for optimising cost-effectiveness of pandemic response under partial intervention measures

abstract: The COVID-19 pandemic created enormous public health and socioeconomic challenges. The health effects of vaccination and non-pharmaceutical interventions (NPIs) were often contrasted with significant social and economic costs. We describe a general framework aimed to derive adaptive cost-effective interventions, adequate for both recent and emerging pandemic threats. We also quantify the net health benefits and propose a reinforcement learning approach to optimise adaptive NPIs. The approach utilises an agent-based model simulating pandemic responses in Australia, and accounts for a heterogeneous population with variable levels of compliance fluctuating over time and across individuals. Our analysis shows that a significant net health benefit may be attained by adaptive NPIs formed by partial social distancing measures, coupled with moderate levels of the society's willingness to pay for health gains (health losses averted). We demonstrate that a socially acceptable balance between health effects and incurred economic costs is achievable over a long term, despite possible early setbacks.

categories: cs.MA econ.GN physics.soc-ph q-bio.PE q-fin.EC


title: Resilience Enhancement at Edge Cloud Systems

abstract: It is becoming common practice to push interactive and location-based services from remote datacenters to resource-constrained edge domains. This trend creates new management challenges at the network edge, not least to ensure resilience. These challenges now need to be investigated and overcome. In this paper, we explore the use of open-source programmable asset orchestration at edge cloud systems to guarantee operational resilience and a satisfactory performance level despite system incidents such as faults, congestion, or cyber-attacks. We discuss the design and deployment of a new cross-level configurable solution, Resilient Edge Cloud Systems (RECS). Results from appropriate tests made on RECS highlight the positive effects of deploying novel service and resource management algorithms at both data and control planes of the programmable edge system to mitigate against disruptive events such as control channel issues, service overload, or link congestion. RECS offers the following benefits: i) the switch automatically selects the standalone operation mode after its disconnection from the upper-level controllers; ii) deployment of edge virtualized services is made, according to client requests; iii) the client requests are served by edge services and the related traffic is balanced among the alternative on-demand routing paths to the edge location where each service is available for its clients; iv) the TCP traffic quality is protected from unfair competitiveness of UDP flows; and v) a set of redundant controllers is orchestrated by a top-level multi-thread cluster manager, using a novel management protocol with low overhead.


title: Scalar Dark Matter with a $\mu\tau$ Flavored Mediator

abstract: We study a renormalizable scalar singlet dark matter model based on $Z_4$ lepton flavor symmetry. A $\mu\tau$-philic scalar doublet is introduced to explain the discrepancy between the experimental value and the theoretical prediction of the muon anomalous magnetic moment. At the same time, these flavored scalars play the role of a mediator which connects dark matter and standard model particles. The observed relic abundance of the dark matter is easily maintained while satisfying the current severe constraints on the dark matter from various experiments and observations thanks to the flavor off-diagonal interactions of scalar mediators. We also explore the possibility of dark matter direct detection through the one-loop process.


title: Design and implementation of brain surgery bipolar electrocautery simulator using haptic technology

abstract: Surgical simulators have been widely used in training and evaluation of physicians and surgeons. Virtual reality augmented with haptic technology has made it feasible to develop more realistic surgical simulators. In this context, we set out to design and develop a brain surgery bipolar electrocautery simulator using haptic technology. A 3D model of brain tissue was generated based on a brain craniotomy image. Bipolar forceps were also modeled to visually assimilate real forceps. An experiment was developed to assess the learning process of the participants. In this experiment, the volunteers were asked to cauterize a large blood vessel in the brain while minimizing the damage done to the brain tissue. The experiment was performed on 20 volunteers, and statistical analysis was conducted on the learning process and error reduction during the surgery. Next, the volunteers were divided into gamer and non gamer groups. The analysis of the volunteers operation demonstrated that, on average, there was a 5 percent reduction in the percentage of applied force error. It was also shown that the results achieved by the gamer and non gamer group has significant difference with a p value of 0.0001. So, playing computer games would increase hand control, focus, and reflex and positively affect surgery skills.


title: The impact of extragalactic foregrounds on internal delensing of CMB B-mode polarization

abstract: The search for primordial $B$-mode polarization of the CMB is limited by the sample variance of $B$-modes produced at later times by gravitational lensing. Constraints can be improved by `delensing': using some proxy of the matter distribution to partially remove the lensing-induced $B$-modes. Current and soon-upcoming experiments will infer a matter map -- at least in part -- from the temperature anisotropies of the CMB. These reconstructions are contaminated by extragalactic foregrounds: radio-emitting galaxies, the cosmic infrared background, or the Sunyaev--Zel'dovich effects. Using the Websky simulations, we show that the foregrounds add spurious power to the angular auto-spectrum of delensed $B$-modes via non-Gaussian higher-point functions, biasing constraints on the tensor-to-scalar ratio, $r$. We consider an idealized experiment similar to the Simons Observatory, with no Galactic or atmospheric foregrounds. After removing point sources detectable at 143 GHz and reconstructing lensing from CMB temperature modes $l<3500$ using a Hu-Okamoto quadratic estimator (QE), we infer a value of $r$ that is $1.5\,\sigma$ higher than the true $r=0$. Reconstructing instead from a minimum-variance ILC map only exacerbates the problem, bringing the bias above $3\,\sigma$. When the $TT$ estimator is co-added with other QEs or with external matter tracers, new couplings ensue which partially cancel the diluted bias from $TT$. We provide a simple and effective prescription to model these effects. In addition, we demonstrate that the point-source-hardened or shear-only QEs can not only mitigate the biases to acceptable levels, but also lead to lower power than the Hu-Okamoto QE after delensing. Thus, temperature-based reconstructions remain powerful tools in the quest to measure $r$.


title: A finite element method for the quasiclassical theory of superconductivity

abstract: The Eilenberger-Larkin-Ovchinnikov-Eliashberg quasiclassical theory of superconductivity is a powerful method enabling studies of a wide range of equilibrium and non-equilibrium phenomena in conventional and unconventional superconductors. We introduce here a finite element method, based on a discontinuous Galerkin approach, to self-consistently solve the underlying transport equations for general device geometries, arbitrary mean free path and symmetry of the superconducting order parameter. We present results on i) the influence of scalar impurity scattering on phase crystals in $d$-wave superconducting grains at low temperatures and ii) the current flow and focusing in $d$-wave superconducting weak links, modeling recent experimental realizations of grooved high-temperature superconducting Dayem bridges. The high adaptability of this finite element method for quasiclassical theory paves the way for future investigations of superconducting devices and new physical phenomena in unconventional superconductors.


title: Oriented and standard shadowing properties for topological flows

abstract: We prove that oriented and standard shadowing properties are equivalent for topological flows with finite singularites that are Lyapunov stable or Lyapunov unstable. Moreover, we prove that the direct product $\phi_1 \times \phi_2$ of two topological flows has the oriented shdowing property if $\phi_1$ with finite singuralities has the oriented shadowing property, while $\phi_2$ has the limit set consisting of finite singularities that are Lyapunov stable or Lyapunov unstable.


title: Diffusion and synchronization dynamics reveal the multi-scale patterns of spatial segregation

abstract: Urban systems are characterized by populations with heterogeneous characteristics, and whose spatial distribution is crucial to understand inequalities in life expectancy or education level. Traditional studies on spatial segregation indicators focus often on first-neighbour correlations but fail to capture complex multi-scale patterns. In this work, we aim at characterizing the spatial distribution heterogeneity of socioeconomic features through diffusion and synchronization dynamics. In particular, we use the time needed to reach the synchronization as a proxy for the spatial heterogeneity of a socioeconomic feature, as for example, the income. Our analysis for 16~income categories in cities from the United States reveals that the spatial distribution of the most deprived and affluent citizens leads to higher diffusion and synchronization times. By measuring the time needed for a neighborhood to reach the global phase we are able to detect those that suffer from a steeper segregation. Overall, the present manuscript exemplifies how diffusion and synchronization dynamics can be used to assess the heterogeneity in the presence of node information.


title: The local converse theorem for odd special orthogonal and symplectic groups in positive characteristic

abstract: Let $F$ be a non-archimedean local field of characteristic different from $2$ and $G$ be either an odd special orthogonal group ${\rm SO}_{2r+1}(F)$ or a symplectic group ${\rm Sp}_{2r}(F)$. In this paper, we establish the local converse theorem for $G$. Namely, for given two irreducible admissible generic representations of $G$ with the same central character, if they have the same local gamma factors twisted by irreducible supercuspidal representations of ${\rm GL}_n(F)$ for all $1 \leq n \leq r$ with the same additive character, these representations are isomorphic. Using the theory of Cogdell, Shahidi, and Tsai on partial Bessel functions and the classification of irreducible generic representations, we break the barrier on the rank of twists $1 \leq n \leq 2r-1$ in the work of Jiang and Soudry, and extend the result of Q. Zhang, which was achieved for all supercuspidal representations in characteristic $0$.


title: Confidential Machine Learning within Graphcore IPUs

abstract: We present IPU Trusted Extensions (ITX), a set of experimental hardware extensions that enable trusted execution environments in Graphcore's AI accelerators. ITX enables the execution of AI workloads with strong confidentiality and integrity guarantees at low performance overheads. ITX isolates workloads from untrusted hosts, and ensures their data and models remain encrypted at all times except within the IPU. ITX includes a hardware root-of-trust that provides attestation capabilities and orchestrates trusted execution, and on-chip programmable cryptographic engines for authenticated encryption of code and data at PCIe bandwidth. We also present software for ITX in the form of compiler and runtime extensions that support multi-party training without requiring a CPU-based TEE. Experimental support for ITX is included in Graphcore's GC200 IPU taped out at TSMC's 7nm technology node. Its evaluation on a development board using standard DNN training workloads suggests that ITX adds less than 5% performance overhead, and delivers up to 17x better performance compared to CPU-based confidential computing systems relying on AMD SEV-SNP.


title: On Assignment Problems Related to Gromov-Wasserstein Distances on the Real Line

abstract: Let $x_1 < \dots < x_n$ and $y_1 < \dots < y_n$, $n \in \mathbb N$, be real numbers. We show by an example that the assignment problem $$ \max_{\sigma \in S_n} F_\sigma(x,y) := \frac12 \sum_{i,k=1}^n |x_i - x_k|^\alpha \, |y_{\sigma(i)} - y_{\sigma(k)}|^\alpha, \quad \alpha >0, $$ is in general neither solved by the identical permutation (id) nor the anti-identical permutation (a-id) if $n > 2 +2^\alpha$. Indeed the above maximum can be, depending on the number of points, arbitrary far away from $F_\text{id}(x,y)$ and $F_\text{a-id}(x,y)$. The motivation to deal with such assignment problems came from their relation to Gromov-Wasserstein divergences which have recently attained a lot of attention.


title: Accelerated chemical space search using a quantum-inspired cluster expansion approach

abstract: To enable the accelerated discovery of materials with desirable properties, it is critical to develop accurate and efficient search algorithms. Quantum annealers and similar quantum-inspired optimizers have the potential to provide accelerated computation for certain combinatorial optimization challenges. However, they have not been exploited for materials discovery due to absence of compatible optimization mapping methods. Here we show that by combining cluster expansion with a quantum-inspired superposition technique, we can lever quantum annealers in chemical space exploration for the first time. This approach enables us to accelerate the search of materials with desirable properties order 10-50 times faster than genetic algorithms and bayesian optimizations, with a significant improvement in ground state prediction accuracy. Levering this, we search chemical space for discovery of acidic oxygen evolution reaction (OER) catalysts and find a promising previously unexplored chemical family of Ru-Cr-Mn-Sb-O$_2$. The best catalyst in this chemical family show a mass activity 8 times higher than state-of-art RuO$_2$ and maintain performance for 180 hours while operating at 10mA/cm$^2$ in acidic 0.5 M $H_2SO_4$ electrolyte.


title: Distributional Robustness: From Pricing to Auctions

abstract: Robust mechanism design is a rising alternative to Bayesian mechanism design, which yields designs that do not rely on assumptions like full distributional knowledge. We apply this approach to mechanisms for selling a single item, assuming that only the mean of the value distribution and an upper bound on the bidder values are known. We seek the mechanism that maximizes revenue over the worst-case distribution compatible with the known parameters. Such a mechanism arises as an equilibrium of a zero-sum game between the seller and an adversary who chooses the distribution, and so can be referred to as the max-min mechanism. Carrasco et al. [2018] derive the max-min pricing when the seller faces a single bidder for the item. We go from max-min pricing to max-min auctions by studying the canonical setting of two i.i.d. bidders, and show the max-min mechanism is the second-price auction with a randomized reserve. We derive a closed-form solution for the distribution over reserve prices, as well as the worst-case value distribution, for which there is simple economic intuition. In fact we derive a closed-form solution for the reserve price distribution for any number of bidders. Our technique for solving the zero-sum game is quite different than that of Carrasco et al.- it involves analyzing a discretized version of the setting, then refining the discretization grid and deriving a closed-form solution for the non-discretized, original setting. Our results establish a difference between the case of two bidders and that of $n \ge 3$ bidders.


title: Measurement of antiproton production from antihyperon decays in pHe collisions at $\sqrt{s_{NN}}=110$ GeV

abstract: The interpretation of cosmic antiproton flux measurements from space-borne experiments is currently limited by the knowledge of the antiproton production cross-section in collisions between primary cosmic rays and the interstellar medium. Using collisions of protons with an energy of 6.5 TeV incident on helium nuclei at rest in the proximity of the interaction region of the LHCb experiment, the ratio of antiprotons originating from antihyperon decays to prompt production is measured for antiproton momenta between 12 and 110 GeV/c. The dominant antihyperon contribution, namely $\bar{\Lambda} \to \bar{p} \pi^+$ decays from promptly produced $\bar{\Lambda}$ particles, is also exclusively measured. The results complement the measurement of prompt antiproton production obtained from the same data sample. At the energy scale of this measurement, the antihyperon contributions to antiproton production are observed to be significantly larger than predictions of commonly used hadronic production models.


title: Broken-SUSY dynamic reflectionless optical amplifier

abstract: Broken-supersymmetry is used to define a reflectionless active cavity capable of amplifying electromagnetic radiation in the visible. The approach is analytical through the use of the Darboux transform for the generation of the optical potential and the calculation of its solution, while the transmission/reflection spectra evaluation is done with the Transfer Matrix method. Interestingly, the proposed device behaves as a dynamic optical filter amplifying radiation arriving at large angles while for other directions is almost completely transparent. Thus, simply by rotation different functionalities can be obtained. In addition the active filter is reflectionless for all wavelengths and angles of incidence. The necessary Kramers-Kronig relations are also satisfied being the model compatible with the Drude model at high frequency i.e. far from absorption resonances.


title: Semiclassical asymptotic expansions for functions of the Bochner-Schr\"odinger operator

abstract: The Bochner-Schr\"odinger operator $H_{p}=\frac 1p\Delta^{L^p\otimes E}+V$ on tensor powers $L^p$ of a Hermitian line bundle $L$ twisted by a Hermitian vector bundle $E$ on a Riemannian manifold of bounded geometry is studied. For any function $\varphi\in \mathcal S(\mathbb R)$, we consider the bounded linear operator $\varphi(H_p)$ in $L^2(X,L^p\otimes E)$ defined by the spectral theorem and describe an asymptotic expansion of its smooth Schwartz kernel in a fixed neighborhood of the diagonal in the semiclassical limit $p\to \infty$. In particular, we prove that the trace of the operator $\varphi(H_p)$ admits a complete asymptotic expansion in powers of $p^{-1/2}$ as $p\to \infty$.


title: Modulo factors with bounded degrees

abstract: Let $G$ be a bipartite graph with bipartition $(X,Y)$, let $k$ be a positive integer, and let $f:V(G)\rightarrow Z_k$ be a mapping with $\sum_{v\in X}f(v) \stackrel{k}{\equiv}\sum_{v\in Y}f(v)$. In this paper, we show that if $G$ is $(3k-3)$-edge-connected, then it admits a factor $H$ such that for each vertex $v$, $d_H(v)\stackrel{k}{\equiv} f(v)$, and $$\lfloor\frac{d_G(v)}{2}\rfloor-(k-1)\le d_{H}(v)\le \lceil\frac{d_G(v)}{2}\rceil+k-1.$$ Next, we generalize this result to general graphs and derive a sufficient degree condition for a highly edge-connected general graph $G$ to have a factor $H$ such that for each vertex $v$, $d_H(v)\in \{f(v),f(v)+k\}$. Finally, we show that every $(4k-1)$-edge-connected essentially $(6k-7)$-edge-connected graph admits a bipartite factor whose degrees are positive and divisible by $k$.


title: Quantum Gravity in a Laboratory?

abstract: It has long been thought that observing distinctive traces of quantum gravity in a laboratory setting is effectively impossible, since gravity is so much weaker than all the other familiar forces in particle physics. But the quantum gravity phenomenology community today seeks to do the (effectively) impossible, using a challenging novel class of `tabletop' Gravitationally Induced Entanglement (GIE) experiments, surveyed here. The hypothesized outcomes of the GIE experiments are claimed by some (but disputed by others) to provide a `witness' of the underlying quantum nature of gravity in the non-relativistic limit, using superpositions of Planck-mass bodies. We inspect what sort of achievement it would possibly be to perform GIE experiments, as proposed, ultimately arguing that the positive claim of witness is equivocal. Despite various sweeping arguments to the contrary in the vicinity of quantum information theory or given low-energy quantum gravity, whether or not one can claim to witness the quantum nature of the gravitational field in these experiments decisively depends on which out of two legitimate modelling paradigms one finds oneself in. However, by situating GIE experiments in a tradition of existing experiments aimed at making gravity interestingly quantum in the laboratory, we argue that, independently of witnessing or paradigms, there are powerful reasons to perform the experiments, and that their successful undertaking would indeed be a major advance in physics.


title: The Robotic Multi-Object Focal Plane System of the Dark Energy Spectroscopic Instrument (DESI)

abstract: A system of 5,020 robotic fiber positioners was installed in 2019 on the Mayall Telescope, at Kitt Peak National Observatory. The robots automatically re-target their optical fibers every 10 - 20 minutes, each to a precision of several microns, with a reconfiguration time less than 2 minutes. Over the next five years, they will enable the newly-constructed Dark Energy Spectroscopic Instrument (DESI) to measure the spectra of 35 million galaxies and quasars. DESI will produce the largest 3D map of the universe to date and measure the expansion history of the cosmos. In addition to the 5,020 robotic positioners and optical fibers, DESI's Focal Plane System includes 6 guide cameras, 4 wavefront cameras, 123 fiducial point sources, and a metrology camera mounted at the primary mirror. The system also includes associated structural, thermal, and electrical systems. In all, it contains over 675,000 individual parts. We discuss the design, construction, quality control, and integration of all these components. We include a summary of the key requirements, the review and acceptance process, on-sky validations of requirements, and lessons learned for future multi-object, fiber-fed spectrographs.


title: Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

abstract: Automatic structures are infinite structures that are finitely represented by synchronized finite-state automata. This paper concerns specifically automatic structures over finite words and trees (ranked/unranked). We investigate the "directed version" of Ramsey quantifiers, which express the existence of an infinite directed clique. This subsumes the standard "undirected version" of Ramsey quantifiers. Interesting connections between Ramsey quantifiers and two problems in verification are firstly observed: (1) reachability with B\"{u}chi and generalized B\"{u}chi conditions in regular model checking can be seen as Ramsey quantification over transitive automatic graphs (i.e., whose edge relations are transitive), (2) checking monadic decomposability (a.k.a. recognizability) of automatic relations can be viewed as Ramsey quantification over co-transitive automatic graphs (i.e., the complements of whose edge relations are transitive). We provide a comprehensive complexity landscape of Ramsey quantifiers in these three cases (general, transitive, co-transitive), all between NL and EXP. In turn, this yields a wealth of new results with precise complexity, e.g., verification of subtree/flat prefix rewriting, as well as monadic decomposability over tree-automatic relations. We also obtain substantially simpler proofs, e.g., for NL complexity for monadic decomposability over word-automatic relations (given by DFAs).


title: A weakly supervised framework for high-resolution crop yield forecasts

abstract: Predictor inputs and label data for crop yield forecasting are not always available at the same spatial resolution. We propose a deep learning framework that uses high resolution inputs and low resolution labels to produce crop yield forecasts for both spatial levels. The forecasting model is calibrated by weak supervision from low resolution crop area and yield statistics. We evaluated the framework by disaggregating regional yields in Europe from parent statistical regions to sub-regions for five countries (Germany, Spain, France, Hungary, Italy) and two crops (soft wheat and potatoes). Performance of weakly supervised models was compared with linear trend models and Gradient-Boosted Decision Trees (GBDT). Higher resolution crop yield forecasts are useful to policymakers and other stakeholders. Weakly supervised deep learning methods provide a way to produce such forecasts even in the absence of high resolution yield data.


title: Dictionary-Based Fusion of Contact and Acoustic Microphones for Wind Noise Reduction

abstract: In mobile speech communication applications, wind noise can lead to a severe reduction of speech quality and intelligibility. Since the performance of speech enhancement algorithms using acoustic microphones tends to substantially degrade in extremely challenging scenarios, auxiliary sensors such as contact microphones can be used. Although contact microphones offer a much lower recorded wind noise level, they come at the cost of speech distortion and additional noise components. Aiming at exploiting the advantages of acoustic and contact microphones for wind noise reduction, in this paper we propose to extend conventional single-microphone dictionary-based speech enhancement approaches by simultaneously modeling the acoustic and contact microphone signals. We propose to train a single speech dictionary and two noise dictionaries and use a relative transfer function to model the relationship between the speech components at the microphones. Simulation results show that the proposed approach yields improvements in both speech quality and intelligibility compared to several baseline approaches, most notably approaches using only the contact microphones or only the acoustic microphone.


title: Shell-confined atom and plasma: incidental degeneracy, metallic character and information entropy

abstract: Shell confined atom can serve as a generalized model to explain both \emph{free} and \emph{confined} condition. In this scenario, an atom is trapped inside two concentric spheres of inner $(R_{a})$ and outer $(R_{b})$ radius. The choice of $R_{a}, R_{b}$ renders four different quantum mechanical systems. In hydrogenic atom, they are termed as (a) free hydrogen atom (FHA) (b) confined hydrogen atom (CHA) (c) shell-confined hydrogen atom (SCHA) (d) left-confined hydrogen atom (LCHA). By placing $R_{a}, R_{b}$ at the location of radial nodes of respective \emph{free} $n,\ell$ states, a new kind of degeneracy may arise. At a given $n$ of FHA, there exists $\frac{n(n+1)(n+2)}{6}$ number of iso-energic states with energy $-\frac{Z^{2}}{2n^{2}}$. Furthermore, within a given $n$, the individual contribution of each of these four potentials has also been enumerated. This incidental degeneracy concept is further explored and analyzed in certain well-known \emph{plasma} (Debye and exponential cosine screened) systems. Multipole oscillator strength, $f^{(k)}$, and polarizability, $\alpha^{(k)}$, are evaluated for (a)-(d) in some low-lying states $(k=1-4)$. In excited states, \emph{negative} polarizability is also observed. In this context, metallic behavior of H-like systems in SCHA is discussed and demonstrated. Additionally analytical closed-form expression of $f^{(k)}$ and $\alpha^{(k)}$ are reported for $1s,2s,2p,3d,4f,5g$ states of FHA. Finally, Shannon entropy and Onicescu {\color{red}information} energies are investigated in ground state in SCHA and LCHA in both position and momentum spaces. Much of the results are reported here for first time.


title: Category of Quantizations and Inverse Problem

abstract: We introduce a category composed of all quantizations of all Poisson algebras. By the category, we can treat in a unified way the various quantizations for all Poisson algebras and develop a new classical limit formulation. This formulation proposes a new method for the inverse problem, that is, the problem of finding the classical limit from a quantized space. Equivalence of quantizations is defined by using this category, and the conditions under which the two quantizations are equivalent are investigated. Two types of classical limits are defined as the limits in the context of category theory, and they are determined by giving a sequence of objects. Using these classical limits, we discuss the inverse problem of determining the classical limit from some noncommutative Lie algebra. From a Lie algebra, we construct a sequence of quantized spaces, from which we determine a Poisson algebra. We also present a method to obtain this sequence of quantizations from the principle of least action by using matrix regularization. Apart from the above category of quantizations of all Poisson algebras, a category of quantizations of a fixed single Poisson algebra is also introduced. In this category, the other classical limit is defined, and it is automatically determined for the category.


title: Toward Timed-Release Encryption in Web3 An Efficient Dual-Purpose Proof-of-Work Consensus

abstract: Many existing timed-release encryption schemes uses time-lock puzzles to avoid relying on a trusted timeserver or a key holder which could be a weak spot in data security. However, it is unavoidable to consume massive computing power for solving time-lock puzzles and it is difficult for encryptors to predict the amount of time to solve a puzzle by decryptors. In this study, an efficient dual-purpose proof-of-work consensus allows users to release a time-locked content, which is encrypted by an asymmetric key encryption scheme on a blockchain, without trust in any third-party agents. The release time is predictable as the block time in a proof-of-work blockchain is adaptively controlled. The mining work is reproposed so that once a new block was mined on the blockchain network, time-lock puzzles were also solved immediately. No additional work is required to reveal the time-locked contents and the encryption is secured by monetary incentive mechanisms since it would be very costly to arrange an attack attempt, which must overtake the total hash rate of the whole blockchain network.


title: Exploring the Advantages of Dense-Vector to One-Hot Encoding of Intent Classes in Out-of-Scope Detection Tasks

abstract: This work explores the intrinsic limitations of the popular one-hot encoding method in classification of intents when detection of out-of-scope (OOS) inputs is required. Although recent work has shown that there can be significant improvements in OOS detection when the intent classes are represented as dense-vectors based on domain specific knowledge, we argue in this paper that such gains are more likely due to advantages of dense-vector to one-hot encoding methods in representing the complexity of the OOS space. We start by showing how dense-vector encodings can create OOS spaces with much richer topologies than one-hot encoding methods. We then demonstrate empirically, using four standard intent classification datasets, that knowledge-free, randomly generated dense-vector encodings of intent classes can yield massive, over 20% gains over one-hot encodings, and also outperform the previous, domain knowledge-based, SOTA of one of the datasets. We finish by describing a novel algorithm to search for good dense-vector encodings and present initial but promising experimental results of its use.


title: Field Distortion Model Based on Fredholm Integral

abstract: Field distortion is widespread in imaging systems. If it cannot be measured and corrected well, it will affect the accuracy of photogrammetry. To this end, we proposed a general field distortion model based on Fredholm integration, which uses a reconstructed high-resolution reference point spread function (PSF) and two sets of 4-variable polynomials to describe an imaging system. The model includes the point-to-point positional distortion from the object space to the image space and the deformation of the PSF so that we can measure an actual field distortion with arbitrary accuracy. We also derived the formula required for correcting the sampling effect of the image sensor. Through numerical simulation, we verify the effectiveness of the model and reconstruction algorithm. This model will have potential application in high-precision image calibration, photogrammetry and astrometry.


title: Uncertainty prediction of built-up areas from global human settlement data in the United States based on landscape metrics

abstract: The level of landscape heterogeneity may affect the performance of remote sensing based land use / land cover classification. However, the relationship between mapping accuracy of built-up surfaces and morphological characteristics of built-up areas has not been analyzed explicitly, and previous studies typically rely on aggregated landscape metrics to quantify the morphology of built-up areas, neglecting the fine-grained spatial variation and scale dependency of such metrics. Herein, we aim to fill this gap by assessing the associations between focal landscape metrics, derived from binary built-up surfaces, and focal data accuracy estimates. We test our approach for built-up surfaces from the Global Human Settlement Layer (GHSL) for Massachusetts (USA), by examining the explanatory power of landscape metrics for predictive modeling of commission and omission errors in the GHS-BUILT R2018A data product. We find that the Landscape Shape Index (LSI) exhibits the highest levels of correlation to focal accuracy measures. These relationships are scale-dependent, and increase with the level of spatial support. Our results are consistent across different regions within the U.S., and we find that the Recall measure has the strongest relationship to measures of built-up surface morphology across different temporal epochs and spatial resolutions. Regression analysis results (R2>0.9) indicate that it is possible to estimate commission errors in the GHSL in the absence of reference data, and that omission errors in the GHSL can be modeled without accessing the data themselves. Lastly, we test the generalizability of our predictive accuracy models to a different version of the GHSL (i.e., the GHS-BUILT-S2) covering a study area in North Carolina. We find varying levels of model transferability that increases with the spatial support at which landscape metrics and accuracy estimates are calculated.


title: Analytical solution of $D$ dimensional Schr\"odinger equation for Eckart potential with a new improved approximation in centrifugal term

abstract: Analytical solutions are presented for eigenvalues, eigenfunctions of {\color{red} D-dimensional Schrodinger equation having Eckart potential} within Nikiforov-Uvarov method. This uses a new, improved approximation for centrifugal term, from a combination of Greene-Aldrich and Pekeris approximations. Solutions are obtained in terms of hypergeometric functions. It facilitates an accurate representation in entire domain. Its validity is illustrated for energies in an arbitrary $\ell \neq 0$ quantum state. Results are compared for a chosen set of potential parameters in different dimensions. In short, a simple accurate approximation is offered for Eckart and other potentials in quantum mechanics, in higher dimension.


title: Learning latent representations for operational nitrogen response rate prediction

abstract: Learning latent representations has aided operational decision-making in several disciplines. Its advantages include uncovering hidden interactions in data and automating procedures which were performed manually in the past. Representation learning is also being adopted by earth and environmental sciences. However, there are still subfields that depend on manual feature engineering based on expert knowledge and the use of algorithms which do not utilize the latent space. Relying on those techniques can inhibit operational decision-making since they impose data constraints and inhibit automation. In this work, we adopt a case study for nitrogen response rate prediction and examine if representation learning can be used for operational use. We compare a Multilayer Perceptron, an Autoencoder, and a dual-head Autoencoder with a reference Random Forest model for nitrogen response rate prediction. To bring the predictions closer to an operational setting we assume absence of future weather data, and we are evaluating the models using error metrics and a domain-derived error threshold. The results show that learning latent representations can provide operational nitrogen response rate predictions by offering performance equal and sometimes better than the reference model.


title: VLC Physical Layer Security through RIS-aided Jamming Receiver for 6G Wireless Networks

abstract: Visible Light Communication (VLC) is one the most promising enabling technology for future 6G networks to overcome Radio-Frequency (RF)-based communication limitations thanks to a broader bandwidth, higher data rate, and greater efficiency. However, from the security perspective, VLCs suffer from all known wireless communication security threats (e.g., eavesdropping and integrity attacks). For this reason, security researchers are proposing innovative Physical Layer Security (PLS) solutions to protect such communication. Among the different solutions, the novel Reflective Intelligent Surface (RIS) technology coupled with VLCs has been successfully demonstrated in recent work to improve the VLC communication capacity. However, to date, the literature still lacks analysis and solutions to show the PLS capability of RIS-based VLC communication. In this paper, we combine watermarking and jamming primitives through the Watermark Blind Physical Layer Security (WBPLSec) algorithm to secure VLC communication at the physical layer. Our solution leverages RIS technology to improve the security properties of the communication. By using an optimization framework, we can calculate RIS phases to maximize the WBPLSec jamming interference schema over a predefined area in the room. In particular, compared to a scenario without RIS, our solution improves the performance in terms of secrecy capacity without any assumption about the adversary's location. We validate through numerical evaluations the positive impact of RIS-aided solution to increase the secrecy capacity of the legitimate jamming receiver in a VLC indoor scenario. Our results show that the introduction of RIS technology extends the area where secure communication occurs and that by increasing the number of RIS elements the outage probability decreases.


title: Coend Optics for Quantum Combs

abstract: We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. We show that there is a full and bijective on objects functor quotienting the intensional definition to the extensional one and give some sufficient conditions for this functor to be an isomorphism of categories. We also show how the constructions for 1-combs can be extended to produce polycategories of n-combs with similar results about when these polycategories are equivalent. The extensional definition is of particular interest in the study of quantum combs and we hope this work might produce further interest in the usage of optics for modelling these structures in quantum theory.


title: Voids and Halos in Voids statistics as a probe of the Expansion History of the Universe

abstract: Structures in the Universe are arranged into the cosmic web. Distributions, statistics, and evolutions of the structures can be used as probes for cosmological models. We investigate the number density of voids and dark matter halos-in-voids in the Excursion Set Theory (EST). We study the Markov and non-Markov frameworks of EST in both spherical and ellipsoidal collapse models. Afterward, we compare the number density of voids and halos-in-voids in the standard $\Lambda$CDM and the reconstructed model. The reconstructed model is a model-independent reconstruction based on background observations. This work explores the effects of the collapse model barrier in the different EST frameworks on the statistics of voids and the statistics of halos-in-voids. Finally, we find the hint that cosmological models can be distinguished by the number density of halos-in-voids in the $1.0-2.5$ redshift range. The maximum difference is observed in $z\sim1.9$.


title: Maslow's Hammer for Catastrophic Forgetting: Node Re-Use vs Node Activation

abstract: Continual learning - learning new tasks in sequence while maintaining performance on old tasks - remains particularly challenging for artificial neural networks. Surprisingly, the amount of forgetting does not increase with the dissimilarity between the learned tasks, but appears to be worst in an intermediate similarity regime. In this paper we theoretically analyse both a synthetic teacher-student framework and a real data setup to provide an explanation of this phenomenon that we name Maslow's hammer hypothesis. Our analysis reveals the presence of a trade-off between node activation and node re-use that results in worst forgetting in the intermediate regime. Using this understanding we reinterpret popular algorithmic interventions for catastrophic interference in terms of this trade-off, and identify the regimes in which they are most effective.


title: An Energy Conserving Mechanism for Temporal Metasurfaces

abstract: Changing the microstructure properties of a space-time metamaterial while a wave is propagating through it, in general requires addition or removal of energy, which can be of exponential form depending on the type of modulation. This limits the realization and application of space-time metamaterials. We resolve this issue by introducing a novel mechanism of conserving energy at temporal metasurfaces in a non-linear setting. The idea is first demonstrated by considering a wave-packet propagating in a discrete medium of 1-d chain of springs and masses, where using our energy conserving mechanism we show that the spring stiffness can be incremented at several time interfaces and the energy will still be conserved. We then consider an interesting application of time-reversed imaging in 1-d and 2-d spring-mass systems with a wave packet traveling in the homogenized regime. Our numerical simulations show that, in 1-d, when the wave packet hits the time-interface two sets of waves are generated, one traveling forward in time and the other traveling backward. The time-reversed waves re-converge at the location of the source and we observe its regeneration. In 2-d, we use more complicated initial shapes and, even then, we observe regeneration of the original image or source. Thus, we achieve time-reversed imaging with conservation of energy in a non-linear system. The energy conserving mechanism can be easily extended to continuum media.


title: Metrical approximations of functions

abstract: In this paper, we analyze metrical approximations of functions $F :\Lambda times X \rightarrow Y$ by trigonometric polynomials and $\rho$-periodic type functions, where $\emptyset \neq \Lambda \subseteq {\mathbb R}^{n},$ $X$ and $Y $are complex Banach spaces, and $\rho$ is a general binary relation on $Y .$ Besides the classical concept, we analyze Stepanov,Weyl, Besicovitch and Doss generalized approaches to metrical approximations. We clarify many structural properties of introduced spaces of functions and provide several applications of our theoretical results to the abstract Volterra integro-differential equations and the partial differential equations.


title: Designing for Caregiving: Integrating Robotic Assistance in Senior Living Communities

abstract: Robots hold significant promise to assist with providing care to an aging population and to help overcome increasing caregiver demands. Although a large body of research has explored robotic assistance for individuals with disabilities and age-related challenges, this past work focuses primarily on building robotic capabilities for assistance and has not yet fully considered how these capabilities could be used by professional caregivers. To better understand the workflows and practices of caregivers who support aging populations and to determine how robotic assistance can be integrated into their work, we conducted a field study using ethnographic and co-design methods in a senior living community. From our results, we created a set of design opportunities for robotic assistance, which we organized into three different parts: supporting caregiver workflows, adapting to resident abilities, and providing feedback to all stakeholders of the interaction.


title: A visual tour via the Definite Integration $\int_{a}^{b}\frac{1}{x}dx$

abstract: Geometrically, $\int_{a}^{b}\frac{1}{x}dx$ means the area under the curve $\frac{1}{x}$ from $a$ to $b$, where $0<a<b$, and this area gives a positive number. Using this area argument, in this expository note, we present some visual representations of some classical results. For examples, we demonstrate an area argument on a generalization of Euler's limit $\left(\lim\limits_{n\to\infty}\left(\frac{(n+1)}{n}\right)^{n}=e\right)$. Also, in this note, we provide an area argument of the inequality $b^a < a^b$, where $e \leq a< b$, as well as we provide a visual representation of an infinite geometric progression. Moreover, we prove that the Euler's constant $\gamma\in [\frac{1}{2}, 1)$ and the value of $e$ is near to $2.7$. Some parts of this expository article has been accepted for publication in Resonance - Journal of Science Education, The Mathematical Gazette, and International Journal of Mathematical Education in Science and Technology.


title: Modelling macroparasitic diseases dynamics

abstract: In this work we present a general framework for the modeling of the transmission dynamics of macroparasites which do not reproduce within the host like Ascaris lumbricoides, Trichuris trichiura, Necator americanus y Ancylostoma duodenale. The basic models are derived from general probabilistic models for the parasite density-dependent mating probability. Here we considered the particular, and common case, of a negative binomial distribution for the number of parasites in hosts. We find the basic reproductive number and we show that the system exhibit a saddle-node bifurcation at some value of the basic reproduction number. We also found the equilibria and basic reproduction number of a model for the more general case of heteregeneous host populations.


title: On a class of poly-context-free groups generated by automata

abstract: This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is isomorphic to the partially commutative monoid associated with the complement of the line graph of the defining tree. After that, we generalize these groups by introducing the quite broad class of reducible automaton groups, which lies in the class of contracting automaton groups without singular points. We give a general structure theorem that shows that all reducible automaton groups are direct limit of poly-context-free groups which are virtually subgroups of the direct product of free groups; notice that this result partially supports a conjecture by T. Brough. Moreover, we prove that tree automaton groups with at least two generators are not finitely presented and they are amenable groups, which are direct limit of non-amenable groups.


title: Stop the Spread: A Contextual Integrity Perspective on the Appropriateness of COVID-19 Vaccination Certificates

abstract: We present an empirical study exploring how privacy influences the acceptance of vaccination certificate (VC) deployments across different realistic usage scenarios. The study employed the privacy framework of Contextual Integrity, which has been shown to be particularly effective in capturing people's privacy expectations across different contexts. We use a vignette methodology, where we selectively manipulate salient contextual parameters to learn whether and how they affect people's attitudes towards VCs. We surveyed 890 participants from a demographically-stratified sample of the US population to gauge the acceptance and overall attitudes towards possible VC deployments to enforce vaccination mandates and the different information flows VCs might entail. Analysis of results collected as part of this study is used to derive general normative observations about different possible VC practices and to provide guidance for the possible deployments of VCs in different contexts.


title: Empirical Advocacy of Bio-inspired Models for Robust Image Recognition

abstract: Deep convolutional neural networks (DCNNs) have revolutionized computer vision and are often advocated as good models of the human visual system. However, there are currently many shortcomings of DCNNs, which preclude them as a model of human vision. There are continuous attempts to use features of the human visual system to improve the robustness of neural networks to data perturbations. We provide a detailed analysis of such bio-inspired models and their properties. To this end, we benchmark the robustness of several bio-inspired models against their most comparable baseline DCNN models. We find that bio-inspired models tend to be adversarially robust without requiring any special data augmentation. Additionally, we find that bio-inspired models beat adversarially trained models in the presence of more real-world common corruptions. Interestingly, we also find that bio-inspired models tend to use both low and mid-frequency information, in contrast to other DCNN models. We find that this mix of frequency information makes them robust to both adversarial perturbations and common corruptions.


title: The existence of $\{p,q\}$-orientations in edge-connected graphs

abstract: In 1976 Frank and Gy{\'a}rf{\'a}s gave a necessary and sufficient condition for the existence of an orientation in an arbitrary graph $G$ such that for each vertex $v$, the out-degree $d^+_G(v)$ of it satisfies $p(v)\le d^+_G(v)\le q(v)$, where $p$ and $q$ are two integer-valued functions on $V(G)$ with $p\le q$. In this paper, we give a sufficient edge-connectivity condition for the existence of an orientation in $G$ such that for each vertex $v$, $d^+_G(v)\in \{p(v),q(v)\}$, provided that for each vertex $v$, $p(v)\le \frac{1}{2}d_G(v) \le q(v)$, $|q(v)-p(v)|\le k$, and there is $t(v)\in \{p(v),q(v)\}$ in which $|E(G)|=\sum_{v\in V(G)}t(v)$. This result is a generalization of a theorem due to Thomassen (2012) on the existence of modulo orientations in highly edge-connected graphs.


title: Say NO to Optimization: A Non-Orthogonal Quantum Eigensolver

abstract: A balanced description of both static and dynamic correlations in electronic systems with nearly degenerate low-lying states presents a challenge for multi-configurational methods on classical computers. We present here a quantum algorithm utilizing the action of correlating cluster operators to provide high-quality wavefunction ans\"atze employing a non-orthogonal multireference basis that captures a significant portion of the exact wavefunction in a highly compact manner, and that allows computation of the resulting energies and wavefunctions at polynomial cost with a quantum computer. This enables a significant improvement over the corresponding classical non-orthogonal solver, which incurs an exponential cost when evaluating off-diagonal matrix elements between the ansatz states, and is therefore intractable. We implement the non-orthogonal quantum eigensolver (NOQE) here with an efficient ansatz parameterization inspired by classical quantum chemistry methods that succeed in capturing significant amounts of electronic correlation accurately. By taking advantage of classical methods for chemistry, NOQE provides a flexible, compact, and rigorous description of both static and dynamic electronic correlation, making it an attractive method for the calculation of electronic states of a wide range of molecular systems.


title: Strongly nonexpansive mappings revisited: uniform monotonicity and operator splitting

abstract: The correspondence between the class of nonexpansive mappings and the class of maximally monotone operators via the reflected resolvents of the latter has played an instrumental role in the convergence analysis of the splitting methods. Indeed, the performance of some of these methods, e.g., Douglas-Rachford and Peaceman-Rachford methods hinges on iterating the so-called splitting operator associated with the individual operators. This splitting operator is a function of the composition of the reflected resolvents of the underlying operators. In this paper, we provide a comprehensive study of the class of uniformly monotone operators and their corresponding reflected resolvents. We show that the latter is closely related to the class of the strongly nonexpansive operators introduced by Bruck and Reich. Connections to duality via inverse operators are systematically studied. We provide applications to Douglas-Rachford and Peaceman-Rachford methods. Examples that illustrate and tighten our results are presented.


title: Learning Shared Kernel Models: the Shared Kernel EM algorithm

abstract: Expectation maximisation (EM) is an unsupervised learning method for estimating the parameters of a finite mixture distribution. It works by introducing "hidden" or "latent" variables via Baum's auxiliary function $Q$ that allow the joint data likelihood to be expressed as a product of simple factors. The relevance of EM has increased since the introduction of the variational lower bound (VLB): the VLB differs from Baum's auxiliary function only by the entropy of the PDF of the latent variables $Z$. We first present a rederivation of the standard EM algorithm using data association ideas from the field of multiple target tracking, using $K$-valued scalar data association hypotheses rather than the usual binary indicator vectors. The same method is then applied to a little known but much more general type of supervised EM algorithm for shared kernel models, related to probabilistic radial basis function networks. We address a number of shortcomings in the derivations that have been published previously in this area. In particular, we give theoretically rigorous derivations of (i) the complete data likelihood; (ii) Baum's auxiliary function (the E-step) and (iii) the maximisation (M-step) in the case of Gaussian shared kernel models. The subsequent algorithm, called shared kernel EM (SKEM), is then applied to a digit recognition problem using a novel 7-segment digit representation. Variants of the algorithm that use different numbers of features and different EM algorithm dimensions are compared in terms of mean accuracy and mean IoU. A simplified classifier is proposed that decomposes the joint data PDF as a product of lower order PDFs over non-overlapping subsets of variables. The effect of different numbers of assumed mixture components $K$ is also investigated. High-level source code for the data generation and SKEM algorithm is provided.


title: Almost all of the nontrivial zeros of the Riemann zeta-function are on the critical line

abstract: Applying Littlewood's lemma in connection to Riemann's Hypothesis and exploiting the symmetry of Riemann's $xi$ function we show that almost all nontrivial Riemann's Zeta zeros are on the critical line.


title: Around the closures of the set of commutators and the set of differences of idempotent elements of $\mathcal{B}(\mathcal{H})$

abstract: We describe the norm-closures of the set $\mathfrak{C}_{\mathfrak{E}}$ of commutators of idempotent operators and the set $\mathfrak{E} - \mathfrak{E}$ of differences of idempotent operators acting on a finite-dimensional complex Hilbert space, as well as characterising the intersection of the closures of these sets with the set $\mathcal{K}(\mathcal{H})$ of compact operators acting on an infinite-dimensional, separable Hilbert space. Finally, we characterise the closures of the set $\mathfrak{C}_{\mathfrak{P}}$ of commutators of orthogonal projections and the set $\mathfrak{P} - \mathfrak{P}$ of differences of orthogonal projections acting on an arbitrary complex Hilbert space.


title: Normalized image of a vector by an infinite product of nonnegative matrices

abstract: Let $\nu$ be a measure on the set $\{0,1,\dots,b-1\}^\mathbb N$, linearly representable by means of a finite set $\mathcal M$ of square nonnegative matrices. To prove that $\nu$ has the weak Gibbs property, one generally uses the uniform convergence on $\mathcal M^\mathbb N$ of the sequence of vectors $n\mapsto\frac{A_1\cdots A_nc}{\Vert A_1\cdots A_nc\Vert}$, where $c$ is a positive column-vector. We give a sufficient condition for this convergence to hold, that we apply to some measures defined by Bernoulli convolution. Secondarily we prove that the sequence of matrices $n\mapsto\frac{A_1\cdots A_n}{\Vert A_1\cdots A_n\Vert}$ in general diverges. Both examples we give are related with the fundamental curves studied for intance by Micchelli, Prautzsch, Daubechies, Lagarias, Berger, Wang.


title: POViT: Vision Transformer for Multi-objective Design and Characterization of Nanophotonic Devices

abstract: We solve a fundamental challenge in semiconductor IC design: the fast and accurate characterization of nanoscale photonic devices. Much like the fusion between AI and EDA, many efforts have been made to apply DNNs such as convolutional neural networks (CNN) to prototype and characterize next-gen optoelectronic devices commonly found in photonic integrated circuits (PIC) and LiDAR. These prior works generally strive to predict the quality factor (Q) and modal volume (V) of for instance, photonic crystals, with ultra-high accuracy and speed. However, state-of-the-art models are still far from being directly applicable in the real-world: e.g. the correlation coefficient of V ($V_{coeff}$ ) is only about 80%, which is much lower than what it takes to generate reliable and reproducible nanophotonic designs. Recently, attention-based transformer models have attracted extensive interests and been widely used in CV and NLP. In this work, we propose the first-ever Transformer model (POViT) to efficiently design and simulate semiconductor photonic devices with multiple objectives. Unlike the standard Vision Transformer (ViT), we supplied photonic crystals as data input and changed the activation layer from GELU to an absolute-value function (ABS). Our experiments show that POViT exceeds results reported by previous models significantly. The correlation coefficient $V_{coeff}$ increases by over 12% (i.e., to 92.0%) and the prediction errors of Q is reduced by an order of magnitude, among several other key metric improvements. Our work has the potential to drive the expansion of EDA to fully automated photonic design. The complete dataset and code will be released to aid researchers endeavoring in the interdisciplinary field of physics and computer science.


title: HD 28109 hosts a trio of transiting Neptunian planets including a near-resonant pair, confirmed by ASTEP from Antarctica

abstract: We report on the discovery and characterisation of three planets orbiting the F8 star HD~28109, which sits comfortably in \tess's continuous viewing zone. The two outer planets have periods of $\rm 56.0067 \pm 0.0003~days$ and $\rm 84.2597_{-0.0008}^{+0.0010}~days$, which implies a period ratio very close to that of the first-order 3:2 mean motion resonance, exciting transit timing variations (TTVs) of up to $\rm 60\,mins$. These two planets were first identified by \tess, and we identified a third planet in the \textcolor{black}{\tess photometry} with a period of $\rm 22.8911 \pm 0.0004~days$. We confirm the planetary nature of all three planetary candidates using ground-based photometry from Hazelwood, ASTEP and LCO, including a full detection of the $\rm \sim9\,h$ transit of HD~28109 c from Antarctica. The radii of the three planets are \textcolor{black}{$\rm R_b=2.199_{-0.10}^{+0.098} ~R_{\oplus}$, $\rm R_c=4.23\pm0.11~ R_{\oplus}$ and $\rm R_d=3.25\pm0.11 ~R_{\oplus}$}; we characterise their masses using TTVs and precise radial velocities from ESPRESSO and HARPS, and find them to be $\rm M_b=18.5_{-7.6}^{+9.1}~M_{\oplus}$, $\rm M_c=7.9_{-3.0}^{+4.2}~M_{\oplus}$ and $\rm M_d=5.7_{-2.1}^{+2.7}~M_{\oplus}$, making planet b a dense, massive planet while c and d are both under-dense. We also demonstrate that the two outer planets are ripe for atmospheric characterisation using transmission spectroscopy, especially given their position in the CVZ of JWST. The data obtained to date are consistent with resonant (librating) and non-resonant (circulating) solutions; additional observations will show whether the pair is actually locked in resonance or just near-resonant.


title: Critical behavior of quorum-sensing active particles

abstract: It is still a debated issue whether all critical active particles belong to the same universality class. Here we numerically study the critical behavior of quorum sensing active particles that represents the archetypal model for interpreting motility-induced phase separation. Mean-field theory predicts that this model should undergo a full phase separation if particles slow-down enough when sensing the presence of their neighbours and that the coexistence line terminates in a critical point. By performing large-scale numerical simulations we confirm this scenario, locate the critical point and use finite-size scaling analysis to show that the static and dynamic critical exponents of this active system agree with the Ising universality class


title: Global Contrast Masked Autoencoders Are Powerful Pathological Representation Learners

abstract: Based on digital pathology slice scanning technology, artificial intelligence algorithms represented by deep learning have achieved remarkable results in the field of computational pathology. Compared to other medical images, pathology images are more difficult to annotate, and thus, there is an extreme lack of available datasets for conducting supervised learning to train robust deep learning models. In this paper, we propose a self-supervised learning (SSL) model, the global contrast-masked autoencoder (GCMAE), which can train the encoder to have the ability to represent local-global features of pathological images, also significantly improve the performance of transfer learning across data sets. In this study, the ability of the GCMAE to learn migratable representations was demonstrated through extensive experiments using a total of three different disease-specific hematoxylin and eosin (HE)-stained pathology datasets: Camelyon16, NCTCRC and BreakHis. In addition, this study designed an effective automated pathology diagnosis process based on the GCMAE for clinical applications. The source code of this paper is publicly available at https://github.com/StarUniversus/gcmae.


title: Random graph embeddings with general edge potentials

abstract: In this paper, we study random embeddings of polymer networks distributed according to any potential energy which can be expressed in terms of distances between pairs of monomers. This includes freely jointed chains, steric effects, Lennard-Jones potentials, bending energies, and other physically realistic models. A configuration of $n$ monomers in $\mathbb{R}^d$ can be written as a collection of $d$ coordinate vectors, each in $\mathbb{R}^n$. Our first main result is that entries from different coordinate vectors are uncorrelated, even when they are different coordinates of the same monomer. We predict that this property holds in realistic simulations and in actual polymer configurations (in the absence of an external field). Our second main contribution is a theorem explaining when and how a probability distribution on embeddings of a complicated graph may be pushed forward to a distribution on embeddings of a simpler graph to aid in computations. This construction is based on the idea of chain maps in homology theory. We use it to give a new formula for edge covariances in phantom network theory and to compute some expectations for a freely-jointed network.


title: A generalization of the quadruple formula for the energy of gravitational radiation in de Sitter spacetime

abstract: We study gravitational radiation produced by time changing matter source in de Sitter spacetime. We consider a cosmological Killing horizon instead of the conformal boundary used in the radiation theory in the Minkowski spacetime. The energy of the radiation passing through the horizon is derived. Our result takes the form of a generalized quadruple formula expressed in terms of the mass and pressure quadruple moments and is written explicitly up to the first order in $\sqrt{\Lambda}$. The zeroth order term recovers the famous Einstein's quadruple formula obtained for the perturbed Minkowski spacetime, whereas the first order term is a new correction.


title: Weighted Gagliardo-Nirenberg inequalities via Optimal Transport Theory and Applications

abstract: We prove Gagliardo-Nirenberg inequalities with three weights -- verifying a joint concavity condition -- on open convex cones of $\mathbb R^n$. If the weights are equal to each other the inequalities become sharp and we compute explicitly the sharp constants. For a certain range of parameters we can characterize the class of extremal functions; in this case, we also show that the sharpness in the main three-weighted Gagliardo-Nirenberg inequality implies that the weights must be equal up to some constant multiplicative factors. Our approach uses optimal mass transport theory and a careful analysis of the joint concavity condition of the weights. As applications we establish sharp weighted $p$-log-Sobolev, Faber-Krahn and isoperimetric inequalities with explicit sharp constants.


title: Understanding Factors that Shape Children's Long Term Engagement with an In-Home Learning Companion Robot

abstract: Social robots are emerging as learning companions for children, and research shows that they facilitate the development of interest and learning even through brief interactions. However, little is known about how such technologies might support these goals in authentic environments over long-term periods of use and interaction. We designed a learning companion robot capable of supporting children reading popular-science books by expressing social and informational commentaries. We deployed the robot in homes of 14 families with children aged 10-12 for four weeks during the summer. Our analysis revealed critical factors that affected children's long-term engagement and adoption of the robot, including external factors such as vacations, family visits, and extracurricular activities; family/parental involvement; and children's individual interests. We present four in-depth cases that illustrate these factors and demonstrate their impact on children's reading experiences and discuss the implications of our findings for robot design.


title: Formalism of general continuum models with boundary conditions, propagation of bound states from nontrivial to trivial topological classes, and the general surface-state structure near one node of a Weyl semimetal

abstract: We present the {\em (symmetry-incorporating) formalism of general continuum models with boundary conditions} and apply it to the model with the minimal number of degrees of freedom necessary to have a well-defined boundary: a model with a two-component wave function and a linear-in-momentum Hamiltonian. We derive the most general forms (class A) of both the Hamiltonian and boundary condition in 1D (insulator), 2D (quantum anomalous Hall insulator), and 3D (Weyl node) and analytically calculate and explore the corresponding general bound/edge/surface-state structures. In 1D, one bound state exists in the half of the $\text{U}(1)$ parameter space of possible boundary conditions. Considering several dimensions simultaneously ties the models together and uncovers important relations between them. We formulate a version of bulk-boundary correspondence that fully characterizes the vicinity of a Weyl point: the chirality of the surface-state spectrum along a path enclosing the projected Weyl point is equal to the Chern number of the Weyl point. We demonstrate how symmetries are naturally incorporated into the formalism, by deriving the most general form of the model with chiral symmetry (class AIII). We show that the (perhaps unexpected) existence of persistent bound states in the topologically trivial 1D class-A model is not accidental and has at least two topological explanations, by relating it to the topologically nontrivial 2D class-A (by viewing it as an effective 2D quantum anomalous Hall system) and 1D class-AIII (via deviation from the cases of chiral symmetry in the parameter space) models. We identify this as a systematic "propagation effect", whereby bound states from topologically nontrivial classes, where they are protected and guaranteed to exist, propagate to the related, "adjacent" in dimension or symmetry, topologically trivial classes.


title: Position Aided Beam Prediction in the Real World: How Useful GPS Locations Actually Are?

abstract: Millimeter-wave (mmWave) communication systems rely on narrow beams for achieving sufficient receive signal power. Adjusting these beams is typically associated with large training overhead, which becomes particularly critical for highly-mobile applications. Intuitively, since optimal beam selection can benefit from the knowledge of the positions of communication terminals, there has been increasing interest in leveraging position data to reduce the overhead in mmWave beam prediction. Prior work, however, studied this problem using only synthetic data that generally does not accurately represent real-world measurements. In this paper, we investigate position-aided beam prediction using a real-world large-scale dataset to derive insights into precisely how much overhead can be saved in practice. Furthermore, we analyze which machine learning algorithms perform best, what factors degrade inference performance in real data, and which machine learning metrics are more meaningful in capturing the actual communication system performance.


title: Exploring Children's Preferences for Taking Care of a Social Robot

abstract: Research in child-robot interactions suggests that engaging in "care-taking" of a social robot, such as tucking the robot in at night, can strengthen relationships formed between children and robots. In this work, we aim to better understand and explore the design space of caretaking activities with 10 children, aged 8--12 from eight families, involving an exploratory design session followed by a preliminary feasibility testing of robot caretaking activities. The design sessions provided insight into children's current caretaking tasks, how they would take care of a social robot, and how these new caretaking activities could be integrated into their daily routines. The feasibility study tested two different types of robot caretaking tasks, which we call connection and utility, and measured their short term effects on children's perceptions of and closeness to the social robot. We discuss the themes and present interaction design guidelines of robot caretaking activities for children.


title: Slowly Changing Adversarial Bandit Algorithms are Efficient for Discounted MDPs

abstract: Reinforcement learning generalizes multi-armed bandit problems with additional difficulties of a longer planning horizon and unknown transition kernel. We explore a black-box reduction from discounted infinite-horizon tabular reinforcement learning to multi-armed bandits, where, specifically, an independent bandit learner is placed in each state. We show that, under ergodicity and fast mixing assumptions, any slowly changing adversarial bandit algorithm achieving optimal regret in the adversarial bandit setting can also attain optimal expected regret in infinite-horizon discounted Markov decision processes, with respect to the number of rounds $T$. Furthermore, we examine our reduction using a specific instance of the exponential-weight algorithm.


title: Balancing at the edge of excitability: Implications for cell movement

abstract: Cells rely on the ability to sense and respond to small spatial differences in chemoattractant concentrations for survival. There is growing evidence that this is accomplished by setting the signaling system near the threshold for activation in an excitable system and using the spatial heterogeneities to alter the threshold thereby biasing cell activity in the direction of the gradient. Here we consider a scheme by which the set point is adaptively set near the bifurcation point, but without explicit knowledge of this point. Through simulation, we show that the method would improve chemotactic efficiency of cells. The results of this paper are based on pioneering work by Eduardo Sontag and coworkers, to whom this paper is dedicated in honor of his 70th birthday.


title: Minimising Biasing Word Errors for Contextual ASR with the Tree-Constrained Pointer Generator

abstract: Contextual knowledge is essential for reducing speech recognition errors on high-valued long-tail words. This paper proposes a novel tree-constrained pointer generator (TCPGen) component that enables end-to-end ASR models to bias towards a list of long-tail words obtained using external contextual information. With only a small overhead in memory use and computation cost, TCPGen can structure thousands of biasing words efficiently into a symbolic prefix-tree and creates a neural shortcut between the tree and the final ASR output to facilitate the recognition of the biasing words. To enhance TCPGen, we further propose a novel minimum biasing word error (MBWE) loss that directly optimises biasing word errors during training, along with a biasing-word-driven language model discounting (BLMD) method during the test. All contextual ASR systems were evaluated on the public Librispeech audiobook corpus and the data from the dialogue state tracking challenges (DSTC) with the biasing lists extracted from the dialogue-system ontology. Consistent word error rate (WER) reductions were achieved with TCPGen, which were particularly significant on the biasing words with around 40\% relative reductions in the recognition error rates. MBWE and BLMD further improved the effectiveness of TCPGen and achieved more significant WER reductions on the biasing words. TCPGen also achieved zero-shot learning of words not in the audio training set with large WER reductions on the out-of-vocabulary words in the biasing list.


title: An importance sampling approach for reliable and efficient inference in Bayesian ordinary differential equation models

abstract: Statistical models can involve implicitly defined quantities, such as solutions to nonlinear ordinary differential equations (ODEs), that unavoidably need to be numerically approximated in order to evaluate the model. The approximation error inherently biases statistical inference results, but the amount of this bias is generally unknown and often ignored in Bayesian parameter inference. We propose a computationally efficient method for verifying the reliability of posterior inference for such models, when the inference is performed using Markov chain Monte Carlo methods. We validate the efficiency and reliability of our workflow in experiments using simulated and real data, and different ODE solvers. We highlight problems that arise with commonly used adaptive ODE solvers, and propose robust and effective alternatives which, accompanied by our workflow, can now be taken into use without losing reliability of the inferences.


title: Unsupervised Features Ranking via Coalitional Game Theory for Categorical Data

abstract: Not all real-world data are labeled, and when labels are not available, it is often costly to obtain them. Moreover, as many algorithms suffer from the curse of dimensionality, reducing the features in the data to a smaller set is often of great utility. Unsupervised feature selection aims to reduce the number of features, often using feature importance scores to quantify the relevancy of single features to the task at hand. These scores can be based only on the distribution of variables and the quantification of their interactions. The previous literature, mainly investigating anomaly detection and clusters, fails to address the redundancy-elimination issue. We propose an evaluation of correlations among features to compute feature importance scores representing the contribution of single features in explaining the dataset's structure. Based on Coalitional Game Theory, our feature importance scores include a notion of redundancy awareness making them a tool to achieve redundancy-free feature selection. We show that the deriving features' selection outperforms competing methods in lowering the redundancy rate while maximizing the information contained in the data. We also introduce an approximated version of the algorithm to reduce the complexity of Shapley values' computations.


title: Rank-based Heuristics for Optimizing the Execution of Product Data Models

abstract: The Product Data Model (PDM) is an example of a data-centric approach to modelling information-intensive business processes, which offers exibility and facilitates process optimization. Because the approach is declarative in nature, there may be multiple, alternative execution plans that can produce the desired end product. To generate such plans, several heuristics have been proposed in the literature. The contributions of this work are twofold: (i) we propose new heuristics that capitalize on established techniques for optimizing data-intensive work ows in terms of execution time and cost and transfer them to business processes; and (ii) we extensively evaluate the existing solutions. Our results shed light on the merits of each heuristic and show that our new heuristics can yield significant benefits.


title: Testing general relativity using higher-order modes of gravitational waves from binary black holes

abstract: Recently, strong evidence was found for the presence of higher-order modes in the gravitational wave signals GW190412 and GW190814, which originated from compact binary coalescences with significantly asymmetric component masses. This has opened up the possibility of new tests of general relativity by looking at the way in which the higher-order modes are related to the basic signal. Here we further develop a test which assesses whether the amplitudes of sub-dominant harmonics are consistent with what is predicted by general relativity. To this end we incorporate a state-of-the-art waveform model with higher-order modes and precessing spins into a Bayesian parameter estimation and model selection framework. The analysis methodology is tested extensively through simulations. We investigate to what extent deviations in the relative amplitudes of the harmonics will be measurable depending on the properties of the source, and we map out correlations between our testing parameters and the inclination of the source with respect to the observer. Finally, we apply the test to GW190412 and GW190814, finding no evidence for violations of general relativity.


title: The existence of planar $4$-connected essentially $6$-edge-connected graphs with no claw-decompositions

abstract: In 2006 Bar{\'a}t and Thomassen conjectured that every planar $4$-edge-connected $4$-regular simple graph of size divisible by three admits a claw-decomposition. Later, Lai (2007) disproved this conjecture by a family of planar graphs with edge-connectivity $4$ which the smallest one contains $24$ vertices. In this note, we first give a smaller counterexample having only $18$ vertices and next construct a family of planar $4$-connected essentially $6$-edge-connected $4$-regular simple graphs of size divisible by three with no claw-decompositions. This result provides the sharpness for two known results which say that every $5$-edge-connected graph of size divisible by three admits a claw-decomposition if it is essentially $6$-edge-connected or planar.


title: General mixed lattices

abstract: A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and semigroups, while the more general notion of a mixed lattice remains unexplored. In this paper, we study the fundamental properties of mixed lattices and the relationships between the various properties, such as the one-sided associative, distributive and modular laws. We also give an alternative definition of mixed lattices and mixed lattice groups as non-commutative and non-associative algebras satisfying a certain set of postulates. The algebraic and the order-theoretic definitions are then shown to be equivalent.


title: Multilayer Perceptron Based Stress Evolution Analysis under DC Current Stressing for Multi-segment Wires

abstract: Electromigration (EM) is one of the major concerns in the reliability analysis of very large scale integration (VLSI) systems due to the continuous technology scaling. Accurately predicting the time-to-failure of integrated circuits (IC) becomes increasingly important for modern IC design. However, traditional methods are often not sufficiently accurate, leading to undesirable over-design especially in advanced technology nodes. In this paper, we propose an approach using multilayer perceptrons (MLP) to compute stress evolution in the interconnect trees during the void nucleation phase. The availability of a customized trial function for neural network training holds the promise of finding dynamic mesh-free stress evolution on complex interconnect trees under time-varying temperatures. Specifically, we formulate a new objective function considering the EM-induced coupled partial differential equations (PDEs), boundary conditions (BCs), and initial conditions to enforce the physics-based constraints in the spatial-temporal domain. The proposed model avoids meshing and reduces temporal iterations compared with conventional numerical approaches like FEM. Numerical results confirm its advantages on accuracy and computational performance.


title: Centralized and decentral approaches to succeed the 100% energiewende in Germany in the European context: A model-based analysis of generation, network, and storage investments

abstract: In this paper, we explore centralized and more decentral approaches to succeed the energiewende in Germany, in the European context. We use the AnyMOD framework to model a future renewable-based European energy system, based on a techno-economic optimization, i.e. cost minimization with given demand, including both investment and the subsequent dispatch of capacity. The model includes 29 regions for European countries, and 38 NUTS-2 regions in Germany. First the entire energy system on the European level is optimized. Based on these results, the electricity system for the German regions is optimized to achieve great regional detail to analyse spatial effects. The model allows a comparison between a stylized central scenario with high amounts of wind offshore deployed, and a decentral scenario using mainly the existing grid, and thus relying more on local capacities. The results reveal that the cost for the second optimization of these two scenarios are about the same: The central scenario is characterized by network expansion in order to transport the electricity from the wind offshore sites, whereas the decentral scenario leads to more photovoltaic and battery deployment closer to the areas with a high demand for energy. A scenarios with higher energy efficiency and lower demand projections lead to a significant reduction of investment requirements, and to different localizations thereof.


title: Automatic Rule Induction for Interpretable Semi-Supervised Learning

abstract: Semi-supervised learning has shown promise in allowing NLP models to generalize from small amounts of labeled data. Meanwhile, pretrained transformer models act as black-box correlation engines that are difficult to explain and sometimes behave unreliably. In this paper, we propose tackling both of these challenges via Automatic Rule Induction (ARI), a simple and general-purpose framework for the automatic discovery and integration of symbolic rules into pretrained transformer models. First, we extract weak symbolic rules from low-capacity machine learning models trained on small amounts of labeled data. Next, we use an attention mechanism to integrate these rules into high-capacity pretrained transformer models. Last, the rule-augmented system becomes part of a self-training framework to boost supervision signal on unlabeled data. These steps can be layered beneath a variety of existing weak supervision and semi-supervised NLP algorithms in order to improve performance and interpretability. Experiments across nine sequence classification and relation extraction tasks suggest that ARI can improve state-of-the-art methods with no manual effort and minimal computational overhead.


title: VRAG: Region Attention Graphs for Content-Based Video Retrieval

abstract: Content-based Video Retrieval (CBVR) is used on media-sharing platforms for applications such as video recommendation and filtering. To manage databases that scale to billions of videos, video-level approaches that use fixed-size embeddings are preferred due to their efficiency. In this paper, we introduce Video Region Attention Graph Networks (VRAG) that improves the state-of-the-art of video-level methods. We represent videos at a finer granularity via region-level features and encode video spatio-temporal dynamics through region-level relations. Our VRAG captures the relationships between regions based on their semantic content via self-attention and the permutation invariant aggregation of Graph Convolution. In addition, we show that the performance gap between video-level and frame-level methods can be reduced by segmenting videos into shots and using shot embeddings for video retrieval. We evaluate our VRAG over several video retrieval tasks and achieve a new state-of-the-art for video-level retrieval. Furthermore, our shot-level VRAG shows higher retrieval precision than other existing video-level methods, and closer performance to frame-level methods at faster evaluation speeds. Finally, our code will be made publicly available.


title: Influence of Magnetic Fields on the Gas Rotation in the Galaxy $NGC\;6946$

abstract: Magnetic fields can play an important role in the energy balance and formation of gas structures in galaxies. However, their dynamical effect on the rotation curve of galaxies is immensely unexplored. We investigate the dynamical effect of the known magnetic arms of $NGC\;6946$ on its circular gas rotation traced in HI, considering two dark matter mass density models, ISO, and the universal NFW profile. We used a three-dimensional model for the magnetic field structure to fit the modeled rotation curve to the observed data via an $\chi$-squared minimization method. The shape of the HI gas rotation curve is reproduced better including the effect of the magnetic field, especially in the outer part, where the dynamical effect of the magnetic field could become important. The typical amplitude of the regular magnetic field contribution in the rotation curve is about $ 6 - 14 \; km s^{-1}$ in the outer gaseous disk of the galaxy $NGC\;6946$. The contribution ratio of the regular magnetic field to the observed circular velocity and to dark matter increases with the galactocentric radius. Its ratio to the observed rotational velocity is about five percent and to dark matter is about 10 percent in the outer regions of the galaxy $NGC\;6946$. Therefore, the large-scale magnetic fields cannot be completely ignored in the large-scale dynamics of spiral galaxies, especially in the outer parts of galaxies.


title: Exact Gaussian Processes for Massive Datasets via Non-Stationary Sparsity-Discovering Kernels

abstract: A Gaussian Process (GP) is a prominent mathematical framework for stochastic function approximation in science and engineering applications. This success is largely attributed to the GP's analytical tractability, robustness, non-parametric structure, and natural inclusion of uncertainty quantification. Unfortunately, the use of exact GPs is prohibitively expensive for large datasets due to their unfavorable numerical complexity of $O(N^3)$ in computation and $O(N^2)$ in storage. All existing methods addressing this issue utilize some form of approximation -- usually considering subsets of the full dataset or finding representative pseudo-points that render the covariance matrix well-structured and sparse. These approximate methods can lead to inaccuracies in function approximations and often limit the user's flexibility in designing expressive kernels. Instead of inducing sparsity via data-point geometry and structure, we propose to take advantage of naturally-occurring sparsity by allowing the kernel to discover -- instead of induce -- sparse structure. The premise of this paper is that GPs, in their most native form, are often naturally sparse, but commonly-used kernels do not allow us to exploit this sparsity. The core concept of exact, and at the same time sparse GPs relies on kernel definitions that provide enough flexibility to learn and encode not only non-zero but also zero covariances. This principle of ultra-flexible, compactly-supported, and non-stationary kernels, combined with HPC and constrained optimization, lets us scale exact GPs well beyond 5 million data points.


title: A new advance on dimensional-aware scalar, vector and matrix operations in C++

abstract: We review the dimensional check problem of the high-level programming languages, discuss the existing solutions, and come up with a new solution suited for scientific and engineering computations. Then, we introduce Univec, our C++ library designed to make scalar, vector, and matrix operations using units of measurement. Moreover, Univec supports dimensional-aware operations for complex numbers, quaternions, octonions, and sedenions. We provide tables of the relevant functions and operators implemented. Our library was compared with several existing solutions, and the results are shown in the performance section. Finally, we present our future plans for improving the current implementation.


title: On the Effective Number of Linear Regions in Shallow Univariate ReLU Networks: Convergence Guarantees and Implicit Bias

abstract: We study the dynamics and implicit bias of gradient flow (GF) on univariate ReLU neural networks with a single hidden layer in a binary classification setting. We show that when the labels are determined by the sign of a target network with $r$ neurons, with high probability over the initialization of the network and the sampling of the dataset, GF converges in direction (suitably defined) to a network achieving perfect training accuracy and having at most $\mathcal{O}(r)$ linear regions, implying a generalization bound. Unlike many other results in the literature, under an additional assumption on the distribution of the data, our result holds even for mild over-parameterization, where the width is $\tilde{\mathcal{O}}(r)$ and independent of the sample size.


title: Dialog Inpainting: Turning Documents into Dialogs

abstract: Many important questions (e.g. "How to eat healthier?") require conversation to establish context and explore in depth. However, conversational question answering (ConvQA) systems have long been stymied by scarce training data that is expensive to collect. To address this problem, we propose a new technique for synthetically generating diverse and high-quality dialog data: dialog inpainting. Our approach takes the text of any document and transforms it into a two-person dialog between the writer and an imagined reader: we treat sentences from the article as utterances spoken by the writer, and then use a dialog inpainter to predict what the imagined reader asked or said in between each of the writer's utterances. By applying this approach to passages from Wikipedia and the web, we produce WikiDialog and WebDialog, two datasets totalling 19 million diverse information-seeking dialogs -- 1,000x larger than the largest existing ConvQA dataset. Furthermore, human raters judge the answer adequacy and conversationality of WikiDialog to be as good or better than existing manually-collected datasets. Using our inpainted data to pre-train ConvQA retrieval systems, we significantly advance state-of-the-art across three benchmarks (QReCC, OR-QuAC, TREC CAsT) yielding up to 40% relative gains on standard evaluation metrics.