title: Mixed finite element method for a beam equation with the p-biharmonic operator

abstract: In this paper, we consider a nonlinear beam equation with the p-biharmonic operator, where $1 < p < \infty$. Using a change of variable, we transform the problem into a system of differential equations and prove the existence, uniqueness and regularity of the weak solution by applying the Lax-Milgram theorem and classical results of functional analysis. We investigate the discrete formulation for that system and, with the aid of the Brouwer theorem, we show that the problem has a discrete solution. The uniqueness and stability of the discrete solution are obtained through classical methods. After establishing the order of convergence, we apply the mixed finite element method to obtain an algebraic system of equations. Finally, we implement the computational codes in Matlab software and perform the comparison between theory and simulations.


title: Three-body relative equilibria on $\mathbb{S}^2$ I: Euler configurations

abstract: Using the properties of the angular momentum, we develop a new geometrical technique to study relative equilibria for a system of $3$--bodies with positive masses, moving on the two sphere under the influence of an attractive potential depending only on the mutual distances among the bodies. With the above techniques we do an analysis of the relative equilibria for the case of three bodies when they are moving on the same geodesic (Euler configurations).


title: Optimal Decision Making in Active Queue Management

abstract: Active Queue Management (AQM) aims to prevent bufferbloat and serial drops in router and switch FIFO packet buffers that usually employ drop-tail queueing. AQM describes methods to send proactive feedback to TCP flow sources to regulate their rate using selective packet drops or markings. Traditionally, AQM policies relied on heuristics to approximately provide Quality of Service (QoS) such as a target delay for a given flow. These heuristics are usually based on simple network and TCP control models together with the monitored buffer filling. A primary drawback of these heuristics is that their way of accounting flow characteristics into the feedback mechanism and the corresponding effect on the state of congestion are not well understood. In this work, we show that taking a probabilistic model for the flow rates and the dequeueing pattern, a Semi-Markov Decision Process (SMDP) can be formulated to obtain an optimal packet-dropping policy. This policy-based AQM, named PAQMAN, takes into account a steady-state model of TCP and a target delay for the flows. Additionally, we present an inference algorithm that builds on TCP congestion control in order to calibrate the model parameters governing underlying network conditions. Using simulation, we show that the prescribed AQM yields comparable throughput to state-of-the-art AQM algorithms while reducing delays significantly.


title: Polarized Hodge Structures for Clemens Manifolds

abstract: Let $X$ be a Calabi-Yau threefold. A conifold transition first contracts $X$ along disjoint rational curves with normal bundles of type $(-1,-1)$, and then smooth the resulting singular complex space $\bar{X}$ to a new compact complex manifold $Y$. Such $Y$ is called a Clemens manifold and can be non-K\"{a}hler. We prove that any small smoothing $Y$ of $\bar{X}$ satisfies $\partial\bar{\partial}$-lemma. We also show that the resulting pure Hodge structure of weight three on $H^3(Y)$ is polarized by the cup product. These results answer some questions of R. Friedman.


title: Cyber-Physical Defense in the Quantum Era

abstract: Networked-Control Systems (NCSs), a type of cyber-physical systems, consist of tightly integrated computing, communication and control technologies. While being very flexible environments, they are vulnerable to computing and networking attacks. Recent NCSs hacking incidents had major impact. They call for more research on cyber-physical security. Fears about the use of quantum computing to break current cryptosystems make matters worse. While the quantum threat motivated the creation of new disciplines to handle the issue, such as post-quantum cryptography, other fields have overlooked the existence of quantum-enabled adversaries. This is the case of cyber-physical defense research, a distinct but complementary discipline to cyber-physical protection. Cyber-physical defense refers to the capability to detect and react in response to cyber-physical attacks. Concretely, it involves the integration of mechanisms to identify adverse events and prepare response plans, during and after incidents occur. In this paper, we make the assumption that the eventually available quantum computer will provide an advantage to adversaries against defenders, unless they also adopt this technology. We envision the necessity for a paradigm shift, where an increase of adversarial resources because of quantum supremacy does not translate into higher likelihood of disruptions. Consistently with current system design practices in other areas, such as the use of artificial intelligence for the reinforcement of attack detection tools, we outline a vision for next generation cyber-physical defense layers leveraging ideas from quantum computing and machine learning. Through an example, we show that defenders of NCSs can learn and improve their strategies to anticipate and recover from attacks.


title: Gaussian quantum metrology for mode-encoded parameters

abstract: Quantum optical metrology aims to identify ultimate sensitivity bounds for the estimation of parameters encoded into quantum states of the electromagnetic field. In many practical applications, including imaging, microscopy, and remote sensing, the parameter of interest is not only encoded in the quantum state of the field, but also in its spatio-temporal distribution, i.e. in its mode structure. In this mode-encoded parameter estimation setting, we derive an analytical expression for the quantum Fisher information valid for arbitrary multimode Gaussian fields. To illustrate the power of our approach, we apply our results to the estimation of the transverse displacement of a beam and to the temporal separation between two pulses. For these examples, we show how the estimation sensitivity can be enhanced by adding squeezing into specific modes.


title: A Geometrical Interpretation of Okubo Spin Group

abstract: In this work we define, for the first time, the affine and projective plane over the real Okubo algebra, showing a concrete geometrical interpretation of its Spin group. Okubo algebra is a flexible, composition algebra which is also a not unital division algebra. Even though Okubo algebra has been known for more than 40 years, we believe that this is the first time the algebra was used for affine and projective geometry. After showing that all axioms of affine geometry are verified, we define a projective plane over Okubo algebra as completion of the affine plane and directly through the use of Veronese coordinates. We then present a bijection between the two constructions. Finally we show a geometric interpretation of Spin(O) as the group of collineations that preserve the axis of the plane.


title: Toric surfaces with symmetries by reflections

abstract: Let $W$ be a reflection group in a plane and $P$ a rational polygon that is invariant under the $W$-action. The action of $W$ on $P$ induces a $W$-action on the toric variety $X_P$ associated with $P$. In this paper, we study the $W$-representation on the cohomology $H^\ast(X_P)$ and show that the invariant subring $H^\ast(X_P)^W$ is isomorphic to the cohomology ring of the toric variety associated with the \emph{fundamental region}~$P/W$. As an example, we provide an explicit description of the main result for the case of the toric variety associated with the fan of Weyl chambers of type $G_2$.


title: Efimov resonance position near a narrow Feshbach resonance in $^6$Li-$^{133}$Cs mixture

abstract: In the vicinity of a narrow Feshbach resonances Efimov features are expected to be characterized by the resonance's properties rather than the van der Waals length of the interatomic potential. Although this theoretical prediction is well-established by now, it still lacks experimental confirmation. Here, we apply our recently developed three-channel model [Yudkin and Khaykovich, Phys. Rev. A 103, 063303 (2021)] to the experimental result obtained in a mass-imbalanced $^6$Li-$^{133}$Cs mixture in the vicinity of the narrowest resonance explored to date [Johansen at. al. Nat. Phys. 13, 731 (2017)]. We confirm that the observed position of the Efimov resonance is dictated mainly by the resonance physics while the influence of the van der Waals tail of the interatomic potential is minor. We show that the resonance position is strongly influenced by the presence of another Feshbach resonance which significantly alters the effective background scattering length at the narrow resonance position.


title: Six-dimensional light-front Wigner distribution of hadrons

abstract: We propose a six-dimensional light-front Wigner distribution for the complete description of partonic structures of a hadron such as pion and proton, taking advantage of the recently proposed light-front variable $\tilde{z}$ by Miller and Brodsky. Quantities derived from the Wigner distribution contain the most general information of partonic structures, including also new quantities correlating longitudinal coordinate with transverse momenta or transverse coordinates, together with spins. The new Wigner distribution can be viewed as a relativistic version of the original Wigner distribution in hadron physics and an extension of widely utilized five-dimensional light-front Wigner distribution.


title: Self-Supervised Bulk Motion Artifact Removal in Optical Coherence Tomography Angiography

abstract: Optical coherence tomography angiography (OCTA) is an important imaging modality in many bioengineering tasks. The image quality of OCTA, however, is often degraded by Bulk Motion Artifacts (BMA), which are due to micromotion of subjects and typically appear as bright stripes surrounded by blurred areas. State-of-the-art methods usually treat BMA removal as a learning-based image inpainting problem, but require numerous training samples with nontrivial annotation. In addition, these methods discard the rich structural and appearance information carried in the BMA stripe region. To address these issues, in this paper we propose a self-supervised content-aware BMA removal model. First, the gradient-based structural information and appearance feature are extracted from the BMA area and injected into the model to capture more connectivity. Second, with easily collected defective masks, the model is trained in a self-supervised manner, in which only the clear areas are used for training while the BMA areas for inference. With the structural information and appearance feature from noisy image as references, our model can remove larger BMA and produce better visualizing result. In addition, only 2D images with defective masks are involved, hence improving the efficiency of our method. Experiments on OCTA of mouse cortex demonstrate that our model can remove most BMA with extremely large sizes and inconsistent intensities while previous methods fail.


title: A Predictive Approach to Bayesian Nonparametric Survival Analysis

abstract: Bayesian nonparametric methods are a popular choice for analysing survival data due to their ability to flexibly model the distribution of survival times. These methods typically employ a nonparametric prior on the survival function that is conjugate with respect to right-censored data. Eliciting these priors, particularly in the presence of covariates, can be challenging and inference typically relies on computationally intensive Markov chain Monte Carlo schemes. In this paper, we build on recent work that recasts Bayesian inference as assigning a predictive distribution on the unseen values of a population conditional on the observed samples, thus avoiding the need to specify a complex prior. We describe a copula-based predictive update which admits a scalable sequential importance sampling algorithm to perform inference that properly accounts for right-censoring. We provide theoretical justification through an extension of Doob's consistency theorem and illustrate the method on a number of simulated and real data sets, including an example with covariates. Our approach enables analysts to perform Bayesian nonparametric inference through only the specification of a predictive distribution.


title: Resummation of small-x double logarithms in QCD: inclusive deep-inelastic scattering

abstract: We present a comprehensive study of high-energy double logarithms in inclusive DIS. They appear parametrically as alpha_s^n ln^{2n-k} x at the n-th order in perturbation theory in the splitting functions for the parton evolution and the coefficient functions for the hard scattering process, and represent the leading corrections at small $x$ in the flavour non-singlet case. We perform their resummation, in terms of modified Bessel functions, to all orders in full QCD up to NNLL accuracy, and partly to N^3LL and beyond in the large-n_c limit, and provide fixed-order expansions up to five loops. In the flavour-singlet sector, where these double logarithms are sub-dominant at small x compared to single-logarithmic alpha_s^n x^{-1} ln^{n-k} x BFKL contributions, we construct fixed-order expansions up to five loops at NNLL accuracy in full QCD. The results elucidate the analytic small-x structure underlying inclusive DIS results in fixed-order perturbation theory and provide important information for present and future numerical and analytic calculations of these quantities.


title: Performance of dense wireless networks in 5G and beyond using stochastic geometry

abstract: Device density in cellular networks is expected to increase considerably in the next future. Accordingly, the access point (AP) will equip massive multiple-input multiple-output (mMIMO) antennas, using collimated millimeter-wave (mmW) and sub-THz communications, and increase the bandwidth to accommodate the growing data rate demands. In this scenario, interference plays a critical role and, if not characterized and mitigated properly, might limit the performances of the network. In this context, this paper derives the statistical properties of the aggregated interference power for a cellular network equipping a mMIMO cylindrical array. The proposed statistical model considers the link blockage and other network parameters such as antenna configuration and device density. The findings show that the characteristic function (CF) of the aggregated interference power can be regarded as a weighted mixture of two alpha-stable distributions. Furthermore, by analyzing the service probability, it is found that there is an optimal configuration of the array depending on the AP height and device density. The proposed statistical model can be part of the design of dense networks providing valuable insights for optimal network deployment


title: Solving Stochastic Optimization by Newton-type methods with Dimension-Adaptive Sparse Grid Quadrature

abstract: Stochastic optimisation problems minimise expectations of random cost functions. We use 'optimise then discretise' method to solve stochastic optimisation. In our approach, accurate quadrature methods are required to calculate the objective, gradient or Hessian which are in fact integrals. We apply the dimension-adaptive sparse grid quadrature to approximate these integrals when the problem is high dimensional. Dimension-adaptive sparse grid quadrature shows high accuracy and efficiency in computing an integral with a smooth integrand. It is a kind of generalisation of the classical sparse grid method, which refines different dimensions according to their importance. We show that the dimension-adaptive sparse grid quadrature has better performance in the optimise then discretise' method than the 'discretise then optimise' method.


title: A proof of Frankl's conjecture on cross-union families

abstract: The families $\mathcal F_0,\ldots,\mathcal F_s$ of $k$-element subsets of $[n]:=\{1,2,\ldots,n\}$ are called cross-union if there is no choice of $F_0\in \mathcal F_0, \ldots, F_s\in \mathcal F_s$ such that $F_0\cup\ldots\cup F_s=[n]$. A natural generalization of the celebrated Erd\H{o}s--Ko--Rado theorem, due to Frankl and Tokushige, states that for $n\le (s+1)k$ the geometric mean of $\lvert \mathcal F_i\rvert$ is at most $\binom{n-1}{k}$. Frankl conjectured that the same should hold for the arithmetic mean under some mild conditions. We prove Frankl's conjecture in a strong form by showing that the unique (up to isomorphism) maximizer for the arithmetic mean of cross-union families is the natural one $\mathcal F_0=\ldots=\mathcal F_s={[n-1]\choose k}$.


title: Thermal Conductivity and Theory of Inelastic Scattering of Phonons by Collective Fluctuations

abstract: We study the intrinsic scattering of phonons by a general quantum degree of freedom, i.e. a fluctuating "field" $Q$, which may have completely general correlations, restricted only by unitarity and translational invariance. From the induced scattering rates, we obtain the consequences on the thermal conductivity tensor of the phonons. We find that the lowest-order diagonal scattering rate, which determines the longitudinal conductivity, is controlled by two-point correlation functions of the $Q$ field, while the off-diagonal scattering rates involve a minimum of three to four point correlation functions. We obtain general and explicit forms for these correlations which isolate the contributions to the Hall conductivity, and provide a general discussion of the implications of symmetry and equilibrium. We evaluate these two- and four-point correlation functions and hence the thermal transport for the illustrative example of an ordered two dimensional antiferromagnet. In this case the $Q$ field is a composite of magnon operators arising from spin-lattice coupling. A numerical evaluation of the required integrals demonstrates that the results satisfy all the necessary symmetry restrictions but otherwise lead to non-vanishing scattering and Hall effects, and in particular that this mechanism leads to comparable thermal Hall conductivity for thermal currents within and normal to the plane of the antiferromagnetism.


title: Probabilities of the third type: Statistical Relational Learning and Reasoning with Relative Frequencies

abstract: Dependencies on the relative frequency of a state in the domain are common when modelling probabilistic dependencies on relational data. For instance, the likelihood of a school closure during an epidemic might depend on the proportion of infected pupils exceeding a threshold. Often, rather than depending on discrete thresholds, dependencies are continuous: for instance, the likelihood of any one mosquito bite transmitting an illness depends on the proportion of carrier mosquitoes. Current approaches usually only consider probabilities over possible worlds rather than over domain elements themselves. An exception are the recently introduced Lifted Bayesian Networks for Conditional Probability Logic, which express discrete dependencies on probabilistic data. We introduce functional lifted Bayesian networks, a formalism that explicitly incorporates continuous dependencies on relative frequencies into statistical relational artificial intelligence. and compare and contrast them with ifted Bayesian Networks for Conditional Probability Logic. Incorporating relative frequencies is not only beneficial to modelling; it also provides a more rigorous approach to learning problems where training and test or application domains have different sizes. To this end, we provide a representation of the asymptotic probability distributions induced by functional lifted Bayesian networks on domains of increasing sizes. Since that representation has well-understood scaling behaviour across domain sizes, it can be used to estimate parameters for a large domain consistently from randomly sampled subpopulations. Furthermore, we show that in parametric families of FLBN, convergence is uniform in the parameters, which ensures a meaningful dependence of the asymptotic probabilities on the parameters of the model.


title: Optically resonant all-dielectric diabolo nanodisks

abstract: Optically resonant all-dielectric nanostructures attractively exhibit reduced losses compared to their plasmonic counterparts; however, achieving strong field enhancements at the nanoscale, especially within solid-state media, has remained a significant challenge. In this work, we demonstrate how subwavelength modifications to a conventional silicon nanodisk enable strong sub-diffractive and polarization dependent field enhancements in devices supporting anapole-like modes. We examine the electromagnetic properties of both individual and arrayed diabolo nanodisks, which are found to exhibit |E|$^2$/|E$_0$|$^2$ enhancements in the range ~10$^2$-10$^4$, in the high index medium, depending on geometrical considerations. In addition to supporting a localized electric field hot-spot similar to those predicted in diabolo nanostructured photonic crystal cavities and waveguide designs, we identify an anti-diabolo effect leading to a broadband cold-spot for the orthogonal polarization. These findings offer the prospect of enhancing or manipulating light-matter interactions at the nanoscale within an all-dielectric (metal free) platform for potential applications ranging from nonlinear optics to quantum light sources, nano-sensing, nanoparticle-manipulation and active/tunable metasurfaces.


title: Rotating Spirals in segregated reaction-diffusion systems

abstract: We give a complete characterization of the boundary traces $\varphi_i$ ($i=1,\dots,K$) supporting spiraling waves, rotating with a given angular speed $\omega$, which appear as singular limits of competition-diffusion systems of the type \[ \frac{\partial}{\partial t} u_i -\Delta u_i = \mu u_i -\beta u_i \sum_{j \neq i} a_{ij} u_j \text{ in } \Omega \times\mathbb{R}^+, \qquad u_i = \varphi_i \text{ on $\partial\Omega\times\mathbb{R}^+$}, \qquad u_i(\mathbf{x},0) = u_{i,0}(\mathbf{x}) \text{ for $\mathbf{x} \in \Omega$} \] as $\beta\to +\infty$. Here $\Omega$ is a rotationally invariant planar set and $a_{ij}>0$ for every $i$ and $j$. We tackle also the homogeneous Dirichlet and Neumann boundary conditions, as well as entire solutions in the plane. As a byproduct of our analysis we detect explicit families of eternal, entire solutions of the pure heat equation, parameterized by $\omega\in\mathbb{R}$, which reduce to homogeneous harmonic polynomials for $\omega=0$.


title: Beyond the Erd\H{o}s discrepancy problem in function fields

abstract: We characterize the limiting behavior of partial sums of multiplicative functions $f:\mathbb{F}_q[t]\to S^1$. In contrast to the number field setting, the characterization depends crucially on whether the notion of discrepancy is defined using long intervals, short intervals, or lexicographic intervals. Concerning the notion of short interval discrepancy, we show that a completely multiplicative $f:\mathbb{F}_q[t]\to\{-1,+1\}$ with $q$ odd has bounded short interval sums if and only if $f$ coincides with a "modified" Dirichlet character to a prime power modulus. This confirms the function field version of a conjecture over $\mathbb{Z}$ that such modified characters are extremal with respect to the growth rate of partial sums. Regarding the lexicographic discrepancy, we prove that the discrepancy of a completely multiplicative sequence is always infinite if we define it using a natural lexicographic ordering of $\mathbb{F}_{q}[t]$. This answers a question of Liu and Wooley. Concerning the long sum discrepancy, it was observed by the Polymath 5 collaboration that the Erd\H{o}s discrepancy problem admits infinitely many completely multiplicative counterexamples on $\mathbb{F}_q[t]$. Nevertheless, we are able to classify the counterexamples if we restrict to the class of modified Dirichlet characters. In this setting, we determine the precise growth rate of the discrepancy, which is still unknown for the analogous problem over the integers.


title: Coordinated Sum-Rate Maximization in Multicell MU-MIMO with Deep Unrolling

abstract: Coordinated weighted sum-rate maximization in multicell MIMO networks with intra- and intercell interference and local channel state at the base stations is recognized as an important yet difficult problem. A classical, locally optimal solution is obtained by the weighted minimum mean squared error (WMMSE) algorithm which facilitates a distributed implementation in multicell networks. However, it often suffers from slow convergence and therefore large communication overhead. To obtain more practical solutions, the unrolling/unfolding of traditional iterative algorithms gained significant attention. In this work, we demonstrate a complete unfolding of the WMMSE algorithm for transceiver design in multicell MU-MIMO interference channels with local channel state information. The resulting architecture termed GCN-WMMSE applies ideas from graph signal processing and is agnostic to different wireless network topologies, while exhibiting a low number of trainable parameters and high efficiency w.r.t. training data. It significantly reduces the number of required iterations while achieving performance similar to the WMMSE algorithm, alleviating the overhead in a distributed deployment. Additionally, we review previous architectures based on unrolling the WMMSE algorithm and compare them to GCN-WMMSE in their specific applicable domains.


title: L3DAS22 Challenge: Learning 3D Audio Sources in a Real Office Environment

abstract: The L3DAS22 Challenge is aimed at encouraging the development of machine learning strategies for 3D speech enhancement and 3D sound localization and detection in office-like environments. This challenge improves and extends the tasks of the L3DAS21 edition. We generated a new dataset, which maintains the same general characteristics of L3DAS21 datasets, but with an extended number of data points and adding constrains that improve the baseline model's efficiency and overcome the major difficulties encountered by the participants of the previous challenge. We updated the baseline model of Task 1, using the architecture that ranked first in the previous challenge edition. We wrote a new supporting API, improving its clarity and ease-of-use. In the end, we present and discuss the results submitted by all participants. L3DAS22 Challenge website: www.l3das.com/icassp2022.


title: $C_T$ for monodromy defects of fields on odd dimensional spheres for higher derivative propagation

abstract: The central charge $C_T$ is computed for scalar and Dirac fields propagating according to GJMS-type kinetic operators acting on odd $d$-dimensional spheres in the presence of a spherical monodromy. The relation of $C_T$ to the derivatives of the free energy on the conically deformed sphere via the Perlmutter factor leads to a numerical quadrature. The variation of $C_T$ with the monodromy flux, $\delta$, displays sign changes, exactly as in even dimensions. Closed forms for $C_T$ are derived when $\delta$ equals 0 or 1/2 with the derivative order either even or odd and shown to agree with existing, even $d$ expressions. The infinite $d$ limits are also derived in these special cases.


title: On Smooth Perturbations of Chebysh\"ev Polynomials and $\bar\partial$-Riemann-Hilbert Method

abstract: $\bar\partial$-extension of the matrix Riemann-Hilbert method is used to study asymptotics of the polynomials $P_n(z)$ satisfying orthogonality relations \[ \int_{-1}^1 x^lP_n(x)\frac{\rho(x)dx}{\sqrt{1-x^2}}=0, \quad l\in\{0,\ldots,n-1\}, \] where $\rho(x)$ is a positive $m$ times continuously differentiable function on $[-1,1]$, $m\geq3$.


title: Correlation decay for finite lattice gauge theories at weak coupling

abstract: In the setting of lattice gauge theories with finite (possibly non-Abelian) gauge groups at weak coupling, we prove exponential decay of correlations for a wide class of gauge invariant functions, which in particular includes arbitrary functions of Wilson loop observables.


title: Same Cause; Different Effects in the Brain

abstract: To study information processing in the brain, neuroscientists manipulate experimental stimuli while recording participant brain activity. They can then use encoding models to find out which brain "zone" (e.g. which region of interest, volume pixel or electrophysiology sensor) is predicted from the stimulus properties. Given the assumptions underlying this setup, when stimulus properties are predictive of the activity in a zone, these properties are understood to cause activity in that zone. In recent years, researchers have used neural networks to construct representations that capture the diverse properties of complex stimuli, such as natural language or natural images. Encoding models built using these high-dimensional representations are often able to significantly predict the activity in large swathes of cortex, suggesting that the activity in all these brain zones is caused by stimulus properties captured in the representation. It is then natural to ask: "Is the activity in these different brain zones caused by the stimulus properties in the same way?" In neuroscientific terms, this corresponds to asking if these different zones process the stimulus properties in the same way. Here, we propose a new framework that enables researchers to ask if the properties of a stimulus affect two brain zones in the same way. We use simulated data and two real fMRI datasets with complex naturalistic stimuli to show that our framework enables us to make such inferences. Our inferences are strikingly consistent between the two datasets, indicating that the proposed framework is a promising new tool for neuroscientists to understand how information is processed in the brain.


title: A Tutorial on Adversarial Learning Attacks and Countermeasures

abstract: Machine learning algorithms are used to construct a mathematical model for a system based on training data. Such a model is capable of making highly accurate predictions without being explicitly programmed to do so. These techniques have a great many applications in all areas of the modern digital economy and artificial intelligence. More importantly, these methods are essential for a rapidly increasing number of safety-critical applications such as autonomous vehicles and intelligent defense systems. However, emerging adversarial learning attacks pose a serious security threat that greatly undermines further such systems. The latter are classified into four types, evasion (manipulating data to avoid detection), poisoning (injection malicious training samples to disrupt retraining), model stealing (extraction), and inference (leveraging over-generalization on training data). Understanding this type of attacks is a crucial first step for the development of effective countermeasures. The paper provides a detailed tutorial on the principles of adversarial machining learning, explains the different attack scenarios, and gives an in-depth insight into the state-of-art defense mechanisms against this rising threat .


title: Selling to a principal and a budget-constrained agent

abstract: We analyze a model of selling a single object to a principal-agent pair who want to acquire the object for a firm. The principal and the agent have different assessments of the object's value to the firm. The agent is budget-constrained while the principal is not. The agent participates in the mechanism, but she can (strategically) delegate decision-making to the principal. We derive the revenue-maximizing mechanism in a two-dimensional type space (values of the agent and the principal). We show that below a threshold budget, a mechanism involving two posted prices and three outcomes (one of which involves randomization) is the optimal mechanism for the seller. Otherwise, a single posted price mechanism is optimal.


title: (Dis)assortative Partitions on Random Regular Graphs

abstract: We study the problem of assortative and disassortative partitions on random $d$-regular graphs. Nodes in the graph are partitioned into two non-empty groups. In the assortative partition every node requires at least $H$ of their neighbors to be in their own group. In the disassortative partition they require less than $H$ neighbors to be in their own group. Using the cavity method based on analysis of the Belief Propagation algorithm we establish for which combinations of parameters $(d,H)$ these partitions exist with high probability and for which they do not. For $H>\lceil \frac{d}{2} \rceil $ we establish that the structure of solutions to the assortative partition problems corresponds to the so-called frozen-1RSB. This entails a conjecture of algorithmic hardness of finding these partitions efficiently. For $H \le \lceil \frac{d}{2} \rceil $ we argue that the assortative partition problem is algorithmically easy on average for all $d$. Further we provide arguments about asymptotic equivalence between the assortative partition problem and the disassortative one, going trough a close relation to the problem of single-spin-flip-stable states in spin glasses. In the context of spin glasses, our results on algorithmic hardness imply a conjecture that gapped single spin flip stable states are hard to find which may be a universal reason behind the observation that physical dynamics in glassy systems display convergence to marginal stability.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.DM math.PR


title: Investigating full-heavy tetraquarks composed of $cc\bar{c}\bar{b}$ and $bb\bar{b}\bar{c}$

abstract: The full-heavy tetraquarks $cc\bar{c}\bar{b}$ and $bb\bar{b}\bar{c}$ are systematically investigated within the chiral quark model. The meson-meson structure, diquark-antidiquark structure and K-structure are considered in this work. There is no bound state for $cc\bar{c}\bar{b}$ and $bb\bar{b}\bar{c}$ systems in $ IJ^{P}=00^{+},01^{+}$ and $ 02^{+}$ channels. However, for $cc\bar{c}\bar{b}$ system, three possible resonance states with energy of $ 10079~{\rm MeV} $, $ 10081~{\rm MeV} $ and $ 10177~{\rm MeV} $ are found in $ IJ^{P}=00^{+},01^{+}$ and $ 02^{+}$, respectively, and their decay width $ \Gamma$ are $6.7-8.4~{\rm MeV} $, $1.4-7.2~{\rm MeV} $ and $9.1-11.1~{\rm MeV} $. For $bb\bar{b}\bar{c}$ system, there also exist three possible resonance states with energy of $ 16474~{\rm MeV} $, $ 16474~{\rm MeV} $ and $ 16541~{\rm MeV} $ in $ IJ^{P}=00^{+},01^{+}$ and $ 02^{+}$, respectively, and the decay widths $ \Gamma$ of them are $2.2-6.1~{\rm MeV} $, $2.2-6.9~{\rm MeV} $ and $5.3-8.5~{\rm MeV} $. $bc\bar{c}\bar{c}$ and $cb\bar{b}\bar{b}$ systems will have the same results as $cc\bar{c}\bar{b}$ and $bb\bar{b}\bar{c}$, respectively. These full-heavy resonance states are worthy to be searched in the future experiments.


title: Rule Mining over Knowledge Graphs via Reinforcement Learning

abstract: Knowledge graphs (KGs) are an important source repository for a wide range of applications and rule mining from KGs recently attracts wide research interest in the KG-related research community. Many solutions have been proposed for the rule mining from large-scale KGs, which however are limited in the inefficiency of rule generation and ineffectiveness of rule evaluation. To solve these problems, in this paper we propose a generation-then-evaluation rule mining approach guided by reinforcement learning. Specifically, a two-phased framework is designed. The first phase aims to train a reinforcement learning agent for rule generation from KGs, and the second is to utilize the value function of the agent to guide the step-by-step rule generation. We conduct extensive experiments on several datasets and the results prove that our rule mining solution achieves state-of-the-art performance in terms of efficiency and effectiveness.


title: Delegated Pandora's box

abstract: In delegation problems, a principal does not have the resources necessary to complete a particular task, so they delegate the task to an untrusted agent whose interests may differ from their own. Given any family of such problems and space of mechanisms for the principal to choose from, the delegation gap is the worst-case ratio of the principal's optimal utility when they delegate versus their optimal utility when solving the problem on their own. In this work, we consider the delegation gap of the generalized Pandora's box problem, a search problem in which searching for solutions incurs known costs and solutions are restricted by some downward-closed constraint. First, we show that there is a special case when all random variables have binary support for which there exist constant-factor delegation gaps for matroid constraints. However, there is no constant-factor delegation gap for even simple non-binary instances of the problem. Getting around this impossibility, we consider two variants: the free-agent model, in which the agent doesn't pay the cost of probing elements, and discounted-cost approximations, in which we discount all costs and aim for a bicriteria approximation of the discount factor and delegation gap. We show that there are constant-factor delegation gaps in the free-agent model with discounted-cost approximations for certain downward closed constraints and constant discount factors. However, constant delegation gaps can not be achieved under either variant alone. Finally, we consider another variant called the shared-cost model, in which the principal can choose how costs will be shared between them and the agent before delegating the search problem. We show that the shared-cost model exhibits a constant-factor delegation gap for certain downward closed constraints.


title: Independence questions in a finite axiom-schematization of first-order logic

abstract: We review some independence results in a finite axiom-schematization of classical first-order logic introduced by Norman Megill. We also prove that a certain axiom scheme of this system is independent although all of its instances are provable from the other axiom schemes.


title: Generating Hard Problems of Cellular Automata

abstract: We propose two hard problems in cellular automata. In particular the problems are: [DDP$^M_{n,p}$] Given two \emph{randomly} chosen configurations $t$ and $s$ of a cellular automata of length $n$, find the number of transitions $\tau$ between $s$ and $t$. [SDDP$^\delta_{k,n}$] Given two \emph{randomly} chosen configurations $s$ of a cellular automata of length $n$ and $x$ of length $k<n$, find the configuration $t$ such that $k$ number of cells of $t$ is fixed to $x$ and $t$ is reachable from $s$ within $\delta$ transitions. We show that the discrete logarithm problem over the finite field reduces to DDP$^M_{n,p}$ and the short integer solution problem over lattices reduces to SDDP$^\delta_{k,n}$. The advantage of using such problems as the hardness assumptions in cryptographic protocols is that proving the security of the protocols requires only the reduction from these problems to the designed protocols. We design one such protocol namely a proof-of-work out of SDDP$^\delta_{k,n}$.


title: Calibration of BAS-TR image plate response to GeV gold ions

abstract: The response of the BAS-TR image plate (IP) was absolutely calibrated using CR-39 track detector for high linear energy transfer (LET) Au ions up to $\sim$1.6 GeV (8.2 MeV/nucleon), accelerated by high-power lasers. The calibration was carried out by employing a high-resolution Thomson parabola spectrometer, which allowed resolving Au ions with closely spaced ionization states up to 58$^+$. A response function was obtained by fitting the photo-stimulated luminescence (PSL) per Au ion for different ion energies, which is broadly in agreement with that expected from ion stopping in the active layer of the IP. This calibration would allow quantifying the ion energy spectra for high energy Au ions, which is important for further investigation of the laser-based acceleration of heavy ion beams.


title: Recent developments of the SDHCAL prototype

abstract: After the construction and successful operation of the first technological prototype of the Semi-Digital Hadronic CALorimeter (SDHCAL), developed within the CALICE collaboration, new R{\&}D efforts have been initiated to fully validate the SDHCAL option for future experiments proposed for the ILC and CEPC colliders. The SDHCAL is a sampling hadronic calorimeter using large Glass Resistive Plate Chamber (GRPC) as active medium with embedded readout electronics. The GRPC prototype size is 1~m$^2$ while future detectors require GRPC detectors with scalable length up to 3~m long (0.9$\times$3~m$^2$). The readout Printed Circuit Board (PCB) consists of 1~cm$^2$ copper pads on one side and 64-channel HARDROC readout chips on the other side. The design of such large size scalable detectors has been addressed (...) A first fully assembled prototype of 2~m$^2$ with 4 GRPCs is expected to be ready in year 2022. In addition, new developpements to replace single gap GRPC by multigap GRPC coupled with fast timing electronics are being pursued. A time resolution better than 50 ps is achievable. This will allow to follow the temporal evolution of the hadronic showers developing in the calorimeter. In parallel, the first SDHCAL prototype has been extensively tested in beam test facilities. Refined analysis techniques are being developed to improve the energy and shower reconstruction. The latest analysis developments cover techniques to improve the spatial uniformity of the response and a better treatment of the particle incidence angle in the energy reconstruction.


title: Improving Radioactive Material Localization by Leveraging Cyber-Security Model Optimizations

abstract: One of the principal uses of physical-space sensors in public safety applications is the detection of unsafe conditions (e.g., release of poisonous gases, weapons in airports, tainted food). However, current detection methods in these applications are often costly, slow to use, and can be inaccurate in complex, changing, or new environments. In this paper, we explore how machine learning methods used successfully in cyber domains, such as malware detection, can be leveraged to substantially enhance physical space detection. We focus on one important exemplar application--the detection and localization of radioactive materials. We show that the ML-based approaches can significantly exceed traditional table-based approaches in predicting angular direction. Moreover, the developed models can be expanded to include approximations of the distance to radioactive material (a critical dimension that reference tables used in practice do not capture). With four and eight detector arrays, we collect counts of gamma-rays as features for a suite of machine learning models to localize radioactive material. We explore seven unique scenarios via simulation frameworks frequently used for radiation detection and with physical experiments using radioactive material in laboratory environments. We observe that our approach can outperform the standard table-based method, reducing the angular error by 37% and reliably predicting distance within 2.4%. In this way, we show that advances in cyber-detection provide substantial opportunities for enhancing detection in public safety applications and beyond.


title: On Ramsey size-linear graphs and related questions

abstract: In this paper we prove several results on Ramsey numbers $R(H,F)$ for a fixed graph $H$ and a large graph $F$, in particular for $F = K_n$. These results extend earlier work of Erd\H{o}s, Faudree, Rousseau and Schelp and of Balister, Schelp and Simonovits on so-called Ramsey size-linear graphs. Among others, we show that if $H$ is a subdivision of $K_4$ with at least $6$ vertices, then $R(H,F) = O(v(F) + e(F))$ for every graph $F$. We also conjecture that if $H$ is a connected graph with $e(H) - v(H) \leq \binom{k+1}{2} - 2$, then $R(H,K_n) = O(n^k)$. The case $k=2$ was proved by Erd\H{o}s, Faudree, Rousseau and Schelp. We prove the case $k=3$.


title: Droplet absorption and spreading into thin layers of polymer hydrogels

abstract: From biological tissues to layers of paint, macroscopic non-porous materials with the capacity to swell when brought in contact with an appropriate solvent are ubiquitous. Here, we study experimentally and theoretically one of the conceptually simplest of such systems, the swelling of a thin hydrogel layer by a single water drop. Using a bespoke experimental setup, we observe fast absorption leading to a radially spreading axisymmetric blister. Employing a linear poroelastic framework and thin-layer scalings, we develop a non-linear one-dimensional diffusion equation for the evolution of the blister height profile, which agrees well with experimental observations.


title: Optimizing Recursive Queries with Program Synthesis

abstract: Most work on query optimization has concentrated on loop-free queries. However, data science and machine learning workloads today typically involve recursive or iterative computation. In this work, we propose a novel framework for optimizing recursive queries using methods from program synthesis. In particular, we introduce a simple yet powerful optimization rule called the "FGH-rule" which aims to find a faster way to evaluate a recursive program. The solution is found by making use of powerful tools, such as a program synthesizer, an SMT-solver, and an equality saturation system. We demonstrate the strength of the optimization by showing that the FGH-rule can lead to speedups up to 4 orders of magnitude on three, already optimized Datalog systems.


title: Nonparametric Adaptive Robust Control Under Model Uncertainty

abstract: We consider a discrete time stochastic Markovian control problem under model uncertainty. Such uncertainty not only comes from the fact that the true probability law of the underlying stochastic process is unknown, but the parametric family of probability distributions which the true law belongs to is also unknown. We propose a nonparametric adaptive robust control methodology to deal with such problem. Our approach hinges on the following building concepts: first, using the adaptive robust paradigm to incorporate online learning and uncertainty reduction into the robust control problem; second, learning the unknown probability law through the empirical distribution, and representing uncertainty reduction in terms of a sequence of Wasserstein balls around the empirical distribution; third, using Lagrangian duality to convert the optimization over Wasserstein balls to a scalar optimization problem, and adopting a machine learning technique to achieve efficient computation of the optimal control. We illustrate our methodology by considering a utility maximization problem. Numerical comparisons show that the nonparametric adaptive robust control approach is preferable to the traditional robust frameworks.


title: Bound States in the Continuum in Multipolar Lattices

abstract: We develop a theory of bound states in the continuum (BICs) in multipolar lattices -- periodic arrays of resonant multipoles. We predict that BICs are completely robust to changes in lattice parameters remaining pinned to specific directions in the $k$-space. The lack of radiation for BICs in such structures is protected by the symmetry of multipoles forming the lattice. We also show that some multipolar lattices can host BICs forming a continuous line in the $k$-space and such BICs carry zero topological charge. The developed approach sets a direct fundamental relation between the topological charge of BIC and the asymptotic behavior of the Q-factor in its vicinity. We believe that our theory is a significant step towards gaining deeper insight into the physics of BICs and the engineering of high-Q states in all-dielectric metasurfaces.


title: Time of arrival operator in the momentum space

abstract: It is shown that in presence of certain external fields a well defined self-adjoint time operator exists, satisfying the standard canonical commutation relations with the Hamiltonian. Examples include uniform electric and gravitational fields with nonrelativistic and relativistic Hamiltonians. The physical intepretation of these operators is proposed in terms of time of arrival in the momentum space.


title: On The Generalisation of Henstock-Kurzweil Fourier Transform

abstract: In this paper, a generalised integral called the Laplace integral is defined on unbounded intervals, and some of its properties, including necessary and sufficient condition for differentiating under the integral sign, are discussed. It is also shown that this integral is more general than the Henstock-Kurzweil integral. Finally, the Fourier transform is defined using the Laplace integral, and its well-known properties are established.


title: Nature of the anomalous $4/13$ fractional quantum Hall effect in graphene

abstract: Extensive fractional quantum Hall effect (FQHE) has been observed in graphene-based materials. Some of the observed fractions are anomalous in that FQHE has not been established at these fractions in conventional GaAs systems. One such fraction is $4/13$, where incompressibility has recently been reported in graphene [Kumar et al., Nat. Comm. 9, 2776 (2018)]. We propose a partonic wave function at $4/13$ and show it to be a viable candidate to describe the Coulomb ground state. Using the effective edge theory, we make predictions for experimentally measurable properties of the state.


title: MIST GAN: Modality Imputation Using Style Transfer for MRI

abstract: MRI entails a great amount of cost, time and effort for the generation of all the modalities that are recommended for efficient diagnosis and treatment planning. Recent advancements in deep learning research show that generative models have achieved substantial improvement in the aspects of style transfer and image synthesis. In this work, we formulate generating the missing MR modality from existing MR modalities as an imputation problem using style transfer. With a multiple-to-one mapping, we model a network that accommodates domain specific styles in generating the target image. We analyse the style diversity both within and across MR modalities. Our model is tested on the BraTS'18 dataset and the results obtained are observed to be on par with the state-of-the-art in terms of visual metrics, SSIM and PSNR. After being evaluated by two expert radiologists, we show that our model is efficient, extendable, and suitable for clinical applications.


title: Dissipative Control of Linear Time-Delay Systems: Full State Feedback

abstract: The control and observation of autonomous linear time delay systems (LTDSs) remain a challenging problem when considering an unlimited number of pointwise and general distributed delays (DDs) with dissipative constraints. Existing solutions are hindered by theoretical limitations, numerical obstacles, or an inability to handle the complexities of DD kernels. In this paper, we present a unified framework based on the equivalent decomposition-approximation (EDA) technique that we recently developed for the analysis of general DDs. The framework can simultaneously address two separated control problems using the Krasovski\u{\i} functional (KF) approach, where all DDs can contain an unlimited number of square-integrable functions. We demonstrate in detail how the EDA technique can factorize and approximate any kernel function simultaneously without introducing conservatism. This approach also enables us to construct a complete-type KF, where its integral kernels can include any number of weakly differentiable and linearly independent functions, supported by the utilization of novel integral inequalities derived from the least-squares principle. The solution to each synthesis problem comprises two theorems accompanied by an iterative algorithm, which can be utilized as a single package to compute controller gains, eliminating the need for nonlinear solvers. We test several challenging examples, which cannot be addressed by existing methods, to demonstrate the effectiveness of our methodology. The paper also reviews some of the latest results on the analysis of LTDSs, which may serve as a useful reference for both students and experienced researchers in related fields.


title: Wave Functions and Energy Spectra in Rational Billiards Are Determined Completely by Their Periods

abstract: The rational billiards (RB) are classically pseudointegrable, i.e. their trajectories in the phase space lie on multi-tori. Each such a multi-torus can be unfolded into elementary polygon pattern (EPP). A rational billiards Riemann surface (RBRS) corresponding to each RB is then an infinite mosaic made by a periodic distribution of EPP. Periods of RBRS are directly related to periodic orbits of RB. It is shown that any stationary solutions (SS) to the Schr\"odinger equation (SE) in RB can be extended on the whole RBRS. The extended stationary wave functions (ESS) are then periodic on RBRS with its periods. Conversely, for each system of boundary conditions (i.e. the Dirichlet or the the Neumann ones or their mixture) consistent with EPP one can find so called stationary pre-solutions (SPS) of the Schr\"odinger equation defined on RBRS and respecting its periodic structure together with their energy spectra. Using SPS one can easily construct SS of RB for most boundary conditions on it by a trivial algebra over SPS. It proves therefore that the energy spectra defined by the boundary conditions for SS corresponding to each RB are totally determined by $2g$ independent periods of RBRS being homogeneous functions of these periods. RBRS can be constructed exclusively due to the rationality of the polygon billiards considered. Therefore the approach developed in the present paper can be seen as a new way in obtaining SS to SE in RB. SPS can be constructed explicitly for a class of RB which EPP can be decomposed into a set of periodic orbit channel (POC) parallel to each other (POCDRB). For such a class of RB the respective RBRS can be built as a standard multi-sheeted Riemann surface with a periodic structure. For POCDRB a discussion of the existence of the superscar states (SSS) can be done thoroughly.


title: Quantum field simulator for dynamics in curved spacetime

abstract: The observed large-scale structure in our Universe is seen as a result of quantum fluctuations amplified by spacetime evolution. This, and related problems in cosmology, asks for an understanding of the quantum fields of the standard model and dark matter in curved spacetime. Even the reduced problem of a scalar quantum field in an explicitly time-dependent spacetime metric is a theoretical challenge and thus a quantum field simulator can lead to new insights. Here, we demonstrate such a quantum field simulator in a two-dimensional Bose-Einstein condensate with a configurable trap and adjustable interaction strength to implement this model system. We explicitly show the realisation of spacetimes with positive and negative spatial curvature by wave packet propagation and confirm particle pair production in controlled power-law expansion of space. We find quantitative agreement with new analytical predictions for different curvatures in time and space. This benchmarks and thereby establishes a quantum field simulator of a new class. In the future, straightforward upgrades offer the possibility to enter new, so far unexplored, regimes that give further insight into relativistic quantum field dynamics.

categories: cond-mat.quant-gas gr-qc hep-th quant-ph


title: GenStore: A High-Performance and Energy-Efficient In-Storage Computing System for Genome Sequence Analysis

abstract: Read mapping is a fundamental, yet computationally-expensive step in many genomics applications. It is used to identify potential matches and differences between fragments (called reads) of a sequenced genome and an already known genome (called a reference genome). To address the computational challenges in genome analysis, many prior works propose various approaches such as filters that select the reads that must undergo expensive computation, efficient heuristics, and hardware acceleration. While effective at reducing the computation overhead, all such approaches still require the costly movement of a large amount of data from storage to the rest of the system, which can significantly lower the end-to-end performance of read mapping in conventional and emerging genomics systems. We propose GenStore, the first in-storage processing system designed for genome sequence analysis that greatly reduces both data movement and computational overheads of genome sequence analysis by exploiting low-cost and accurate in-storage filters. GenStore leverages hardware/software co-design to address the challenges of in-storage processing, supporting reads with 1) different read lengths and error rates, and 2) different degrees of genetic variation. Through rigorous analysis of read mapping processes, we meticulously design low-cost hardware accelerators and data/computation flows inside a NAND flash-based SSD. Our evaluation using a wide range of real genomic datasets shows that GenStore, when implemented in three modern SSDs, significantly improves the read mapping performance of state-of-the-art software (hardware) baselines by 2.07-6.05$\times$ (1.52-3.32$\times$) for read sets with high similarity to the reference genome and 1.45-33.63$\times$ (2.70-19.2$\times$) for read sets with low similarity to the reference genome.


title: Vision-Language Pre-Training with Triple Contrastive Learning

abstract: Vision-language representation learning largely benefits from image-text alignment through contrastive losses (e.g., InfoNCE loss). The success of this alignment strategy is attributed to its capability in maximizing the mutual information (MI) between an image and its matched text. However, simply performing cross-modal alignment (CMA) ignores data potential within each modality, which may result in degraded representations. For instance, although CMA-based models are able to map image-text pairs close together in the embedding space, they fail to ensure that similar inputs from the same modality stay close by. This problem can get even worse when the pre-training data is noisy. In this paper, we propose triple contrastive learning (TCL) for vision-language pre-training by leveraging both cross-modal and intra-modal self-supervision. Besides CMA, TCL introduces an intra-modal contrastive objective to provide complementary benefits in representation learning. To take advantage of localized and structural information from image and text input, TCL further maximizes the average MI between local regions of image/text and their global summary. To the best of our knowledge, ours is the first work that takes into account local structure information for multi-modality representation learning. Experimental evaluations show that our approach is competitive and achieves the new state of the art on various common down-stream vision-language tasks such as image-text retrieval and visual question answering.


title: Study of final-state interactions of protons in neutrino-nucleus scattering with INCL and NuWro cascade models

abstract: The modeling of neutrino-nucleus interactions constitutes a challenging source of systematic uncertainty for the extraction of precise values of neutrino oscillation parameters in long-baseline accelerator neutrino experiments. To improve such modeling and minimize the corresponding uncertainties, a new generation of detectors is being developed, which aim to measure the complete final state of particles resulting from neutrino interactions. In order to fully benefit from the improved detector capabilities, precise simulations of the nuclear effects on the final-state nucleons are needed. This article presents the study of the in-medium propagation of knocked-out protons, i.e., final-state interactions (FSI), comparing the NuWro and INCL cascade models. The INCL model is used here for the first time to predict exclusive final states of neutrino interactions. This study of INCL in the framework of neutrino interactions features various novelties, including the production of nuclear clusters (e.g., deuterons, $\alpha$ particles) in the final state. The paper includes a complete characterization of the final state after FSI, comparisons to available measurements of single transverse variables, and an assessment of the observability of nuclear clusters.


title: Unified approach for computing sum of sources over CQ-MAC

abstract: We consider the task of communicating a generic bivariate function of two classical sources over a Classical-Quantum Multiple Access Channel (CQ-MAC). The two sources are observed at the encoders of the CQ-MAC, and the decoder aims at reconstructing a bivariate function from the received quantum state. Inspired by the techniques developed for the analogous classical setting, and employing the technique of simultaneous (joint) decoding developed for the classical-quantum setting, we propose and analyze a coding scheme based on a fusion of algebraic structured and unstructured codes. This coding scheme allows exploiting both the symmetric structure common amongst the sources and the asymmetries. We derive a new set of sufficient conditions that strictly enlarges the largest known set of sources (capable of communicating the bivariate function) for any given CQ-MAC. We provide these conditions in terms of single-letter quantum information-theoretic quantities.


title: Solving Poisson's Equation: Existence, Uniqueness, Martingale Structure, and CLT

abstract: The solution of Poisson's equation plays a key role in constructing the martingale through which sums of Markov correlated random variables can be analyzed. In this paper, we study two different representations for the solution in countable state space, one based on regenerative structure and the other based on an infinite sum of expectations. We also consider integrability and related uniqueness issues associated with solutions to Poisson's equation, and provide verifiable Lyapunov conditions to support our theory. Our key results include a central limit theorem and law of the iterated logarithm for Markov dependent sums, under Lyapunov conditions weaker than have previously appeared in the literature.


title: Minimal Volume Entropy of RAAG's

abstract: Bregman and Clay recently characterized which right-angled Artin groups with geometric dimension 2 have vanishing minimal volume entropy. In this note, we extend this characterization to higher dimensions.


title: Limit cycles in mass-conserving deficiency-one mass-action systems

abstract: We present some simple mass-action systems with limit cycles that fall under the scope of the Deficiency-One Theorem. All the constructed examples are mass-conserving and their stoichiometric subspace is two-dimensional. Using the continuation software MATCONT, we depict the limit cycles in all stoichiometric classes at once. The networks are trimolecular and tetramolecular, and some exhibit two or even three limit cycles. Finally, we show that the associated mass-action system of a bimolecular reaction network with two-dimensional stoichiometric subspace does not admit a limit cycle.


title: Learning Behavioral Soft Constraints from Demonstrations

abstract: Many real-life scenarios require humans to make difficult trade-offs: do we always follow all the traffic rules or do we violate the speed limit in an emergency? These scenarios force us to evaluate the trade-off between collective rules and norms with our own personal objectives and desires. To create effective AI-human teams, we must equip AI agents with a model of how humans make these trade-offs in complex environments when there are implicit and explicit rules and constraints. Agent equipped with these models will be able to mirror human behavior and/or to draw human attention to situations where decision making could be improved. To this end, we propose a novel inverse reinforcement learning (IRL) method: Max Entropy Inverse Soft Constraint IRL (MESC-IRL), for learning implicit hard and soft constraints over states, actions, and state features from demonstrations in deterministic and non-deterministic environments modeled as Markov Decision Processes (MDPs). Our method enables agents implicitly learn human constraints and desires without the need for explicit modeling by the agent designer and to transfer these constraints between environments. Our novel method generalizes prior work which only considered deterministic hard constraints and achieves state of the art performance.


title: Embarrassingly Simple Performance Prediction for Abductive Natural Language Inference

abstract: The task of abductive natural language inference (\alpha{}nli), to decide which hypothesis is the more likely explanation for a set of observations, is a particularly difficult type of NLI. Instead of just determining a causal relationship, it requires common sense to also evaluate how reasonable an explanation is. All recent competitive systems build on top of contextualized representations and make use of transformer architectures for learning an NLI model. When somebody is faced with a particular NLI task, they need to select the best model that is available. This is a time-consuming and resource-intense endeavour. To solve this practical problem, we propose a simple method for predicting the performance without actually fine-tuning the model. We do this by testing how well the pre-trained models perform on the \alpha{}nli task when just comparing sentence embeddings with cosine similarity to what the performance that is achieved when training a classifier on top of these embeddings. We show that the accuracy of the cosine similarity approach correlates strongly with the accuracy of the classification approach with a Pearson correlation coefficient of 0.65. Since the similarity computation is orders of magnitude faster to compute on a given dataset (less than a minute vs. hours), our method can lead to significant time savings in the process of model selection.


title: Observation of anisotropic thermal expansion and Jahn-Teller effect in double perovskites Sr$_{2-x}$La$_x$CoNbO$_6$ using neutron diffraction

abstract: We use temperature dependent neutron powder diffraction (NPD) to investigate the structural changes and magnetic interactions in double perovskite Sr$_{2-x}$La$_x$CoNbO$_6$ ($x=$ 0.4 and 0.6). A structural phase transition from tetragonal ($I4/m$) to monoclinic ($P2_1/n$) is observed between $x=$ 0.4 and 0.6 samples. Interestingly, temperature evolution of the unit cell parameters follow the Gr\"uneisen approximation, and the analysis suggest the isotropic thermal expansion in case of the $x=$ 0.4 sample, whereas the $x=$ 0.6 sample shows the anisotropy where the thermal expansion along the $c$-axis significantly deviates from the Gr\"uneisen function. We observe the $z$-out Jahn-Teller distortion in the CoO$_6$ and consequently $z$-in distortion in the adjacent NbO$_6$ octahedra. With increase in the La substitution, a decrease in the degree of octahedral distortion is evident from the significant reduction in the local distortion parameter $\Delta$ around the B-site atoms.


title: Dirichlet sub-Laplacians on homogeneous Carnot groups: spectral properties, asymptotics, and heat content

abstract: We consider sub-Laplacians in open bounded sets in a homogeneous Carnot group and study their spectral properties. We prove that these operators have a pure point spectrum, and prove the existence of the spectral gap. In addition, we give applications to the small ball problem for a hypoelliptic Brownian motion and the large time behavior of the heat content in a regular domain.


title: The C-Band All-Sky Survey (C-BASS): Template Fitting of Diffuse Galactic Microwave Emission in the Northern Sky

abstract: The C-Band All-Sky Survey (C-BASS) has observed the Galaxy at 4.76GHz with an angular resolution of $0.73^\circ$ full-width half-maximum, and detected Galactic synchrotron emission with high signal-to-noise ratio over the entire northern sky ($\delta > -15^{\circ}$). We present the results of a spatial correlation analysis of Galactic foregrounds at mid-to-high ($b > 10^\circ$) Galactic latitudes using a preliminary version of the C-BASS intensity map. We jointly fit for synchrotron, dust, and free-free components between $20$ and $1000$GHz and look for differences in the Galactic synchrotron spectrum, and the emissivity of anomalous microwave emission (AME) when using either the C-BASS map or the 408MHz all-sky map to trace synchrotron emission. We find marginal evidence for a steepening ($\left<\Delta\beta\right> = -0.06\pm0.02$) of the Galactic synchrotron spectrum at high frequencies resulting in a mean spectral index of $\left<\beta\right> = -3.10\pm0.02$ over $4.76-22.8$GHz. Further, we find that the synchrotron emission can be well modelled by a single power-law up to a few tens of GHz. Due to this, we find that the AME emissivity is not sensitive to changing the synchrotron tracer from the 408MHz map to the 4.76GHz map. We interpret this as strong evidence for the origin of AME being spinning dust emission.


title: Polynomial bounds for chromatic number VI. Adding a four-vertex path

abstract: A class of graphs is $\chi$-bounded if there is a function $f$ such that every graph $G$ in the class has chromatic number at most $f(\omega(G))$, where $\omega(G)$ is the clique number of $G$; the class is polynomially $\chi$-bounded if $f$ can be taken to be a polynomial. The Gy\'arf\'as-Sumner conjecture asserts that, for every forest $H$, the class of $H$-free graphs (graphs with no induced copy of $H$) is $\chi$-bounded. Let us say a forest $H$ is good if it satisfies the stronger property that the class of $H$-free graphs is polynomially $\chi$-bounded. Very few forests are known to be good: for example, it is open for the five-vertex path. Indeed, it is not even known that if every component of a forest $H$ is good then $H$ is good, and in particular, it was not known that the disjoint union of two four-vertex paths is good. Here we show the latter, and more generally, that if $H$ is good then so is the disjoint union of $H$ and a four-vertex path. We also prove a more general result: if every component of $H_1$ is good, and $H_2$ is any path (or broom) then the class of graphs that are both $H_1$-free and $H_2$-free is polynomially $\chi$-bounded.


title: Weak approximations and VIX option price expansions in forward variance curve models

abstract: We provide explicit approximation formulas for VIX futures and options in forward variance models, with particular emphasis on the family of so-called Bergomi models: the one-factor Bergomi model [Bergomi, Smile dynamics II, Risk, 2005], the rough Bergomi model [Bayer, Friz, and Gatheral, Pricing under rough volatility, Quantitative Finance, 16(6):887-904, 2016], and an enhanced version of the rough model that can generate realistic positive skew for VIX smiles -- introduced simultaneously by De Marco [Bachelier World Congress, 2018] and Guyon [Bachelier World Congress, 2018] on the lines of [Bergomi, Smile dynamics III, Risk, 2008], that we refer to as 'mixed rough Bergomi model'. Following the methodology set up in [Gobet and Miri, Weak approximation of averaged diffusion processes. Stochastic Process.\ Appl., 124(1):475-504, 2014], we derive weak approximations for the law of the VIX, leading to option price approximations under the form of explicit combinations of Black-Scholes prices and greeks. As new contributions, we cope with the fractional integration kernel appearing in rough models and treat the case of non-smooth payoffs, so to encompass VIX futures, call and put options. We stress that our approach does not rely on small-time asymptotics nor small-parameter (such as small volatility-of-volatility) asymptotics, and can therefore be applied to any option maturity and a wide range of parameter configurations. Our results are illustrated by several numerical experiments and calibration tests to VIX market data.


title: Optimal Execution with Multiplicative Price Impact and Incomplete Information on the Return

abstract: We study an optimal liquidation problem with multiplicative price impact in which the trend of the asset's price is an unobservable Bernoulli random variable. The investor aims at selling over an infinite time-horizon a fixed amount of assets in order to maximize a net expected profit functional, and lump-sum as well as singularly continuous actions are allowed. Our mathematical modelling leads to a singular stochastic control problem featuring a finite-fuel constraint and partial observation. We provide the complete analysis of an equivalent three-dimensional degenerate problem under full information, whose state process is composed of the asset's price dynamics, the amount of available assets in the portfolio, and the investor's belief about the true value of the asset's trend. The optimal execution rule and the problem's value function are expressed in terms of the solution to a truly two-dimensional optimal stopping problem, whose associated belief-dependent free boundary $b$ triggers the investor's optimal selling rule. The curve $b$ is uniquely determined through a nonlinear integral equation, for which we derive a numerical solution through an application of the Monte-Carlo method. This allows us to understand the sensitivity of the problem's solution with respect to the relevant model's parameters as well as the value of information in our model.


title: Items from Psychometric Tests as Training Data for Personality Profiling Models of Twitter Users

abstract: Machine-learned models for author profiling in social media often rely on data acquired via self-reporting-based psychometric tests (questionnaires) filled out by social media users. This is an expensive but accurate data collection strategy. Another, less costly alternative, which leads to potentially more noisy and biased data, is to rely on labels inferred from publicly available information in the profiles of the users, for instance self-reported diagnoses or test results. In this paper, we explore a third strategy, namely to directly use a corpus of items from validated psychometric tests as training data. Items from psychometric tests often consist of sentences from an I-perspective (e.g., "I make friends easily."). Such corpora of test items constitute 'small data', but their availability for many concepts is a rich resource. We investigate this approach for personality profiling, and evaluate BERT classifiers fine-tuned on such psychometric test items for the big five personality traits (openness, conscientiousness, extraversion, agreeableness, neuroticism) and analyze various augmentation strategies regarding their potential to address the challenges coming with such a small corpus. Our evaluation on a publicly available Twitter corpus shows a comparable performance to in-domain training for 4/5 personality traits with T5-based data augmentation.


title: The detailed chemical abundance patterns of accreted halo stars from the optical to infrared

abstract: Understanding the assembly of our Galaxy requires us to also characterize the systems that helped build it. In this work, we accomplish this by exploring the chemistry of accreted halo stars from the Gaia-Enceladus/Gaia-Sausage (GES) selected in the infrared from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) Data Release 16. We use high resolution optical spectra for 62 GES stars to measure abundances in 20 elements spanning the $\alpha$, Fe-peak, light, odd-Z, and notably, the neutron-capture groups of elements to understand their trends in the context of and in contrast to the Milky Way and other stellar populations. Using these derived abundances we find that the optical and the infrared abundances agree to within 0.15 dex except for O, Co, Na, Cu, and Ce. These stars have enhanced neutron-capture abundance trends compared to the Milky Way, and their [Eu/Mg] and neutron-capture abundance ratios (e.g., [Y/Eu], [Ba/Eu], [Zr/Ba], [La/Ba], and [Nd/Ba]) point to r-process enhancement and a delay in s-process enrichment. Their [$\alpha$/Fe] trend is lower than the Milky Way trend for [Fe/H]$>$-1.5 dex, similar to previous studies of GES stars and consistent with the picture that these stars formed in a system with a lower rate of star formation. This is further supported by their depleted abundances in Ni, Na, and Cu abundances, again, similar to previous studies of low-$\alpha$ stars with accreted origins.


title: Efficient anisotropic polariton lasing using molecular conformation and orientation in organic microcavities

abstract: Organic exciton-photon polariton lasers have recently been shown to be remarkable candidates for the realization of efficient sources of coherent light operating at room temperature. While their thresholds are now comparable with conventional organic photon lasers, tuning of molecular conformation and orientation as a means to further enhance their performance remains largely unexplored. Here, we first report a two-fold reduction in the threshold of a polariton laser based on a high-Q microcavity filled with an active layer of poly(9,9-dioctylfluorene) (PFO) when 15% {\beta}-phase conformation is introduced. We then take advantage of the liquid crystalline properties of PFO and use a thin transparent sulfuric dye 1 (SD1) photoalignment layer to induce homogeneous nematic alignment of the polymer chains. The resulting transition dipole moment orientation increases the Rabi energy, bringing the system into the ultra-strong coupling regime where we observe anisotropic polariton lasing with an eight-fold reduction in absorbed threshold, down to 1.14 pJ / 0.36 {\mu}Jcm-2 for the direction parallel to the orientation, with no emission along the orthogonal direction. To our knowledge, this threshold is lower than demonstrated with state-of-the art optically pumped organic vertical cavity surface-emitting photon and polariton lasers. This demonstration opens new opportunities for more efficient polaritonic devices and the observation of fundamental effects at low polariton numbers.


title: Anomaly Search over Composite Hypotheses in Hierarchical Statistical Models

abstract: Detection of anomalies among a large number of processes is a fundamental task that has been studied in multiple research areas, with diverse applications spanning from spectrum access to cyber-security. Anomalous events are characterized by deviations in data distributions, and thus can be inferred from noisy observations based on statistical methods. In some scenarios, one can often obtain noisy observations aggregated from a chosen subset of processes. Such hierarchical search can further minimize the sample complexity while retaining accuracy. An anomaly search strategy should thus be designed based on multiple requirements, such as maximizing the detection accuracy; efficiency, be efficient in terms of sample complexity; and be able to cope with statistical models that are known only up to some missing parameters (i.e., composite hypotheses). In this paper, we consider anomaly detection with observations taken from a chosen subset of processes that conforms to a predetermined tree structure with partially known statistical model. We propose Hierarchical Dynamic Search (HDS), a sequential search strategy that uses two variations of the Generalized Log Likelihood Ratio (GLLR) statistic, and can be used for detection of multiple anomalies. HDS is shown to be order-optimal in terms of the size of the search space, and asymptotically optimal in terms of detection accuracy. An explicit upper bound on the error probability is established for the finite sample regime. In addition to extensive experiments on synthetic datasets, experiments have been conducted on the DARPA intrusion detection dataset, showing that HDS is superior to existing methods.


title: Interpreting Language Models with Contrastive Explanations

abstract: Model interpretability methods are often used to explain NLP model decisions on tasks such as text classification, where the output space is relatively small. However, when applied to language generation, where the output space often consists of tens of thousands of tokens, these methods are unable to provide informative explanations. Language models must consider various features to predict a token, such as its part of speech, number, tense, or semantics. Existing explanation methods conflate evidence for all these features into a single explanation, which is less interpretable for human understanding. To disentangle the different decisions in language modeling, we focus on explaining language models contrastively: we look for salient input tokens that explain why the model predicted one token instead of another. We demonstrate that contrastive explanations are quantifiably better than non-contrastive explanations in verifying major grammatical phenomena, and that they significantly improve contrastive model simulatability for human observers. We also identify groups of contrastive decisions where the model uses similar evidence, and we are able to characterize what input tokens models use during various language generation decisions.


title: Effective Hilbert's Irreducibility Theorem for global fields

abstract: We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility or the Galois group of a given irreducible polynomial $F(T,Y)\in K[T,Y]$. The bounds are explicit in the height and degree of the polynomial $F(T,Y)$, and are optimal in terms of the size of the parameter $t\in \mathcal{O}_K$. Our proofs deal with the function field and number field cases in a unified way.


title: Reorientation dynamics of microswimmers at fluid-fluid interfaces

abstract: We study the orientational and translational dynamics of spherical microswimmers trapped at fluid interfaces, in terms of the force dipole and source dipole components of their flow field. Using numerical simulations and analytical calculations, we show that the force dipole exerts a torque, orienting pushers parallel to the interface, and pullers in normal direction. The source dipole results in particle rotation only for a finite viscosity contrast between the two fluids, in agreement with previous studies. The superposition of these two contributions leads to an rotational dynamics with a steady-state orientation that depends on the relative magnitudes of the force and source dipoles. In the general case, swimmers with weak force dipoles and strong pullers are observed to align perpendicular to the interface and become stationary, while strong pushers have a finite inclination angle towards the lower viscosity fluid and swim along the interface.


title: Disappearing of the Fermi level pinning at semiconductor interfaces

abstract: We identify a universality in the Fermi level change of Van der Waals interacting semiconductor interfaces-based Schottky junctions. We show that the disappearing of quasi-Fermi level pinning at a certain thickness of semiconductor films for both intrinsic (undoped) and extrinsic (doped) semiconductors, over a wide range of bulk systems including inorganic, organic, and even organic-inorganic hybridized semiconductors. The Fermi level (EF) position located in the energy bandgap was dominated by not only the substrate work function, but also the thickness of semiconductor films, in which the final EF shall be located at the position reflecting the thermal equilibrium of semiconductors themselves. Such universalities originate from the charge transfer between the substrate and semiconductor films after solving one-dimensional Poisson's equation. Our calculation resolves some of the conflicting results from experimental results determined by using ultraviolet photoelectron spectroscopy (UPS) and unifies the general rule on extracting EF positions in energy bandgaps from (i) inorganic semiconductors to organic semiconductors and (ii) intrinsic (undoped) to extrinsic (doped) semiconductors. Our findings shall provide a simple analytical scaling for obtaining the quantitative energy diagram regarding thickness in the real devices, thus paving the way for a fundamental understanding of interface physics and designing functional devices.


title: Physics-Informed Machine Learning and Uncertainty Quantification for Mechanics of Heterogeneous Materials

abstract: In this work, a model based on the Physics - Informed Neural Networks (PINNs) for solving elastic deformation of heterogeneous solids and associated Uncertainty Quantification (UQ) is presented. For the present study, the PINNs framework - Modulus developed by Nvidia is utilized, wherein we implement a module for mechanics of heterogeneous solids. We use PINNs to approximate momentum balance by assuming isotropic linear elastic constitutive behavior against a loss function. Along with governing equations, the associated initial / boundary conditions also softly participate in the loss function. Solids where the heterogeneity manifests as voids (low elastic modulus regions) and fibers (high elastic modulus regions) in a matrix are analyzed, and the results are validated against solutions obtained from a commercial Finite Element (FE) analysis package. The present study also reveals that PINNs can capture the stress jumps precisely at the material interfaces. Additionally, the present study explores the advantages associated with the surrogate features in PINNs via the variation in geometry and material properties. The presented UQ studies suggest that the mean and standard deviation of the PINNs solution are in good agreement with Monte Carlo FE results. The effective Young's modulus predicted by PINNs for single representative void and single fiber composites compare very well against the ones predicted by FE, which establishes the PINNs formulation as an efficient homogenization tool.


title: Fast and Scalable Memristive In-Memory Sorting with Column-Skipping Algorithm

abstract: Memristive in-memory sorting has been proposed recently to improve hardware sorting efficiency. Using iterative in-memory min computations, data movements between memory and external processing units can be eliminated for improved latency and energy efficiency. However, the bit-traversal algorithm to search the min requires a large number of column reads on memristive memory. In this work, we propose a column-skipping algorithm with help of a near-memory circuit. Redundant column reads can be skipped based on recorded states for improved latency and hardware efficiency. To enhance the scalability, we develop a multi-bank management that enables column-skipping for dataset stored in different memristive memory banks. Prototype column-skipping sorters are implemented with a 1T1R memristive memory in 40nm CMOS technology. Experimented on a variety of sorting datasets, the length-1024 32-bit column-skipping sorter with state recording of 2 demonstrates up to 4.08x speedup, 3.14x area efficiency and 3.39x energy efficiency, respectively, over the latest memristive in-memory sorting.


title: Simulation-Guided Optimization of Granular Phononic Crystal Structure Using the Discrete Element Method

abstract: The paper describes a novel methodology of designing granular phononic crystals for acoustic wave manipulations. A discrete element method is utilized to model the dynamics of a pulse wave propagating through the densely packed assembly of elastic spherical particles with an embedded phononic crystal - the region consisting of a certain arrangement of particles with varying densities. We suggest an optimization strategy that extremizes the useful properties of a granular phononic crystal, which are described in terms of a noise-proof functional based on frequency-wavenumber summation of spectral energy density. Few types of efficient phononic crystals are identified. The suggested methodology is of interest for a number of applications, in particular, for seismic shielding and selective sound absorption.


title: Malaria detection in Segmented Blood Cell using Convolutional Neural Networks and Canny Edge Detection

abstract: We apply convolutional neural networks to identify between malaria infected and non-infected segmented cells from the thin blood smear slide images. We optimize our model to find over 95% accuracy in malaria cell detection. We also apply Canny image processing to reduce training file size while maintaining comparable accuracy (~ 94%).


title: Dichotomous point counts over finite fields

abstract: We establish a near dichotomy between randomness and structure for the point counts of arbitrary projective cubic threefolds over finite fields. Certain "special" subvarieties, not unlike those in the Manin conjectures, dominate. We also prove new general results for projective hypersurfaces. Our work continues a line of inquiry initiated by Hooley.


title: Homotopies of constant Cuntz class

abstract: Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed Cuntz class is path connected. This result applies in particular to irrational rotation algebras and AF algebras.


title: Examination of computed aluminum grain boundary structures and interface energies that span the 5D space of crystallographic character

abstract: The space of possible grain boundary structures is vast, with 5 macroscopic, crystallographic degrees of freedom that define the character of a grain boundary. While numerous datasets of grain boundaries have examined this space in part or in full, we present a computed dataset of over 7304 unique aluminum grain boundaries in the 5D crystallographic space. Our sampling also includes a range of possible microscopic, atomic configurations for each unique 5D crystallographic structure, which total over 43 million structures. We present an overview of the methods used to generate this dataset, an initial examination of the energy trends that follow the Read-Shockley relationship, hints at trends throughout the 5D space, variations in GB energy when non-minimum energy structures are examined, and insights gained in machine learning of grain boundary energy structure-property relationships. This dataset, which is available for download, has great potential for insight into GB structure-property relationships.


title: Learning Causal Overhypotheses through Exploration in Children and Computational Models

abstract: Despite recent progress in reinforcement learning (RL), RL algorithms for exploration still remain an active area of research. Existing methods often focus on state-based metrics, which do not consider the underlying causal structures of the environment, and while recent research has begun to explore RL environments for causal learning, these environments primarily leverage causal information through causal inference or induction rather than exploration. In contrast, human children - some of the most proficient explorers - have been shown to use causal information to great benefit. In this work, we introduce a novel RL environment designed with a controllable causal structure, which allows us to evaluate exploration strategies used by both agents and children in a unified environment. In addition, through experimentation on both computation models and children, we demonstrate that there are significant differences between information-gain optimal RL exploration in causal environments and the exploration of children in the same environments. We conclude with a discussion of how these findings may inspire new directions of research into efficient exploration and disambiguation of causal structures for RL algorithms.


title: Collective states of active particles with elastic dipolar interactions

abstract: Many types of mammalian cells exert active contractile forces and mechanically deform their elastic substrate, to accomplish biological functions such as cell migration. These substrate deformations provide a mechanism by which cells can sense other cells, leading to long range mechanical intercell interactions and possible self organization. Here, we treat cells as noisy motile particles that exert contractile dipolar stresses on elastic substrates as they move. By combining this minimal model for the motility of individual cells with a linear elastic model that accounts for substrate mediated cell cell interactions, we examine emergent collective states that result from the interplay of cell motility and long range elastic dipolar interactions. In particular, we show that particles self assemble into flexible, motile chains which can cluster to form diverse larger scale compact structures with polar order. By computing key structural and dynamical metrics, we distinguish between the collective states at weak and strong elastic interactions, as well as at low and high motility. We also show how these states are affected by confinement, an important characteristic of the complex mechanical microenvironment inhabited by cells. Our model predictions are generally applicable to active matter with dipolar interactions ranging from biological cells to synthetic colloids endowed with electric or magnetic dipole moments.


title: Reasoning with Scene Graphs for Robot Planning under Partial Observability

abstract: Robot planning in partially observable domains is difficult, because a robot needs to estimate the current state and plan actions at the same time. When the domain includes many objects, reasoning about the objects and their relationships makes robot planning even more difficult. In this paper, we develop an algorithm called scene analysis for robot planning (SARP) that enables robots to reason with visual contextual information toward achieving long-term goals under uncertainty. SARP constructs scene graphs, a factored representation of objects and their relations, using images captured from different positions, and reasons with them to enable context-aware robot planning under partial observability. Experiments have been conducted using multiple 3D environments in simulation, and a dataset collected by a real robot. In comparison to standard robot planning and scene analysis methods, in a target search domain, SARP improves both efficiency and accuracy in task completion. Supplementary material can be found at https://tinyurl.com/sarp22


title: The Role of Heterogeneity in Autonomous Perimeter Defense Problems

abstract: When is heterogeneity in the composition of an autonomous robotic team beneficial and when is it detrimental? We investigate and answer this question in the context of a minimally viable model that examines the role of heterogeneous speeds in perimeter defense problems, where defenders share a total allocated speed budget. We consider two distinct problem settings and develop strategies based on dynamic programming and on local interaction rules. We present a theoretical analysis of both approaches and our results are extensively validated using simulations. Interestingly, our results demonstrate that the viability of heterogeneous teams depends on the amount of information available to the defenders. Moreover, our results suggest a universality property: across a wide range of problem parameters the optimal ratio of the speeds of the defenders remains nearly constant.


title: Empirical Optimal Transport between Different Measures Adapts to Lower Complexity

abstract: The empirical optimal transport (OT) cost between two probability measures from random data is a fundamental quantity in transport based data analysis. In this work, we derive novel guarantees for its convergence rate when the involved measures are different, possibly supported on different spaces. Our central observation is that the statistical performance of the empirical OT cost is determined by the less complex measure, a phenomenon we refer to as lower complexity adaptation of empirical OT. For instance, under Lipschitz ground costs, we find that the empirical OT cost based on $n$ observations converges at least with rate $n^{-1/d}$ to the population quantity if one of the two measures is concentrated on a $d$-dimensional manifold, while the other can be arbitrary. For semi-concave ground costs, we show that the upper bound for the rate improves to $n^{-2/d}$. Similarly, our theory establishes the general convergence rate $n^{-1/2}$ for semi-discrete OT. All of these results are valid in the two-sample case as well, meaning that the convergence rate is still governed by the simpler of the two measures. On a conceptual level, our findings therefore suggest that the curse of dimensionality only affects the estimation of the OT cost when both measures exhibit a high intrinsic dimension. Our proofs are based on the dual formulation of OT as a maximization over a suitable function class $\mathcal{F}_c$ and the observation that the $c$-transform of $\mathcal{F}_c$ under bounded costs has the same uniform metric entropy as $\mathcal{F}_c$ itself.


title: Survey on Large Scale Neural Network Training

abstract: Modern Deep Neural Networks (DNNs) require significant memory to store weight, activations, and other intermediate tensors during training. Hence, many models do not fit one GPU device or can be trained using only a small per-GPU batch size. This survey provides a systematic overview of the approaches that enable more efficient DNNs training. We analyze techniques that save memory and make good use of computation and communication resources on architectures with a single or several GPUs. We summarize the main categories of strategies and compare strategies within and across categories. Along with approaches proposed in the literature, we discuss available implementations.