title: Channel-Coupling Fano Resonance and Acoustic Metadamping

abstract: Fano resonance featuring asymmetric spectral profiles originates from the interference of local resonances and background continuum. Its narrow-band nature looks seemingly adverse to broadband noise cancellation purposes. In this study, we report theoretically on an intriguing acoustic metamaterial capable of generating multiple Fano-like resonances to realize a broadband sound barrier with satisfactory transmission loss performance. Our proposed design involves an effective channel characterized by effective parameters and short channels filled with air. The effective channel support both monopolar and dipolar modes which interact with the continuum state admitted by the short channels to generate a pair of Fano-like resonances. Due to the destructive interference of sound waves, the two resonances result in transmission loss overall exceeding 10 dB over a broad range 0.6-1.1 kHz. In order to further optimize the overall performance, we introduce metadamping by integrating additional viscous foams in the proposed unit cell. Furthermore, for future experimental tests, the dampened design is decoded into a real space-coiling cell which exhibits identical functionality and is assembled into a partition wall to ensure transmission loss over 10 dB across the range 0.32-4 Hz. Lastly, acoustic negative refraction is accessible by deploying two coupled space-coiling channels in a similar fashion. We believe this work paves the way for realizing effective broadband sound insulation devices with efficient ventilation.


title: Light diffraction from a phase grating at oblique incidence in the intermediate diffraction regime

abstract: We experimentally characterize the positions of the diffraction maxima of a phase grating on a screen, for laser light at oblique incidence (so-called off-plane diffraction or conical diffraction). We discuss the general case of off-plane diffraction geometries and derive basic equations for the positions of the diffraction maxima, in particular for their angular dependence. In contrast to previously reported work [Jetty et al., Am. J. Phys. 80, 972 (2012)], our reasoning is solely based on energy- and momentum conservation. We find good agreement of our theoretical prediction with the experiment. A detailed discussion of the diffraction maxima positions, the number of diffraction orders, and the diffraction efficiencies is provided. We assess the feasibility of an experimental test of the phenomenon for neutron matter waves.


title: Generative Model without Prior Distribution Matching

abstract: Variational Autoencoder (VAE) and its variations are classic generative models by learning a low-dimensional latent representation to satisfy some prior distribution (e.g., Gaussian distribution). Their advantages over GAN are that they can simultaneously generate high dimensional data and learn latent representations to reconstruct the inputs. However, it has been observed that a trade-off exists between reconstruction and generation since matching prior distribution may destroy the geometric structure of data manifold. To mitigate this problem, we propose to let the prior match the embedding distribution rather than imposing the latent variables to fit the prior. The embedding distribution is trained using a simple regularized autoencoder architecture which preserves the geometric structure to the maximum. Then an adversarial strategy is employed to achieve a latent mapping. We provide both theoretical and experimental support for the effectiveness of our method, which alleviates the contradiction between topological properties' preserving of data manifold and distribution matching in latent space.


title: Transient dynamics of the Lorenz system with a parameter drift

abstract: Non-autonomous dynamical systems help us to understand the implications of real systems which are in contact with their environment as it actually occurs in nature. Here, we focus on systems where a parameter changes with time at small but non-negligible rates before settling at a stable value, by using the Lorenz system for illustration. This kind of systems commonly show a long-term transient dynamics previous to a sudden transition to a steady state. This can be explained by the crossing of a bifurcation in the associated frozen-in system. We surprisingly uncover a scaling law relating the duration of the transient to the rate of change of the parameter for a case where a chaotic attractor is involved. Additionally, we analyze the viability of recovering the transient dynamics by reversing the parameter to its original value, as an alternative to the control theory for systems with parameter drifts. We obtain the relationship between the paramater change rate and the number of trajectories that tip back to the initial attractor corresponding to the transient state.


title: Impedance Design of Excitation Lines in Adiabatic Quantum-Flux-Parametron Logic Using InductEx

abstract: The adiabatic quantum-flux-parametron (AQFP) is an energy-efficient superconductor logic family that utilizes adiabatic switching. AQFP gates are powered and clocked by ac excitation current; thus, to operate AQFP circuits at high clock frequencies, it is required to carefully design the characteristic impedance of excitation lines (especially, above AQFP gates) so that microwave excitation current can propagate without reflections in the entire circuit. In the present study, we design the characteristic impedance of the excitation line using InductEx, which is a three-dimensional parameter extractor for superconductor devices. We adjust the width of an excitation line using InductEx such that the characteristic impedance becomes 50 {\Omega} even above an AQFP gate. Then, we fabricate test circuits to verify the impedance of the excitation line. We measure the impedance using the time domain reflectometry (TDR). We also measure the S parameters of the excitation line to investigate the maximum available clock frequency. Our experimental results indicate that the characteristic impedance of the excitation line agrees well with the design value even above AQFP gates, and that clock frequencies beyond 5 GHz are available in large-scale AQFP circuits.


title: Bent and $\mathbb Z_{2^k}$-bent functions from spread-like partitions

abstract: Bent functions from a vector space $V_n$ over $\mathbb F_2$ of even dimension $n=2m$ into the cyclic group $\mathbb Z_{2^k}$, or equivalently, relative difference sets in $V_n\times\mathbb Z_{2^k}$ with forbidden subgroup $\mathbb Z_{2^k}$, can be obtained from spreads of $V_n$ for any $k\le n/2$. In this article, existence and construction of bent functions from $V_n$ to $\mathbb Z_{2^k}$, which do not come from the spread construction is investigated. A construction of bent functions from $V_n$ into $\mathbb Z_{2^k}$, $k\le n/6$, (and more generally, into any abelian group of order $2^k$) is obtained from partitions of $\mathbb F_{2^m}\times\mathbb F_{2^m}$, which can be seen as a generalization of the Desarguesian spread. As for the spreads, the union of a certain fixed number of sets of these partitions is always the support of a Boolean bent function.


title: The lightest flavor--singlet qqq baryons as witnesses to color

abstract: We present a new computation in a field-theoretical model of Coulomb gauge QCD of the first radial and angular excitations of a qqq system in a SU(3) flavor singlet state, Lambda_S. The traditional motivation for the study is that the absence of flavor singlets in the lowest-lying spectrum is a direct consequence of the color degree of freedom. (The calculation is tested with decuplet baryons Delta(1232) and Omega(1672).) We also analyze decay branching fractions of the flavor singlet baryon for various masses with the simplest effective Lagrangians.


title: Quantum frequency conversion based on resonant four-wave mixing

abstract: Quantum frequency conversion (QFC), a critical technology in photonic quantum information science, requires that the quantum characteristics of the frequency-converted photon must be the same as the input photon except for the color. In nonlinear optics, the wave mixing effect far away from the resonance condition is often used to realize QFC because it can prevent the vacuum field reservoir from destroying the quantum state of the converted photon effectively. Under conditions far away from resonance, experiments typically require strong pump light to generate large nonlinear interactions to achieve high-efficiency QFC. However, strong pump light often generates additional noise photons through spontaneous Raman or parametric conversion processes. Herein, we theoretically study another efficient QFC scheme based on a resonant four-wave mixing system. Due to the effect of electromagnetically induced transparency (EIT), this resonant QFC scheme can greatly suppress vacuum field noise at low light levels; consequently, the converted photon can inherit the quantum state of the input photon with high fidelity. Our research demonstrates that if the conversion efficiency of the EIT-based QFC is close to 100%, the wave function and quadrature variance of the converted photon are almost the same as the input probe photon.


title: Idealizers in the Second Weyl Algebra

abstract: Given a right ideal $I$ in a ring $R$, the idealizer of $I$ in $R$ is the largest subring of $R$ in which $I$ becomes a two-sided ideal. In this paper we consider idealizers in the second Weyl algebra $A_2$, which is the ring of differential operators on $\mathbb{k}[x,y]$ (in characteristic $0$). Specifically, let $f$ be a polynomial in $x$ and $y$ which defines an irreducible curve whose singularities are all cusps. We show that the idealizer of the right ideal $fA_2$ in $A_2$ is always left and right noetherian, extending the work of McCaffrey.


title: The Struggles of Feature-Based Explanations: Shapley Values vs. Minimal Sufficient Subsets

abstract: For neural models to garner widespread public trust and ensure fairness, we must have human-intelligible explanations for their predictions. Recently, an increasing number of works focus on explaining the predictions of neural models in terms of the relevance of the input features. In this work, we show that feature-based explanations pose problems even for explaining trivial models. We show that, in certain cases, there exist at least two ground-truth feature-based explanations, and that, sometimes, neither of them is enough to provide a complete view of the decision-making process of the model. Moreover, we show that two popular classes of explainers, Shapley explainers and minimal sufficient subsets explainers, target fundamentally different types of ground-truth explanations, despite the apparently implicit assumption that explainers should look for one specific feature-based explanation. These findings bring an additional dimension to consider in both developing and choosing explainers.


title: Multiscale network renormalization: scale-invariance without geometry

abstract: Systems with lattice geometry can be renormalized exploiting their coordinates in metric space, which naturally define the coarse-grained nodes. By contrast, complex networks defy the usual techniques, due to their small-world character and lack of explicit geometric embedding. Current network renormalization approaches require strong assumptions (e.g. community structure, hyperbolicity, scale-free topology), thus remaining incompatible with generic graphs and ordinary lattices. Here we introduce a graph renormalization scheme valid for any hierarchy of heterogeneous coarse-grainings, thereby allowing for the definition of 'block-nodes' across multiple scales. This approach identifies a class of scale-invariant networks characterized by a necessary and specific dependence on additive hidden variables attached to nodes, plus optional dyadic factors. If the hidden variables are annealed, they lead to realistic scale-free networks with assortativity and finite local clustering, even in the sparse regime and in absence of geometry. If they are quenched, they can guide the renormalization of real-world networks with node attributes and distance-dependence or communities. As an application, we derive an accurate multiscale model of the International Trade Network applicable across arbitrary geographic partitions. These results highlight a deep conceptual distinction between scale-free and scale-invariant networks, and provide a geometry-free route to renormalization.


title: Note on gauge invariance of second order cosmological perturbations

abstract: We study the gauge invariant cosmological perturbations up to second order. We show that there are infinite families of gauge invariant variables at both of the first and second orders. The conversion formulae among different families are shown to be described by a finite number of bases that are gauge invariant. For the second order cosmological perturbations induced by the first order scalar perturbations, we explicitly represent the equations of motion of them in terms of the gauge invariant Newtonian, synchronous and hybrid variables, respectively.


title: Analytical solution for the surface states of antiferromagnetic topological insulator MnBi$_2$Te$_4$

abstract: Recently, the intrinsic magnetic topological insulator MnBi$_2$Te$_4$ has attracted great attention. It has an out-of-plane antiferromagnetic order, which is believed to open a sizable energy gap in the surface states. This gap, however, was not always observable in the latest angle-resolved photoemission spectroscopy (ARPES) experiments. To address this issue, we analytically derive an effective model for the two-dimensional (2D) surface states by starting from a three-dimensional (3D) Hamiltonian for bulk MnBi$_2$Te$_4$ and taking into account the spatial profile of the bulk magnetization. Our calculations suggest that the diminished surface gap may be caused by a much smaller and more localized intralayer ferromagnetic order. In addition, we calculate the spatial distribution and penetration depth of the surface states, which indicates that the surface states are mainly embedded in the first two septuple layers from the terminating surface. From our analytical results, the influence of the bulk parameters on the surface states can be found explicitly. Furthermore, we derive a $\bf{k}\cdot \bf{p}$ model for MnBi$_2$Te$_4$ thin films and show the oscillation of the Chern number between odd and even septuple layers. Our results will be helpful for the ongoing explorations of the MnBi$_x$Te$_y$ family.


title: KoBE: Knowledge-Based Machine Translation Evaluation

abstract: We propose a simple and effective method for machine translation evaluation which does not require reference translations. Our approach is based on (1) grounding the entity mentions found in each source sentence and candidate translation against a large-scale multilingual knowledge base, and (2) measuring the recall of the grounded entities found in the candidate vs. those found in the source. Our approach achieves the highest correlation with human judgements on 9 out of the 18 language pairs from the WMT19 benchmark for evaluation without references, which is the largest number of wins for a single evaluation method on this task. On 4 language pairs, we also achieve higher correlation with human judgements than BLEU. To foster further research, we release a dataset containing 1.8 million grounded entity mentions across 18 language pairs from the WMT19 metrics track data.


title: Particle-hole symmetry breaking in a spin-dimer system TlCuCl$_3$ observed at 100 T

abstract: The entire magnetization process of TlCuCl$_3$ has been experimentally investigated up to 100 T employing the single-turn technique. The upper critical field $H_{c2}$ is observed to be 86.1 T at 2 K. A convex slope of the $M$-$H$ curve between the lower and upper critical fields ($H_{c1}$ and $H_{c2}$) is clearly observed, which indicates that a particle-hole symmetry is broken in TlCuCl$_3$. By quantum Monte Carlo simulation and the bond-operator theory method, we find that the particle-hole symmetry breaking results from strong inter-dimer interactions.


title: Dispersion of deterministic sound wave into stochastic noise by a linear acoustic layer with time-varying and quantized material properties

abstract: Wave is crucial to acquiring information from the world and its interaction with matter is determined by the wavelength, or frequency. Search for the ability to shift frequency often points to material nonlinearity, which is significant only when the excitation level is very high. Temporal modulated material is expected to shift sound frequency in a linear manner, but is so far not effectively realized due to inadequate modulation ratio. This study introduces a new class of temporal modulation material with a giant modulation ratio. When the modulation is given in a random time sequence, a monochromatic sound wave is converted to a white noise of a continuous frequency band. The demonstrated device is called a randomized acoustic meta-layer, consisting of a suspended diaphragm shunted by an analog circuit. The circuit alters the acoustic impedance of the layer which operates in two quantized states when the shunt is connected and disconnected by a MOSFET with a pseudo-random time sequence. The device has unprecedented potential applications such as converting annoying tones to white-noise-like hum to improve psychoacoustic quality, allowing encrypted underwater communication, and super-resolution imaging.


title: Geometric realisation as the Skorokhod semi-continuous path space endofunctor

abstract: We interpret a construction of geometric realisation by [Besser], [Grayson], and [Drinfeld] of a simplicial set as constructing a space of maps from the interval to a simplicial set, in a certain formal sense, reminiscent of the Skorokhod space of semi-continuous functions; in particular, we show the geometric realisation functor factors through an endofunctor of a certain category. Our interpretation clarifies the explanation of [Drinfeld] "why geometric realization commutes with Cartesian products and why the geometric realization of a simplicial set [...] is equipped with an action of the group of orientation preserving homeomorphisms of the segment [0,1]".


title: Phonon-assisted Exciton Dissociation in Transition Metal Dichalcogenides

abstract: Monolayers of transition metal dichalcogenides (TMDs) have been established in the last years as promising materials for novel optoelectronic devices. However, the performance of such devices is often limited by the dissociation of tightly bound excitons into free electrons and holes. While previous studies have investigated tunneling at large electric fields, we focus in this work on phonon-assisted exciton dissociation that is expected to be the dominant mechanism at small fields. We present a microscopic model based on the density matrix formalism providing access to time- and momentum-resolved exciton dynamics including phonon-assisted dissociation. We track the pathway of excitons from optical excitation via thermalization to dissociation, identifying the main transitions and dissociation channels. Furthermore, we find intrinsic limits for the quantum efficiency and response time of a TMD-based photodetector and investigate their tunability with externally accessible knobs, such as excitation energy, substrate screening, temperature and strain. Our work provides microscopic insights in fundamental mechanisms behind exciton dissociation and can serve as a guide for the optimization of TMD-based optoelectronic devices.


title: Streamlining Cross-Document Coreference Resolution: Evaluation and Modeling

abstract: Recent evaluation protocols for Cross-document (CD) coreference resolution have often been inconsistent or lenient, leading to incomparable results across works and overestimation of performance. To facilitate proper future research on this task, our primary contribution is proposing a pragmatic evaluation methodology which assumes access to only raw text -- rather than assuming gold mentions, disregards singleton prediction, and addresses typical targeted settings in CD coreference resolution. Aiming to set baseline results for future research that would follow our evaluation methodology, we build the first end-to-end model for this task. Our model adapts and extends recent neural models for within-document coreference resolution to address the CD coreference setting, which outperforms state-of-the-art results by a significant margin.


title: Reliable, Fair and Decentralized Marketplace for Content Sharing Using Blockchain

abstract: Content sharing platforms such as Youtube and Vimeo have promoted pay per view models for artists to monetize their content. Yet, artists remain at the mercy of centralized platforms that control content listing and advertisement, with little transparency and fairness in terms of number of views or revenue. On the other hand, consumers are distanced from the publishers and cannot authenticate originality of the content. In this paper, we develop a reliable and fair platform for content sharing without a central facilitator. The platform is built as a decentralized data storage layer to store and share content in a fault-tolerant manner, where the peers also participate in a blockchain network. The blockchain is used to manage content listings and as an auditable and fair marketplace transaction processor that automatically pays out the content creators and the storage facilitators using smart contracts. We demonstrate the system with the blockchain layer built on Hyperledger Fabric and the data layer built on Tahoe-LAFS,and show that our design is practical and scalable with low overheads.


title: Topology and geometry of flagness and beltness of simple orbifolds

abstract: We consider a class of right-angled Coxeter orbifolds, named as simple orbifolds, which are a generalization of simple polytopes. Similarly to manifolds over simple polytopes, the topology and geometry of manifolds over simple orbifolds are closely related to the combinatorics and orbifold structure of simple orbifolds. We generalize the notions of flag and belt in the setting of simple polytopes into the setting of simple orbifolds. To describe the topology and geometry of a simple orbifold in terms of its combinatorics, we focus on {\em simple handlebodies} (that is, simple orbifolds which can be obtained from simple polytopes by gluing some disjoint specific codimension-one faces). We prove the following two main results in terms of combinatorics, which can be understood as "Combinatorial Sphere Theorem" and "Combinatorial Flat Torus Theorem" on simple handlebodies: (A) A simple handlebody is orbifold-aspherical if and only if it is flag. (B) There exists a rank-two free abelian subgroup in $\pi_1^{orb}(Q)$ of an orbifold-aspherical simple handlebody $Q$ if and only if it contains an $\square$-belt. Furthermore, based on such two results and some results of geometry, it is shown that the existence of some curvatures on a certain manifold cover (manifold double) over a simple handlebody $Q$ can be characterized in terms of the combinatorics of $Q$. In 3-dimensional case, together with the theory of hyperbolic 3-manifolds, we can induce a pure combinatorial equivalent description for a simple $3$-handlebody to admit a right-angled hyperbolic structure, which is a natural generalization of Pogorelov Theorem.


title: Evolution of family systems and resultant socio-economic structures

abstract: Families form the basis of society, and anthropologists have characterised various family systems. This study developed a multi-level evolutionary model of pre-industrial agricultural societies to simulate the evolution of family systems and determine how each of them adapts to environmental conditions and forms a characteristic socio-economic structure. In the model, competing societies evolve, which themselves comprise multiple evolving families that grow through family labour. Each family has two strategy parameters: the time children leave the parental home and the distribution of inheritance among siblings. The evolution of these parameters demonstrates that four basic family systems emerge; families can become either nuclear or extended, and have either an equal or unequal inheritance distribution. Nuclear families emerge where land resources are sufficient, whereas extended families emerge where land resources are limited. Equal inheritance emerges where the amount of wealth required for a family to survive is large, whereas unequal inheritance emerges where the required wealth is small. Analyses on the wealth distribution of families demonstrate a higher level of poverty in extended families, and that the accumulation of wealth is accelerated for unequal inheritance. By comparing wealth distributions in the model with historical data, family systems are associated with characteristic economic structures and modern social ideologies. Empirical data analyses using the cross-cultural ethnographic database verify the theoretical relationship between the environmental conditions, family systems, and socio-economic structures. Theoretical studies by this simple constructive model, as presented here, will integrate the understandings of family systems in evolutionary anthropology, demography, and socioeconomic histories.


title: Attenuating the fermion sign problem in path integral Monte Carlo simulations using the Bogoliubov inequality and thermodynamic integration

abstract: Accurate thermodynamic simulations of correlated fermions using path integral Monte Carlo (PIMC) methods are of paramount importance for many applications such as the description of ultracold atoms, electrons in quantum dots, and warm-dense matter. The main obstacle is the fermion sign problem (FSP), which leads to an exponential increase in computation time both with increasing the system-size and with decreasing temperature. Very recently, Hirshberg et al. [J. Chem. Phys. 152, 171102 (2020)] have proposed to alleviate the FSP based on the Bogoliubov inequality. In the present work, we extend this approach by adding a parameter that controls the perturbation, allowing for an extrapolation to the exact result. In this way, we can also use thermodynamic integration to obtain an improved estimate of the fermionic energy. As a test system, we choose electrons in 2D and 3D quantum dots and find in some cases a speed-up exceeding 10^6 , as compared to standard PIMC, while retaining a relative accuracy of $\sim0.1\%$. Our approach is quite general and can readily be adapted to other simulation methods.


title: A new look at departure time choice equilibrium models with heterogeneous users

abstract: This paper presents a systematic approach for analyzing the departure-time choice equilibrium (DTCE) problem of a single bottleneck with heterogeneous commuters. The approach is based on the fact that the DTCE is equivalently represented as a linear programming problem with a special structure, which can be analytically solved by exploiting the theory of optimal transport combined with a decomposition technique. By applying the proposed approach to several types of models with heterogeneous commuters, it is shown that (i) the essential condition for emerging equilibrium "sorting patterns," which have been known in the literature, is that the schedule delay functions have the "Monge property," (ii) the equilibrium problems with the Monge property can be solved analytically, and (iii) the proposed approach can be applied to a more general problem with more than two types of heterogeneities.


title: The cost of coordination can exceed the benefit of collaboration in performing complex tasks

abstract: Humans and other intelligent agents often rely on collective decision making based on an intuition that groups outperform individuals. However, at present, we lack a complete theoretical understanding of when groups perform better. Here we examine performance in collective decision-making in the context of a real-world citizen science task environment in which individuals with manipulated differences in task-relevant training collaborated. We find 1) dyads gradually improve in performance but do not experience a collective benefit compared to individuals in most situations; 2) the cost of coordination to efficiency and speed that results when switching to a dyadic context after training individually is consistently larger than the leverage of having a partner, even if they are expertly trained in that task; and 3) on the most complex tasks having an additional expert in the dyad who is adequately trained improves accuracy. These findings highlight that the extent of training received by an individual, the complexity of the task at hand, and the desired performance indicator are all critical factors that need to be accounted for when weighing up the benefits of collective decision-making.

categories: cs.SI cs.CY cs.GT nlin.AO physics.soc-ph


title: Zero-inertia Offshore Grids: N-1 Security and Active Power Sharing

abstract: With Denmark dedicated to maintaining its leading position in the integration of massive shares of wind energy, the construction of new offshore energy islands has been recently approved by the Danish government. These new islands will be zero-inertia systems, meaning that no synchronous generation will be installed in the island and that power imbalances will be shared only among converters. To this end, this paper proposes a methodology to calculate and update the frequency droops gains of the offshore converters in compliance with the N-1 security criterion in case of converter outage. The frequency droop gains are calculated solving an optimization problem which takes into consideration the power limitations of the converters as well as the stability of the system. As a consequence, the proposed controller ensures safe operation of off-shore systems in the event of any power imbalance and allows for greater loadability at pre-fault state, as confirmed by the simulation results.


title: Timeliness-aware On-site Planning Method for Tour Navigation

abstract: In recent years, there has been a growing interest in travel applications that provide on-site personalized tourist spot recommendations. While generally helpful, most available options offer choices based solely on static information on places of interest without consideration of such dynamic factors as weather, time of day, and congestion, and with a focus on helping the tourist decide what single spot to visit next. Such limitations may prevent visitors from optimizing the use of their limited resources (i.e., time and money). Some existing studies allow users to calculate a semi-optimal tour visiting multiple spots in advance, but their on-site use is difficult due to the large computation time, no consideration of dynamic factors, etc. To deal with this situation, we formulate a tour score approach with three components: static tourist information on the next spot to visit, dynamic tourist information on the next spot to visit, and an aggregate measure of satisfaction associated with visiting the next spot and the set of subsequent spots to be visited. Determining the tour route that produces the best overall tour score is an NP-hard problem for which we propose three algorithms on the greedy method. To validate the usefulness of the proposed approach, we applied the three algorithms to 20 points of interest in Higashiyama, Kyoto, Japan, and confirmed that the output solution was superior to the model route for Kyoto, with computation times of the three algorithms of $1.9\pm0.1$, $2.0\pm0.1$, and $27.0\pm1.8$ s.


title: Ergodicity for $p$-adic continued fraction algorithms

abstract: Following Schweiger's generalization of multidimensional continued fraction algorithms, we consider a very large family of $p$-adic multidimensional continued fraction algorithms, which include Schneider's algorithm, Ruban's algorithms, and the $p$-adic Jacobi-Perron algorithm as special cases. The main result is to show that all the transformations in the family are ergodic with respect to the Haar measure.


title: Few-shot Font Generation with Localized Style Representations and Factorization

abstract: Automatic few-shot font generation is a practical and widely studied problem because manual designs are expensive and sensitive to the expertise of designers. Existing few-shot font generation methods aim to learn to disentangle the style and content element from a few reference glyphs, and mainly focus on a universal style representation for each font style. However, such approach limits the model in representing diverse local styles, and thus makes it unsuitable to the most complicated letter system, e.g., Chinese, whose characters consist of a varying number of components (often called "radical") with a highly complex structure. In this paper, we propose a novel font generation method by learning localized styles, namely component-wise style representations, instead of universal styles. The proposed style representations enable us to synthesize complex local details in text designs. However, learning component-wise styles solely from reference glyphs is infeasible in the few-shot font generation scenario, when a target script has a large number of components, e.g., over 200 for Chinese. To reduce the number of reference glyphs, we simplify component-wise styles by a product of component factor and style factor, inspired by low-rank matrix factorization. Thanks to the combination of strong representation and a compact factorization strategy, our method shows remarkably better few-shot font generation results (with only 8 reference glyph images) than other state-of-the-arts, without utilizing strong locality supervision, e.g., location of each component, skeleton, or strokes. The source code is available at https://github.com/clovaai/lffont.


title: The Atacama Cosmology Telescope: A Catalog of > 4000 Sunyaev-Zel'dovich Galaxy Clusters

abstract: We present a catalog of 4195 optically confirmed Sunyaev-Zel'dovich (SZ) selected galaxy clusters detected with signal-to-noise > 4 in 13,211 deg$^2$ of sky surveyed by the Atacama Cosmology Telescope (ACT). Cluster candidates were selected by applying a multi-frequency matched filter to 98 and 150 GHz maps constructed from ACT observations obtained from 2008-2018, and confirmed using deep, wide-area optical surveys. The clusters span the redshift range 0.04 < z < 1.91 (median z = 0.52). The catalog contains 222 z > 1 clusters, and a total of 868 systems are new discoveries. Assuming an SZ-signal vs. mass scaling relation calibrated from X-ray observations, the sample has a 90% completeness mass limit of M500c > 3.8 x 10$^{14}$ MSun, evaluated at z = 0.5, for clusters detected at signal-to-noise ratio > 5 in maps filtered at an angular scale of 2.4'. The survey has a large overlap with deep optical weak-lensing surveys that are being used to calibrate the SZ-signal mass-scaling relation, such as the Dark Energy Survey (4566 deg$^2$), the Hyper Suprime-Cam Subaru Strategic Program (469 deg$^2$), and the Kilo Degree Survey (825 deg$^2$). We highlight some noteworthy objects in the sample, including potentially projected systems; clusters with strong lensing features; clusters with active central galaxies or star formation; and systems of multiple clusters that may be physically associated. The cluster catalog will be a useful resource for future cosmological analyses, and studying the evolution of the intracluster medium and galaxies in massive clusters over the past 10 Gyr.


title: Unsupervised Feature Learning for Event Data: Direct vs Inverse Problem Formulation

abstract: Event-based cameras record an asynchronous stream of per-pixel brightness changes. As such, they have numerous advantages over the standard frame-based cameras, including high temporal resolution, high dynamic range, and no motion blur. Due to the asynchronous nature, efficient learning of compact representation for event data is challenging. While it remains not explored the extent to which the spatial and temporal event "information" is useful for pattern recognition tasks. In this paper, we focus on single-layer architectures. We analyze the performance of two general problem formulations: the direct and the inverse, for unsupervised feature learning from local event data (local volumes of events described in space-time). We identify and show the main advantages of each approach. Theoretically, we analyze guarantees for an optimal solution, possibility for asynchronous, parallel parameter update, and the computational complexity. We present numerical experiments for object recognition. We evaluate the solution under the direct and the inverse problem and give a comparison with the state-of-the-art methods. Our empirical results highlight the advantages of both approaches for representation learning from event data. We show improvements of up to 9 % in the recognition accuracy compared to the state-of-the-art methods from the same class of methods.


title: Global solutions to the free boundary value problem of a chemotaxis-Navier-Stokes system

abstract: In this paper, we investigate the global solvability of the chemotaxis-Navier-Stokes system on a three-dimensional moving domain of finite depth, bounded below by a rigid flat bottom and bounded above by the free surface. Completing the system with boundary conditions that match the boundary descriptions in the experiments and numerical simulations, we establish the global existence and uniqueness of solutions near a constant state $(0,\hat{c},\mathbf{0})$, where $\hat{c}$ is the saturation value of the oxygen on the free surface. To the best of our knowledge, this is the first analytical work for the well-posedness of chemotaxis-Navier-Stokes system on a time-dependent domain.


title: A search for neutron to mirror-neutron oscillations

abstract: It has been proposed that there could be a mirror copy of the standard model particles, restoring the parity symmetry in the weak interaction on the global level. Oscillations between a neutral standard model particle, such as the neutron, and its mirror counterpart could potentially answer various standing issues in physics today. Astrophysical studies and terrestrial experiments led by ultracold neutron storage measurements have investigated neutron to mirror-neutron oscillations and imposed constraints on the theoretical parameters. Recently, further analysis of these ultracold neutron storage experiments has yielded statistically significant anomalous signals that may be interpreted as neutron to mirror-neutron oscillations, assuming nonzero mirror magnetic fields. The neutron electric dipole moment collaboration performed a dedicated search at the Paul Scherrer Institute and found no evidence of neutron to mirror-neutron oscillations. Thereby, the following new lower limits on the oscillation time were obtained: $\tau_{nn'} > 352~$s at $B'=0$ (95% C.L.), $\tau_{nn'} > 6~\text{s}$ for all $0.4~\mu\text{T}<B'<25.7~\mu\text{T}$ (95% C.L.), and $\tau_{nn'}/\sqrt{\cos\beta}>9~\text{s}$ for all $5.0~\mu\text{T}<B'<25.4~\mu\text{T}$ (95% C.L.), where $\beta$ is the fixed angle between the applied magnetic field and the local mirror magnetic field which is assumed to be bound to the Earth. These new constraints are the best measured so far around $B'\sim10~\mu$T, and $B'\sim20~\mu$T.


title: Universal dynamics of superradiant phase transition in the anisotropic quantum Rabi model

abstract: We investigate the universally non-equilibrium dynamics of superradiant phase transition in the anisotropic quantum Rabi model. By introducing position and momentum operators, we obtain the ground states and their excitation gaps for both normal and superradiant phases via perturbation theory. We analytically extract the critical exponents from the excitation gap and the diverging length scale near the critical point, and find that the critical exponents are independent upon the anisotropy ratio. Moreover, by simulating the real-time dynamics across the critical point, we numerically extract the critical exponents from the phase transition delay and the diverging length scale, which are well consistent with the analytical ones. Our study provides a dynamic way to explore universal critical behaviors in the quantum Rabi model.


title: Nonlinear stability of chemotactic clustering with discontinuous advection

abstract: We perform the nonlinear stability analysis of a chemotaxis model of bacterial self-organization, assuming that bacteria respond sharply to chemical signals. The resulting discontinuous advection speed represents the key challenge for the stability analysis. We follow a perturbative approach, where the shape of the cellular profile is clearly separated from its global motion, allowing us to circumvent the discontinuity issue. Further, the homogeneity of the problem leads to two conservation laws, which express themselves in differently weighted functional spaces. This discrepancy between the weights represents another key methodological challenge. We derive an improved Poincar\'e inequality that allows to transfer the information encoded in the conservation laws to the appropriately weighted spaces. As a result, we obtain exponential relaxation to equilibrium with an explicit rate. A numerical investigation illustrates our results.


title: The estimate of sensitivity for large infrared telescopes based on measured sky brightness and atmospheric extinction

abstract: In order to evaluate the ground-based infrared telescope sensitivity affected by the noise from the atmosphere, instruments and detectors, we construct a sensitivity model that can calculate limiting magnitudes and signal-to-noise ratio ($S/N$). The model is tested with tentative measurements of $\rm M'$-band sky brightness and atmospheric extinction obtained at the Ali and Daocheng sites. We find that the noise caused by an excellent scientific detector and instruments at $-135^\circ \rm C$ can be ignored compared to the $\rm M'$-band sky background noise. Thus, when $S/N=3$ and total exposure time is 1 second for 10 m telescopes, the magnitude limited by the atmosphere is $13.01^{\rm m}$ at Ali and $12.96^{\rm m}$ at Daocheng. Even under less-than-ideal circumstances, i.e., the readout noise of a deep cryogenic detector is less than $200e^-$ and the instruments are cooled to below $-87.2^\circ \rm C$, the above magnitudes decrease by $0.056^{\rm m}$ at most. Therefore, according to observational requirements with a large telescope in a given infrared band, astronomers can use this sensitivity model as a tool for guiding site surveys, detector selection and instrumental thermal-control.


title: Robust and efficient post-processing for video object detection

abstract: Object recognition in video is an important task for plenty of applications, including autonomous driving perception, surveillance tasks, wearable devices or IoT networks. Object recognition using video data is more challenging than using still images due to blur, occlusions or rare object poses. Specific video detectors with high computational cost or standard image detectors together with a fast post-processing algorithm achieve the current state-of-the-art. This work introduces a novel post-processing pipeline that overcomes some of the limitations of previous post-processing methods by introducing a learning-based similarity evaluation between detections across frames. Our method improves the results of state-of-the-art specific video detectors, specially regarding fast moving objects, and presents low resource requirements. And applied to efficient still image detectors, such as YOLO, provides comparable results to much more computationally intensive detectors.


title: Estimation of an Upper Limit on the Density of Relic Neutrinos in the Sun via the Solar $^8$B Neutrino Flux

abstract: Relic neutrinos from the early universe are predicted to have a relatively large number density, but extremely low energies. Hence, the only possible interaction proceeds via neutrino capture on beta-decaying nuclei. In case relic neutrinos are captured by beta-decaying nuclei in the Sun, the neutrinos normally emerging from the decay of these nuclei will be missing from the overall number of solar neutrinos registered in neutrino experiments. Within the Sun, ${}^8\mathrm{B}$ and three nuclei from the CNO cycle are found to be suitable for this kind of process. Their cross section as well as the possible impact on the observed number of solar neutrinos are discussed. Assuming standard neutrino oscillations, no deviations of neutrino flux measurements from the predictions of the solar standard model are observed and upper limits are derived accordingly.


title: Kondo effects in small bandgap carbon nanotube quantum dots

abstract: We study magnetoconductance of the small bandgap carbon nanotube quantum dots in the presence of spin-orbit coupling in the strong correlations regime. The finite-U mean field slave boson approach is used to study many-body effects. Different degeneracies are restored in magnetic field and Kondo effects of different symmetries arise including SU(3) effects of different types. Full spin-orbital degeneracy might be recovered for zero field and correspondingly SU(4) Kondo effect sets in. We point out on the possibility of the occurrence of electron-hole Kondo effects in slanting magnetic fields, which we predict will occur in the available magnetic fields for orientation of fields close to perpendicular. When the field approaches transverse orientation a crossover from SU(2) or SU(3) symmetry into SU(4) is observed.


title: The Eikonal Approximation and the Gravitational Dynamics of Binary Systems

abstract: In this thesis we study the conservative gravitational dynamics of binary systems using the eikonal approximation; allowing us to use scattering amplitude techniques to calculate dynamical quantities in classical gravity. This has implications for the study of binary black hole systems and their resulting gravitational waves.


title: Supervised Multi-topology Network Cross-diffusion for Population-driven Brain Network Atlas Estimation

abstract: Estimating a representative and discriminative brain network atlas (BNA) is a nascent research field in mapping a population of brain networks in health and disease. Although limited, existing BNA estimation methods have several limitations. First, they primarily rely on a similarity network diffusion and fusion technique, which only considers node degree as a topological measure in the cross-network diffusion process, thereby overlooking rich topological measures of the brain network (e.g., centrality). Second, both diffusion and fusion techniques are implemented in fully unsupervised manner, which might decrease the discriminative power of the estimated BNAs. To fill these gaps, we propose a supervised multi-topology network cross-diffusion (SM-netFusion) framework for estimating a BNA satisfying : (i) well-representativeness (captures shared traits across subjects), (ii) well-centeredness (optimally close to all subjects), and (iii) high discriminativeness (can easily and efficiently identify discriminative brain connections that distinguish between two populations). For a specific class, given the cluster labels of the training data, we learn a weighted combination of the topological diffusion kernels derived from degree, closeness and eigenvector centrality measures in a supervised manner. Specifically, we learn the cross-diffusion process by normalizing the training brain networks using the learned diffusion kernels. Our SM-netFusion produces the most centered and representative template in comparison with its variants and state-of-the-art methods and further boosted the classification of autistic subjects by 5-15%. SM-netFusion presents the first work for supervised network cross-diffusion based on graph topological measures, which can be further leveraged to design an efficient graph feature selection method for training predictive learners in network neuroscience.


title: A Morita characterisation for algebras and spaces of operators on Hilbert spaces

abstract: We introduce the notion of $\Delta$ and $\sigma\,\Delta-$ pairs for operator algebras and characterise $\Delta-$ pairs through their categories of left operator modules over these algebras. Furthermore, we introduce the notion of $\Delta$-Morita equivalent operator spaces and prove a similar theorem about their algebraic extensions. We prove that $\sigma\Delta$-Morita equivalent operator spaces are stably isomorphic and vice versa. Finally, we study unital operator spaces, emphasising their left (resp. right) multiplier algebras, and prove theorems that refer to $\Delta$-Morita equivalence of their algebraic extensions.


title: A simple $(2+\epsilon)$-approximation algorithm for Split Vertex Deletion

abstract: A split graph is a graph whose vertex set can be partitioned into a clique and a stable set. Given a graph $G$ and weight function $w: V(G) \to \mathbb{Q}_{\geq 0}$, the Split Vertex Deletion (SVD) problem asks to find a minimum weight set of vertices $X$ such that $G-X$ is a split graph. It is easy to show that a graph is a split graph if and only it it does not contain a $4$-cycle, $5$-cycle, or a two edge matching as an induced subgraph. Therefore, SVD admits an easy $5$-approximation algorithm. On the other hand, for every $\delta >0$, SVD does not admit a $(2-\delta)$-approximation algorithm, unless P=NP or the Unique Games Conjecture fails. For every $\epsilon >0$, Lokshtanov, Misra, Panolan, Philip, and Saurabh recently gave a randomized $(2+\epsilon)$-approximation algorithm for SVD. In this work we give an extremely simple deterministic $(2+\epsilon)$-approximation algorithm for SVD.


title: Theoretical analysis of quantum turbulence using the Onsager "ideal turbulence" theory

abstract: We investigate three-dimensional quantum turbulence as described by the Gross-Pitaevskii model using the analytical method exploited in the Onsager "ideal turbulence" theory. We derive the scale-independence of the scale-to-scale kinetic energy flux and establish a double-cascade scenario: at scales much larger than the mean intervortex $\ell_i$, the Richardson cascade becomes dominant, whereas at scales much smaller than $\ell_i$, another type of cascade is induced by quantum stress. We then evaluate the corresponding velocity power spectrum using a phenomenological argument. The relation between the novel cascade, which we call quantum stress cascade, and the Kelvin-wave cascade is also discussed.


title: Topology-Aware Generative Adversarial Network for Joint Prediction of Multiple Brain Graphs from a Single Brain Graph

abstract: Several works based on Generative Adversarial Networks (GAN) have been recently proposed to predict a set of medical images from a single modality (e.g, FLAIR MRI from T1 MRI). However, such frameworks are primarily designed to operate on images, limiting their generalizability to non-Euclidean geometric data such as brain graphs. While a growing number of connectomic studies has demonstrated the promise of including brain graphs for diagnosing neurological disorders, no geometric deep learning work was designed for multiple target brain graphs prediction from a source brain graph. Despite the momentum the field of graph generation has gained in the last two years, existing works have two critical drawbacks. First, the bulk of such works aims to learn one model for each target domain to generate from a source domain. Thus, they have a limited scalability in jointly predicting multiple target domains. Second, they merely consider the global topological scale of a graph (i.e., graph connectivity structure) and overlook the local topology at the node scale of a graph (e.g., how central a node is in the graph). To meet these challenges, we introduce MultiGraphGAN architecture, which not only predicts multiple brain graphs from a single brain graph but also preserves the topological structure of each target graph to predict. Its three core contributions lie in: (i) designing a graph adversarial auto-encoder for jointly predicting brain graphs from a single one, (ii) handling the mode collapse problem of GAN by clustering the encoded source graphs and proposing a cluster-specific decoder, (iii) introducing a topological loss to force the reconstruction of topologically sound target brain graphs. Our MultiGraphGAN significantly outperformed its variants thereby showing its great potential in multi-view brain graph generation from a single graph.


title: Blue Large-Amplitude Pulsators: the Possible Surviving Companions of Type Ia Supernovae

abstract: The single degenerate (SD) model, one of the leading models for the progenitors of Type Ia supernovae (SNe Ia), predicts that there should be binary companions that survive the supernova explosion which, in principle, should be detectable in the Galaxy. The discovery of such surviving companions could therefore provide conclusive support for the SD model. Several years ago, a new type of mysterious variables was discovered, the so-called blue large-amplitude pulsators (BLAPs). Here we show that all the properties of BLAPs can be reasonably well reproduced if they are indeed such surviving companions, in contrast to other proposed channels. This suggests that BLAPs could potentially be the long-sought surviving companions of SNe Ia. Our model also predicts a new channel for forming single hot subdwarf stars, consistent with a small group in the present hot-subdwarf-star sample.


title: Docs are ROCs: A simple off-the-shelf approach for estimating average human performance in diagnostic studies

abstract: Estimating average human performance has been performed inconsistently in research in diagnostic medicine. This has been particularly apparent in the field of medical artificial intelligence, where humans are often compared against AI models in multi-reader multi-case studies, and commonly reported metrics such as the pooled or average human sensitivity and specificity will systematically underestimate the performance of human experts. We present the use of summary receiver operating characteristic curve analysis, a technique commonly used in the meta-analysis of diagnostic test accuracy studies, as a sensible and methodologically robust alternative. We describe the motivation for using these methods and present results where we apply these meta-analytic techniques to a handful of prominent medical AI studies.


title: Algebraic cycles and Gushel-Mukai fivefolds

abstract: We show that Gushel-Mukai fivefolds admit a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of these varieties injects into cohomology.


title: Zero-cycles on self-products of varieties: some elementary examples verifying Voisin's conjecture

abstract: An old conjecture of Voisin describes how zero-cycles on a variety $X$ should behave when pulled-back to the self-product $X^m$ for $m$ larger than the geometric genus of $X$. Using complete intersections of quadrics, we give examples of varieties in any dimension and with arbitrarily high geometric genus that verify Voisin's conjecture.


title: A Sparse Sampling-based framework for Semantic Fast-Forward of First-Person Videos

abstract: Technological advances in sensors have paved the way for digital cameras to become increasingly ubiquitous, which, in turn, led to the popularity of the self-recording culture. As a result, the amount of visual data on the Internet is moving in the opposite direction of the available time and patience of the users. Thus, most of the uploaded videos are doomed to be forgotten and unwatched stashed away in some computer folder or website. In this paper, we address the problem of creating smooth fast-forward videos without losing the relevant content. We present a new adaptive frame selection formulated as a weighted minimum reconstruction problem. Using a smoothing frame transition and filling visual gaps between segments, our approach accelerates first-person videos emphasizing the relevant segments and avoids visual discontinuities. Experiments conducted on controlled videos and also on an unconstrained dataset of First-Person Videos (FPVs) show that, when creating fast-forward videos, our method is able to retain as much relevant information and smoothness as the state-of-the-art techniques, but in less processing time.


title: Simulation-based optimisation of the timing of loan recovery across different portfolios

abstract: A novel procedure is presented for the objective comparison and evaluation of a bank's decision rules in optimising the timing of loan recovery. This procedure is based on finding a delinquency threshold at which the financial loss of a loan portfolio (or segment therein) is minimised. Our procedure is an expert system that incorporates the time value of money, costs, and the fundamental trade-off between accumulating arrears versus forsaking future interest revenue. Moreover, the procedure can be used with different delinquency measures (other than payments in arrears), thereby allowing an indirect comparison of these measures. We demonstrate the system across a range of credit risk scenarios and portfolio compositions. The computational results show that threshold optima can exist across all reasonable values of both the payment probability (default risk) and the loss rate (loan collateral). In addition, the procedure reacts positively to portfolios afflicted by either systematic defaults (such as during an economic downturn) or episodic delinquency (i.e., cycles of curing and re-defaulting). In optimising a portfolio's recovery decision, our procedure can better inform the quantitative aspects of a bank's collection policy than relying on arbitrary discretion alone.


title: Edge Learning with Timeliness Constraints: Challenges and Solutions

abstract: Future machine learning (ML) powered applications, such as autonomous driving and augmented reality, involve training and inference tasks with timeliness requirements and are communication and computation intensive, which demands for the edge learning framework. The real-time requirements drive us to go beyond accuracy for ML. In this article, we introduce the concept of timely edge learning, aiming to achieve accurate training and inference while minimizing the communication and computation delay. We discuss key challenges and propose corresponding solutions from data, model and resource management perspectives to meet the timeliness requirements. Particularly, for edge training, we argue that the total training delay rather than rounds should be considered, and propose data or model compression, and joint device scheduling and resource management schemes for both centralized training and federated learning systems. For edge inference, we explore the dependency between accuracy and delay for communication and computation, and propose dynamic data compression and flexible pruning schemes. Two case studies show that the timeliness performances, including the training accuracy under a given delay budget and the completion ratio of inference tasks within deadline, are highly improved with the proposed solutions.


title: Directed flow of D mesons at RHIC and LHC: non-perturbative dynamics, longitudinal bulk matter asymmetry and electromagnetic fields

abstract: We present a study of the directed flow $v_1$ for $D$ mesons discussing both the impact of initial vorticity and electromagnetic field. Recent studies predicted that $v_1$ for $D$ mesons is expected to be surprisingly much larger than that of light charged hadrons; we clarify that this is due to a different mechanism leading to the formation of a directed flow with respect to the one of the bulk matter at both relativistic and non-relativistic energies. We point out that the very large $v_1$ for $D$ mesons can be generated only if there is a longitudinal asymmetry between the bulk matter and the charm quarks and if the latter have a large non-perturbative interaction in the QGP medium. A quite good agreement with the data of STAR and ALICE is obtained if the diffusion coefficient able to correctly predict the $R_{AA}(p_T)$, $v_{2}(p_T)$ and $v_{3}(p_T)$ of $D$ meson is employed. Furthermore, the mechanism for the build-up of the $v_1(y)$ is associated to a quite small formation time that can be expected to be more sensitive to the initial high-temperature dependence of the charm diffusion coefficient. We discuss also the splitting of $v_1$ for $D^0$ and $\bar D^0$ due to the electromagnetic field that is again much larger than the one observed for charged particles and in agreement with the data by STAR that have however still error bars comparable with the splitting itself, while at LHC standard electromagnetic profile assuming a constant conductivity is not able to account for the huge splitting observed.


title: Correlation Coefficient Analysis of the Age of Information in Multi-Source Systems

abstract: This paper studies the age of information (AoI) on an information updating system such that multiple sources share one server to process packets of updated information. In such systems, packets from different sources compete for the server, and thus they may suffer from being interrupted, being backlogged, and becoming stale. Therefore, in order to grasp structures of such systems, it is crucially important to study a metric indicating a correlation of different sources. In this paper, we aim to analyze the correlation of AoIs on a single-server queueing system with multiple sources. As our contribution, we provide the closed-form expression of the correlation coefficient of the AoIs. To this end, we first derive the Laplace-Stieltjes transform of the stationary distribution of each AoI for the multiple sources. Some nontrivial properties on the systems are revealed from our analysis results.


title: On Approximating Polynomial-Quadratic Regulator Problems

abstract: Feedback control problems involving autonomous polynomial systems are prevalent, yet there are limited algorithms and software for approximating their solution. This paper represents a step forward by considering the special case of the regulator problem where the state equation has polynomial nonlinearity, control costs are quadratic, and the feedback control is approximated by low-degree polynomials. As this represents the natural extension of the linear-quadratic regulator (LQR) and quadratic-quadratic regulator (QQR) problems, we denote this class as polynomial-quadratic regulator (PQR) problems. The present approach is amenable to feedback approximations with low degree polynomials and to problems of modest model dimension. This setting can be achieved in many problems using modern model reduction methods. The Al'Brekht algorithm, when applied to polynomial nonlinearities represented as Kronecker products leads to an elegant formulation. The terms of the feedback control lead to large linear systems that can be effectively solved with an N-way generalization of the Bartels-Stewart algorithm. We demonstrate our algorithm with numerical examples that include the Lorenz equations, a ring of van der Pol oscillators, and a discretized version of the Burgers equation. The software described here is available on Github.


title: Towards accelerated rates for distributed optimization over time-varying networks

abstract: We study the problem of decentralized optimization over time-varying networks with strongly convex smooth cost functions. In our approach, nodes run a multi-step gossip procedure after making each gradient update, thus ensuring approximate consensus at each iteration, while the outer loop is based on accelerated Nesterov scheme. The algorithm achieves precision $\varepsilon > 0$ in $O(\sqrt{\kappa_g}\chi\log^2(1/\varepsilon))$ communication steps and $O(\sqrt{\kappa_g}\log(1/\varepsilon))$ gradient computations at each node, where $\kappa_g$ is the global function number and $\chi$ characterizes connectivity of the communication network. In the case of a static network, $\chi = 1/\gamma$ where $\gamma$ denotes the normalized spectral gap of communication matrix $\mathbf{W}$. The complexity bound includes $\kappa_g$, which can be significantly better than the worst-case condition number among the nodes.


title: Variant-based Equational Unification under Constructor Symbols

abstract: Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equational unification algorithm relying on the concept of the variants of a term is available in the most recent version of Maude, version 3.0, which provides quite sophisticated unification features. A variant of a term t is a pair consisting of a substitution sigma and the canonical form of tsigma. Variant-based unification is decidable when the equational theory satisfies the finite variant property. However, this unification procedure does not take into account constructor symbols and, thus, may compute many more unifiers than the necessary or may not be able to stop immediately. In this paper, we integrate the notion of constructor symbol into the variant-based unification algorithm. Our experiments on positive and negative unification problems show an impressive speedup.


title: Stochastic output feedback MPC with intermittent observations

abstract: This paper designs a model predictive control (MPC) law for constrained linear systems with stochastic additive disturbances and noisy measurements, minimising a discounted cost subject to a discounted expectation constraint. It is assumed that sensor data is lost with a known probability. Taking into account the data losses modelled by a Bernoulli process, we parameterise the predicted control policy as an affine function of future observations and obtain a convex linear-quadratic optimal control problem. Constraint satisfaction and a discounted cost bound are ensured without imposing bounds on the distributions of the disturbance and noise inputs. In addition, the average long-run undiscounted closed loop cost is shown to be finite if the discount factor takes appropriate values. We analyse robustness of the proposed control law with respect to possible uncertainties in the arrival probability of sensor data and we bound the impact of these uncertainties on constraint satisfaction and the discounted cost. Numerical simulations are provided to illustrate these results.


title: Differential Viewpoints for Ground Terrain Material Recognition

abstract: Computational surface modeling that underlies material recognition has transitioned from reflectance modeling using in-lab controlled radiometric measurements to image-based representations based on internet-mined single-view images captured in the scene. We take a middle-ground approach for material recognition that takes advantage of both rich radiometric cues and flexible image capture. A key concept is differential angular imaging, where small angular variations in image capture enables angular-gradient features for an enhanced appearance representation that improves recognition. We build a large-scale material database, Ground Terrain in Outdoor Scenes (GTOS) database, to support ground terrain recognition for applications such as autonomous driving and robot navigation. The database consists of over 30,000 images covering 40 classes of outdoor ground terrain under varying weather and lighting conditions. We develop a novel approach for material recognition called texture-encoded angular network (TEAN) that combines deep encoding pooling of RGB information and differential angular images for angular-gradient features to fully leverage this large dataset. With this novel network architecture, we extract characteristics of materials encoded in the angular and spatial gradients of their appearance. Our results show that TEAN achieves recognition performance that surpasses single view performance and standard (non-differential/large-angle sampling) multiview performance.


title: Optimal Resource Allocation for Multi-user OFDMA-URLLC MEC Systems

abstract: In this paper, we study resource allocation algorithm design for multi-user orthogonal frequency division multiple access (OFDMA) ultra-reliable low latency communication (URLLC) in mobile edge computing (MEC) systems. To meet the stringent end-to-end delay and reliability requirements of URLLC MEC systems, we propose joint uplink-downlink resource allocation and finite blocklength transmission. Furthermore, we employ a partial time overlap between the uplink and downlink frames to minimize the end-to-end delay, which introduces a new time causality constraint. The proposed resource allocation algorithm is formulated as an optimization problem for minimization of the total weighted power consumption of the network under a constraint on the number of URLLC user bits computed within the maximum allowable computation time, i.e., the end-to-end delay of a computation task. Despite the non-convexity of the formulated optimization problem, we develop a globally optimal solution using a branch-and-bound approach based on discrete monotonic optimization theory. The branch-and-bound algorithm minimizes an upper bound on the total power consumption until convergence to the globally optimal value. Furthermore, to strike a balance between computational complexity and performance, we propose two efficient suboptimal algorithms based on successive convex approximation and second-order cone techniques. Our simulation results reveal that the proposed resource allocation algorithm design facilitates URLLC in MEC systems, and yields significant power savings compared to three baseline schemes. Moreover, our simulation results show that the proposed suboptimal algorithms offer different trade-offs between performance and complexity and attain a close-to-optimal performance at comparatively low complexity.


title: Application of Dynamic Linear Models to Random Allocation Clinical Trials with Covariates

abstract: A recent method using Dynamic Linear Models to improve preferred treatment allocation budget in random allocation models was proposed by Lee, Boone, et al (2020). However this model failed to include the impact covariates such as smoking, gender, etc, had on model performance. The current paper addresses random allocation to treatments using the DLM in Bayesian Adaptive Allocation Models with a single covariate. We show a reduced treatment allocation budget along with a reduced time to locate preferred treatment. Furthermore, a sensitivity analysis is performed on mean and variance parameters and a power analysis is conducted using Bayes Factor. This power analysis is used to determine the proportion of unallocated patient budgets above a specified cutoff value. Additionally a sensitivity analysis is conducted on covariate coefficients.


title: A Deep Learning Approach for Dynamic Balance Sheet Stress Testing

abstract: In the aftermath of the financial crisis, supervisory authorities have considerably altered the mode of operation of financial stress testing. Despite these efforts, significant concerns and extensive criticism have been raised by market participants regarding the considered unrealistic methodological assumptions and simplifications. Current stress testing methodologies attempt to simulate the risks underlying a financial institution's balance sheet by using several satellite models. This renders their integration a really challenging task, leading to significant estimation errors. Moreover, advanced statistical techniques that could potentially capture the non-linear nature of adverse shocks are still ignored. This work aims to address these criticisms and shortcomings by proposing a novel approach based on recent advances in Deep Learning towards a principled method for Dynamic Balance Sheet Stress Testing. Experimental results on a newly collected financial/supervisory dataset, provide strong empirical evidence that our paradigm significantly outperforms traditional approaches; thus, it is capable of more accurately and efficiently simulating real world scenarios.


title: Photon leaking or very hard ionizing radiation? Unveiling the nature of heII-emitters using the softness diagram

abstract: Star-forming galaxies with nebular HeII emission contain very energetic ionizing sources of radiation, which can be considered as analogs to the major contributors of the reionization of the Universe in early epochs. It is therefore of great importance to provide a reliable absolute scale for the equivalent effective temperature (T*) for these sources. We study a sample of local (z< 0.2) star-forming galaxies showing optical nebular HeII emission using the so-called softness diagrams, involving emission lines of two elements in two consecutive stages of ionization (e.g., [SII]/[SIII] vs. [OII]/[OIII]). We use for the first time the HeI/heII ratio in these diagrams in order to explore the higher range of T* expected in these objects.We build grids of photoionization models covering different black-body temperatures, model cluster atmospheres, and density-bounded geometries to explain the conditions observed in the sample. We verified that the use of the softness diagrams including the emission-line ratio HeI/HeII combined with black-body photoionization models can provide an absolute scale of T* for these objects. The application of a Bayesian-like code indicates T* in the range 50-80 kK for the sample of galaxies, with a mean value higher than 60 kK. The average of these high temperature values can only be reproduced using cluster model populations with nearly metal-free stars, although such ionizing sources cannot explain either the highest T* values, beyond 1 sigma, or the dispersion observed in the softness diagrams. According to our photoionization models, most sample galaxies could be affected to some extent by ionizing photon leaking, presenting a mean photon absorption fraction of 26% or higher depending on the metallicity assumed for the ionizing cluster.


title: On the topological Kalai-Meshulam conjecture

abstract: Chudnovsky, Scott, Seymour and Spirkl recently proved a conjecture by Kalai and Meshulam stating that the reduced Euler characteristic of the independence complex of a graph without induced cycles of length divisible by three is in {-1,0,1}. Gauthier had earlier proved that assuming no cycles of those lengths, induced or not. Kalai and Meshulam also stated a stronger topological conjecture, that the total betti numbers are in {0,1}. Towards that we prove an even stronger statement in the same setting as Gauthier: The independence complexes are either contractible or homotopy equivalent to spheres. We conjecture that it also holds in the general setting.


title: On Monogenic Reproducing Kernel Hilbert Spaces of the Paley-Wiener Type

abstract: In the Clifford algebra setting the present study develops three reproducing kernel Hilbert spaces of the Paley-Wiener type, namely the Paley-Wiener spaces, the Hardy spaces on strips, and the Bergman spaces on strips. In particular, we give spectrum characterizations and representation formulas of the functions in those spaces and estimation of their respective reproducing kernels.


title: New Trends in General Variational Inequalities

abstract: It is well known that general variational inequalities provide us with a unified, natural, novel and simple framework to study a wide class of unrelated problems, which arise in pure and applied sciences. In this paper, we present a number of new and known numerical techniques for solving general variational inequalities and equilibrium problems using various techniques including projection, Wiener-Hopf equations, dynamical systems, auxiliary principle and penalty function. General variational-like inequalities are introduced and investigated. Properties of higher order strongly general convex functions have been discussed. The auxiliary principle technique is used to suggest and analyze some iterative methods for solving higher order general variational inequalities. Some new classes of strongly exponentially general convex functions are introduced and discussed. Our proofs of convergence are very simple as compared with other methods. Our results present a significant improvement of previously known methods for solving variational inequalities and related optimization problems. Since the general variational inequalities include (quasi) variational inequalities and (quasi) implicit complementarity problems as special cases, these results continue to hold for these problems. Some numerical results are included to illustrate the efficiency of the proposed methods. Several open problems have been suggested for further research in these areas.


title: GSR-Net: Graph Super-Resolution Network for Predicting High-Resolution from Low-Resolution Functional Brain Connectomes

abstract: Catchy but rigorous deep learning architectures were tailored for image super-resolution (SR), however, these fail to generalize to non-Euclidean data such as brain connectomes. Specifically, building generative models for super-resolving a low-resolution (LR) brain connectome at a higher resolution (HR) (i.e., adding new graph nodes/edges) remains unexplored although this would circumvent the need for costly data collection and manual labelling of anatomical brain regions (i.e. parcellation). To fill this gap, we introduce GSR-Net (Graph Super-Resolution Network), the first super-resolution framework operating on graph-structured data that generates high-resolution brain graphs from low-resolution graphs. First, we adopt a U-Net like architecture based on graph convolution, pooling and unpooling operations specific to non-Euclidean data. However, unlike conventional U-Nets where graph nodes represent samples and node features are mapped to a low-dimensional space (encoding and decoding node attributes or sample features), our GSR-Net operates directly on a single connectome: a fully connected graph where conventionally, a node denotes a brain region, nodes have no features, and edge weights denote brain connectivity strength between two regions of interest (ROIs). In the absence of original node features, we initially assign identity feature vectors to each brain ROI (node) and then leverage the learned local receptive fields to learn node feature representations. Second, inspired by spectral theory, we break the symmetry of the U-Net architecture by topping it up with a graph super-resolution (GSR) layer and two graph convolutional network layers to predict a HR graph while preserving the characteristics of the LR input. Our proposed GSR-Net framework outperformed its variants for predicting high-resolution brain functional connectomes from low-resolution connectomes.


title: Gauge transformation of scalar induced tensor perturbation during matter domination

abstract: We study the scalar induced tensor perturbations at second order during matter domination in seven different gauges. Considering the obtained solution from the Newtonian gauge, we use the gauge transformation law of the scalar induced tensor perturbation to derive the solution in six other gauges. After identifying and eliminating the residual gauge modes in the synchronous and comoving orthogonal gauges, we obtain the same analytical results of the kernel function $I_{\chi}$ for these two gauges as those obtained from the gauge transformation. For the scalar induced gravitational waves oscillating as $\sin x$ and $\cos x$, we find that $\rho_{\text{GW}}\propto a^{-4}$, and $\Omega_{\text{GW}}\propto 1/a$ in the matter dominated era, so the oscillating gravitational waves behave as radiation.


title: Weak gravitational lensing by Einstein-non-linear-Maxwell-Yukawa black hole

abstract: In this article, we analyze the weak gravitational lensing in the context of Einstein-non-linear Maxwell-Yukawa black hole. To this desire, we derive the deflection angle of light by Einstein-non-linear Maxwell-Yukawa black hole using the Gibbons and Werner method. For this purpose, we obtain the Gaussian curvature and apply the Gauss-Bonnet theorem to find the deflection angle of Einstein-non-linear Maxwell-Yukawa black hole in weak field limits. Moreover, we derive the deflection angle of light in the influence of plasma medium. We also analyze the graphical behavior of deflection angle by Einstein-non-linear Maxwell-Yukawa black hole in the presence of plasma as well as non-plasma medium.


title: Holomorphic Function Spaces on Homogeneous Siegel Domains

abstract: We study several connected problems of holomorphic function spaces on homogeneous Siegel domains. The main object of our study concerns weighted mixed norm Bergman spaces on homogeneous Siegel domains of type II. These problems include: sampling, atomic decomposition, duality, boundary values, boundedness of the Bergman projectors. Our analysis include the Hardy spaces, and suitable generalizations of the classical Bloch and Dirichlet spaces. One of the main novelties in this work is the generality of the domains under consideration, that is, homogeneous Siegel domains, extending many results from the more particular cases of the upper half-plane, Siegel domains of tube type over irreducible cones, or symmetric, irreducible Siegel domains of type II.


title: Multiplexed Illumination for Classifying Visually Similar Objects

abstract: Distinguishing visually similar objects like forged/authentic bills and healthy/unhealthy plants is beyond the capabilities of even the most sophisticated classifiers. We propose the use of multiplexed illumination to extend the range of objects that can be successfully classified. We construct a compact RGB-IR light stage that images samples under different combinations of illuminant position and colour. We then develop a methodology for selecting illumination patterns and training a classifier using the resulting imagery. We use the light stage to model and synthetically relight training samples, and propose a greedy pattern selection scheme that exploits this ability to train in simulation. We then apply the trained patterns to carry out fast classification of new objects. We demonstrate the approach on visually similar artificial and real fruit samples, showing a marked improvement compared with fixed-illuminant approaches as well as a more conventional code selection scheme. This work allows fast classification of previously indistinguishable objects, with potential applications in forgery detection, quality control in agriculture and manufacturing, and skin lesion classification.


title: Markovian Performance Model for Token Bucket Filter with Fixed and Varying Packet Sizes

abstract: We consider a token bucket mechanism serving a heterogeneous flow with a focus on backlog, delay and packet loss properties. Previous models have considered the case for fixed size packets, i.e. "one token per packet" with and M/D/1 view on queuing behavior. We partition the heterogeneous flow into several packet size classes with individual Poisson arrival intensities. The accompanying queuing model is a "full state" model, i.e. buffer content is not reduced to a single quantity but encompasses the detailed content in terms of packet size classes. This yields a high model cardinality for which upper bounds are provided. Analytical results include class specific backlog, delay and loss statistics and are accompanied by results from discrete event simulation.


title: A Privacy-Preserving Protocol for the Kidney Exchange Problem

abstract: Kidney donations from living donors form an attractive alternative to long waiting times on a list for a post-mortem donation. However, even if a living donor for a given patient is found, the donor's kidney might not meet the patient's medical requirements. If several patients are in this position, they may be able to exchange donors in a cyclic fashion. Current algorithmic approaches for determining such exchange cycles neglect the privacy requirements of donors and patients as they require their medical data to be centrally collected and evaluated. In this paper, we present the first distributed privacy-preserving protocol for kidney exchange that ensures the correct computing of the exchange cycles while at the same time protecting the privacy of the patients' sensitive medical data. We prove correctness and security of the new protocol and evaluate its practical performance.


title: Probabilistic Machine Learning for Healthcare

abstract: Machine learning can be used to make sense of healthcare data. Probabilistic machine learning models help provide a complete picture of observed data in healthcare. In this review, we examine how probabilistic machine learning can advance healthcare. We consider challenges in the predictive model building pipeline where probabilistic models can be beneficial including calibration and missing data. Beyond predictive models, we also investigate the utility of probabilistic machine learning models in phenotyping, in generative models for clinical use cases, and in reinforcement learning.


title: Gauge Fixing for Strongly Correlated Electrons coupled to Quantum Light

abstract: We discuss the problem of gauge fixing for strongly correlated electrons coupled to quantum light, described by projected low-energy models such as those obtained within tight-binding methods. Drawing from recent results in the field of quantum optics, we present a general approach to write down quantum light-matter Hamiltonian in either dipole or Coulomb gauge which are explicitly connected by a unitary transformation, thus ensuring gauge equivalence even after projection. The projected dipole gauge Hamiltonian features a linear light-matter coupling and an instantaneous self-interaction for the electrons, similar to the structure in the full continuum theory. On the other hand, in the Coulomb gauge the photon field enters in a highly non-linear way, through phase factors that dress the electronic degrees of freedom. We show that our approach generalises the well-known Peierls approximation, to which it reduces when only local, on-site orbital contributions to light-matter coupling are taken into account. As an application, we study a two-orbital model of interacting electrons coupled to a uniform cavity mode, recently studied in the context of excitonic superradiance and associated no-go theorems. Using both gauges we recover the absence of superradiant phase in the ground state and show that excitations on top of it, described by polariton modes, contain instead non-trivial light-matter entanglement. Our results highlight the importance of treating the non-linear light-matter interaction of the Coulomb gauge non-perturbatively, to obtain a well-defined ultrastrong coupling limit and to not spoil gauge equivalence.


title: Statistical properties of physical-like measures

abstract: In this paper we consider the semi-continuity of the physical-like measures for diffeomorphisms with dominated splittings. We prove that any weak-* limit of physical-like measures along a sequence of $C^1$ diffeomorphisms $\{f_n\}$ must be a Gibbs $F$-state for the limiting map $f$. As a consequence, we establish the statistical stability for the $C^1$ perturbation of the time-one map of three-dimensional Lorenz attractors, and the continuity of the physical measure for the diffeomorphisms constructed by Bonatti and Viana.


title: Robustification of Segmentation Models Against Adversarial Perturbations In Medical Imaging

abstract: This paper presents a novel yet efficient defense framework for segmentation models against adversarial attacks in medical imaging. In contrary to the defense methods against adversarial attacks for classification models which widely are investigated, such defense methods for segmentation models has been less explored. Our proposed method can be used for any deep learning models without revising the target deep learning models, as well as can be independent of adversarial attacks. Our framework consists of a frequency domain converter, a detector, and a reformer. The frequency domain converter helps the detector detects adversarial examples by using a frame domain of an image. The reformer helps target models to predict more precisely. We have experiments to empirically show that our proposed method has a better performance compared to the existing defense method.


title: Generalized Langevin equations and fluctuation-dissipation theorem for particle-bath systems in electric and magnetic fields

abstract: The Brownian motion of a particle immersed in a medium of charged particles is considered when the system is placed in magnetic or electric fields. Coming from the Zwanzig-Caldeira-Legget particle-bath model, we modify it so that not only the charged Brownian particle (BP) but also the bath particles respond to the external fields. For stationary systems the generalized Langevin equations are derived. Arbitrarily time-dependent electric fields do not affect the memory functions, the thermal noise force, and the BP velocity correlation functions. In the case of a constant magnetic field two equations with different memory functions are obtained for the BP motion in the plane perpendicular to the field. As distinct from the previous theories, the random thermal force depends on the field magnitude. Its time correlation function is connected with one of the found memory functions through the familiar second fluctuation-dissipation theorem.


title: Isoparametric finite element analysis of a generalized Robin boundary value problem on curved domains

abstract: We study the discretization of an elliptic partial differential equation, posed on a two- or three-dimensional domain with smooth boundary, endowed with a generalized Robin boundary condition which involves the Laplace-Beltrami operator on the boundary surface. The boundary is approximated with piecewise polynomial faces and we use isoparametric finite elements of arbitrary order for the discretization. We derive optimal-order error bounds for this non-conforming finite element method in both $L^2$- and $H^1$-norm. Numerical examples illustrate the theoretical results.


title: Real-time Millimeter Wave Omnidirectional Channel Sounder Using Phased Array Antennas

abstract: Characterization of the millimeter wave wireless channel is needed to facilitate fully connected vehicular communication in the future. To study the multipath-rich, rapidly varying nature of the vehicular propagation environment, fast millimeter wave channel sounders are required. We present a channel sounder design capable of covering 360 degrees in azimuth and 60 degrees in elevation with 200 individual beam directions in 6.25 ms by using four phased arrays simultaneously. The channel measurements are accompanied by high resolution positioning and video data, allowing channel sounding to be conducted while either the transmitter, or the receiver, or both are moving. Channel sounding campaigns were conducted at multiple urban locations with light traffic conditions in Austin, Texas. Preliminary results show that beam selection at the receiver can lower the effective pathloss exponent to 1.6 for line-of-sight and 2.25 for non line-of-sight.


title: Sanity-Checking Pruning Methods: Random Tickets can Win the Jackpot

abstract: Network pruning is a method for reducing test-time computational resource requirements with minimal performance degradation. Conventional wisdom of pruning algorithms suggests that: (1) Pruning methods exploit information from training data to find good subnetworks; (2) The architecture of the pruned network is crucial for good performance. In this paper, we conduct sanity checks for the above beliefs on several recent unstructured pruning methods and surprisingly find that: (1) A set of methods which aims to find good subnetworks of the randomly-initialized network (which we call "initial tickets"), hardly exploits any information from the training data; (2) For the pruned networks obtained by these methods, randomly changing the preserved weights in each layer, while keeping the total number of preserved weights unchanged per layer, does not affect the final performance. These findings inspire us to choose a series of simple \emph{data-independent} prune ratios for each layer, and randomly prune each layer accordingly to get a subnetwork (which we call "random tickets"). Experimental results show that our zero-shot random tickets outperform or attain a similar performance compared to existing "initial tickets". In addition, we identify one existing pruning method that passes our sanity checks. We hybridize the ratios in our random ticket with this method and propose a new method called "hybrid tickets", which achieves further improvement. (Our code is publicly available at https://github.com/JingtongSu/sanity-checking-pruning)


title: Controlling Escape in the Standard Map

abstract: We investigate how the diffusion exponent is affected by controlling small domains in the phase space.The main Kolomogorov-Arnold-Moser - KAM island of the Standard Map is considered to validate the investigation. The bifurcation scenario where the periodic island emits smaller resonance regions is considered and we show how closing paths escape from the island shore by controlling points and hence making the diffusion exponent smaller. We notice the bigger controlled area the smaller the diffusion exponent. We show that controlling around the hyperbolic points associated to the bifurcation is better than a random control to reduce the diffusion exponent. The recurrence plot shows us channels of escape and a control applied there reduces the diffusion exponent.


title: The controlling $L_\infty$-algebra, cohomology and homotopy of embedding tensors and Lie-Leibniz triples

abstract: In this paper, we first construct the controlling algebras of embedding tensors and Lie-Leibniz triples, which turn out to be a graded Lie algebra and an $L_\infty$-algebra respectively. Then we introduce representations and cohomologies of embedding tensors and Lie-Leibniz triples, and show that there is a long exact sequence connecting various cohomologies. As applications, we classify infinitesimal deformations and central extensions using the second cohomology groups. Finally, we introduce the notion of a homotopy embedding tensor which will induce a Leibniz$_\infty$-algebra. We realize Kotov and Strobl's construction of an $L_\infty$-algebra from an embedding tensor, to a functor from the category of homotopy embedding tensors to that of Leibniz$_\infty$-algebras, and a functor further to that of $L_\infty$-algebras.


title: Factor Graph-Based Smoothing Without Matrix Inversion for Highly Precise Localization

abstract: We consider the problem of localizing a manned, semi-autonomous, or autonomous vehicle in the environment using information coming from the vehicle's sensors, a problem known as navigation or simultaneous localization and mapping (SLAM) depending on the context. To infer knowledge from sensors' measurements, while drawing on a priori knowledge about the vehicle's dynamics, modern approaches solve an optimization problem to compute the most likely trajectory given all past observations, an approach known as smoothing. Improving smoothing solvers is an active field of research in the SLAM community. Most work is focused on reducing computation load by inverting the involved linear system while preserving its sparsity. The present paper raises an issue which, to the knowledge of the authors, has not been addressed yet: standard smoothing solvers require explicitly using the inverse of sensor noise covariance matrices. This means the parameters that reflect the noise magnitude must be sufficiently large for the smoother to properly function. When matrices are close to singular, which is the case when using high precision modern inertial measurement units (IMU), numerical issues necessarily arise, especially with 32-bits implementation demanded by most industrial aerospace applications. We discuss these issues and propose a solution that builds upon the Kalman filter to improve smoothing algorithms. We then leverage the results to devise a localization algorithm based on fusion of IMU and vision sensors. Successful real experiments using an actual car equipped with a tactical grade high performance IMU and a LiDAR illustrate the relevance of the approach to the field of autonomous vehicles.


title: Modeling short-ranged dependence in block extrema with application to polar temperature data

abstract: The block maxima approach is an important method in univariate extreme value analysis. While assuming that block maxima are independent results in straightforward analysis, the resulting inferences maybe invalid when a series of block maxima exhibits dependence. We propose a model, based on a first-order Markov assumption, that incorporates dependence between successive block maxima through the use of a bivariate logistic dependence structure while maintaining generalized extreme value (GEV) marginal distributions. Modeling dependence in this manner allows us to better estimate extreme quantiles when block maxima exhibit short-ranged dependence. We demonstrate via a simulation study that our first-order Markov GEV model performs well when successive block maxima are dependent, while still being reasonably robust when maxima are independent. We apply our method to two polar annual minimum air temperature data sets that exhibit short-ranged dependence structures, and find that the proposed model yields modified estimates of high quantiles.