title: Instances of small size with no weakly stable matching for three-sided problem with complete cyclic preferences

abstract: Given $n$ men, $n$ women, and $n$ dogs, we assume that each man has a complete preference list of women, while each woman does a complete preference list of dogs, and each dog does a complete preference list of men. We study the so-called 3D-CYC problem, i.e., a three-dimensional problem with cyclic preferences. We understand a matching as a collection of $n$ nonintersecting triples, each of which contains a man, a woman, and a dog. A matching is said to be nonstable, if one can find a man, a woman, and a dog, which belong to different triples and prefer each other to their current partners in the corresponding triples. Otherwise, the matching is said to be stable. According to the conjecture proposed by Eriksson, S\"ostrand, and Strimling (2006), the problem of finding a stable matching (the problem 3DSM-CYC) always has a solution. However, Lam and Paxton have proposed an algorithm for constructing preference lists in 3DSM-CYC of size $n=90$, which has allowed them to disprove the mentioned conjecture. The question on the existence of counterexamples of a lesser size remained open. The main value of this paper consists in reducing the size of the counterexample to $n=20$. At the end part of the paper, we discuss a new variant of 3DSM, whose solution always exists.


title: Almost-vector spaces in the intersection of translates of the frame space in finite dimension

abstract: We proved in a previous article a path-connectedness property of the intersection of translates of the space of finite-dimensional Hilbert space frames, which we formulated in the language of Stiefel manifolds $St(n,H)$. Yet, the notion of a Hilbert space frame has already been successfully extended to $C^*$-algebras and Hilbert modules. In this article, we prove a new property of the intersection of translates of the space of frames both in the finite-dimensional Hilbert space and finite-dimensional $C^*$-algebraic cases. This property expresses that there are many almost-vector spaces in these intersections, and it relies crucially on the hypothesis of finite dimension. When the translating $l$-tuple is made of frames, we see that the intersection almost contains the vector space spanned by these frames. We finally conjecture that the property and its consequence are true in a finite-dimensional left-Hilbert module because of the simple and related structure of the latter.


title: Hilbert--Schmidt regularity of symmetric integral operators on bounded domains with applications to SPDE approximations

abstract: Regularity estimates for an integral operator with a symmetric continuous kernel on a convex bounded domain are derived. The covariance of a mean-square continuous random field on the domain is an example of such an operator. The estimates are of the form of Hilbert--Schmidt norms of the integral operator and its square root, composed with fractional powers of an elliptic operator equipped with homogeneous boundary conditions of either Dirichlet or Neumann type. These types of estimates, which couple the regularity of the driving noise with the properties of the differential operator, have important implications for stochastic partial differential equations on bounded domains as well as their numerical approximations. The main tools used to derive the estimates are properties of reproducing kernel Hilbert spaces of functions on bounded domains along with Hilbert--Schmidt embeddings of Sobolev spaces. Both non-homogeneous and homogeneous kernels are considered. In the latter case, results in a general Schatten class norm are also provided. Important examples of homogeneous kernels covered by the results of the paper include the class of Mat\'ern kernels.


title: On the Wiener (r,s)-complexity of fullerene graphs

abstract: Fullerene graphs are mathematical models of fullerene molecules. The Wiener $(r,s)$-complexity of a fullerene graph $G$ with vertex set $V(G)$ is the number of pairwise distinct values of $(r,s)$-transmission $tr_{r,s}(v)$ of its vertices $v$: $tr_{r,s}(v)= \sum_{u \in V(G)} \sum_{i=r}^{s} d(v,u)^i$ for positive integer $r$ and $s$. The Wiener $(1,1)$-complexity is known as the Wiener complexity of a graph. Irregular graphs have maximum complexity equal to the number of vertices. No irregular fullerene graphs are known for the Wiener complexity. Fullerene (IPR fullerene) graphs with n vertices having the maximal Wiener $(r,s)$-complexity are counted for all $n\le 100$ ($n\le 136$) and small $r$ and $s$. The irregular fullerene graphs are also presented.


title: $U_{\mathfrak{q}}(\mathfrak{sl}_3)$ web models: Locality, phase diagram and geometrical defects

abstract: We continue investigating the generalisations of geometrical statistical models introduced in [13], in the form of models of webs on the hexagonal lattice H having a U_q(sl_n) quantum group symmetry. We focus here on the n=3 case of cubic webs, based on the Kuperberg A_2 spider, and illustrate its properties by comparisons with the well-known dilute loop model (the n=2 case) throughout. A local vertex-model reformulation is exhibited, analogous to the correspondence between the loop model and a three-state vertex model. The n=3 representation uses seven states per link of H, displays explicitly the geometrical content of the webs and their U_q(sl_3) symmetry, and permits us to study the model on a cylinder via a local transfer matrix. A numerical study of the central charge reveals that for each q $\in \mathbb{C}$ in the critical regime, |q|=1, the web model possesses a dense and a dilute critical point, just like its loop model counterpart. In the dense $q=-e^{i \pi/4}$ case, the n=3 webs can be identified with spin interfaces of the critical three-state Potts model defined on the triangular lattice dual to H. We also provide another mapping to a $\mathbb{Z}_3$ spin model on H itself, using a high-temperature expansion. We then discuss the sector structure of the transfer matrix, for generic q, and its relation to defect configurations in both the strip and the cylinder geometries. These defects define the finite-size precursors of electromagnetic operators. This discussion paves the road for a Coulomb gas description of the conformal properties of defect webs, which will form the object of a subsequent paper. Finally, we identify the fractal dimension of critical webs in the $q=-e^{i \pi/3}$ case, which is the n=3 analogue of the polymer limit in the loop model.

categories: cond-mat.stat-mech hep-th math-ph math.MP math.QA


title: Fast convergence of generalized forward-backward algorithms for structured monotone inclusions

abstract: In this paper, we develop rapidly convergent forward-backward algorithms for computing zeroes of the sum of finitely many maximally monotone operators. A modification of the classical forward-backward method for two general operators is first considered, by incorporating an inertial term (closed to the acceleration techniques introduced by Nesterov), a constant relaxation factor and a correction term. In a Hilbert space setting, we prove the weak convergence to equilibria of the iterates $(x_n)$, with worst-case rates of $ o(n^{-2})$ in terms of both the discrete velocity and the fixed point residual, instead of the classical rates of ${\cal O}(n^{-1})$ established so far for related algorithms. Our procedure is then adapted to more general monotone inclusions and a fast primal-dual algorithm is proposed for solving convex-concave saddle point problems.


title: Multiple species animal movements: network properties, disease dynamic and the impact of targeted control actions

abstract: Infectious diseases in livestock are well-known to infect multiple hosts and persist through the combination of within- and between-host transmission pathways. Uncertainty remains about the epidemic consequences of the disease being introduced on farms with more than one susceptible host. Here we describe multi-host contact networks to elucidate the potential of disease spread among farms with multiple species. Four years of between-farm animal movement data of bovine, swine, small ruminants, and multi-host, were described through both static and time-series networks; the in-going and out-going contact chains were also calculated. We use the proposed stochastic multilevel model to simulate scenarios in which infection was seeded into a single host and multi-hosts farms, to estimate epidemic trajectories and simulate network-based control actions to assess the reduction of secondarily infected farms. Our analysis showed that the swine network was more connected than cattle and small ruminants in the temporal network view. The small ruminants network was shown disconnected, however, allowing the interaction among networks with different hosts enabling the spread of disease throughout the network. Independently from the initial infected host, secondary infections were observed crossing overall species. We showed that targeting the top 3.25% of the farms ranked by degree could reduce the total number of infected farms below 70% at the end of the simulation period. In conclusion, we demonstrated the potential of the multi-host network in disease propagation, therefore, it becomes important to consider the observed multi-host movement dynamics while designing surveillance and preparedness control strategies.


title: Approximation of SPDE covariance operators by finite elements: A semigroup approach

abstract: The problem of approximating the covariance operator of the mild solution to a linear stochastic partial differential equation is considered. An integral equation involving the semigroup of the mild solution is derived and a general error decomposition is proven. This formula is applied to approximations of the covariance operator of a stochastic advection-diffusion equation and a stochastic wave equation, both on bounded domains. The approximations are based on finite element discretizations in space and rational approximations of the exponential function in time. Convergence rates are derived in the trace class and Hilbert--Schmidt norms with numerical simulations illustrating the results.


title: On the Convergence of Prior-Guided Zeroth-Order Optimization Algorithms

abstract: Zeroth-order (ZO) optimization is widely used to handle challenging tasks, such as query-based black-box adversarial attacks and reinforcement learning. Various attempts have been made to integrate prior information into the gradient estimation procedure based on finite differences, with promising empirical results. However, their convergence properties are not well understood. This paper makes an attempt to fill up this gap by analyzing the convergence of prior-guided ZO algorithms under a greedy descent framework with various gradient estimators. We provide a convergence guarantee for the prior-guided random gradient-free (PRGF) algorithms. Moreover, to further accelerate over greedy descent methods, we present a new accelerated random search (ARS) algorithm that incorporates prior information, together with a convergence analysis. Finally, our theoretical results are confirmed by experiments on several numerical benchmarks as well as adversarial attacks.


title: Training Electric Vehicle Charging Controllers with Imitation Learning

abstract: The problem of coordinating the charging of electric vehicles gains more importance as the number of such vehicles grows. In this paper, we develop a method for the training of controllers for the coordination of EV charging. In contrast to most existing works on this topic, we require the controllers to preserve the privacy of the users, therefore we do not allow any communication from the controller to any third party. In order to train the controllers, we use the idea of imitation learning -- we first find an optimum solution for a relaxed version of the problem using quadratic optimization and then train the controllers to imitate this solution. We also investigate the effects of regularization of the optimum solution on the performance of the controllers. The method is evaluated on realistic data and shows improved performance and training speed compared to similar controllers trained using evolutionary algorithms.


title: Modulus of continuity of the quantum $f$-entropy with respect to the trace distance

abstract: A well-known result due to Fannes is a certain upper bound on the modulus of continuity of the von Neumann entropy with respect to the trace distance between density matrices; this distance is the maximum probability of distinguishing between the corresponding quantum states. Much more recently, Audenaert obtained an exact expression of this modulus of continuity. In the present note, Audenaert's result is extended to a broad class of entropy functions indexed by arbitrary continuous convex functions $f$ in place of the Shannon--von Neumann function $x\mapsto x\log_2x$. The proof is based on the Schur majorization.


title: Fast radio bursts at the dawn of the 2020s

abstract: Since the discovery of the first fast radio burst (FRB) in 2007, and their confirmation as an abundant extragalactic population in 2013, the study of these sources has expanded at an incredible rate. In our 2019 review on the subject we presented a growing, but still mysterious, population of FRBs -- 60 unique sources, 2 repeating FRBs, and only 1 identified host galaxy. However, in only a few short years new observations and discoveries have given us a wealth of information about these sources. The total FRB population now stands at over 600 published sources, 24 repeaters, and 19 host galaxies. Higher time resolution data, sustained monitoring, and precision localisations have given us insight into repeaters, host galaxies, burst morphology, source activity, progenitor models, and the use of FRBs as cosmological probes. The recent detection of a bright FRB-like burst from the Galactic magnetar SGR~1935+2154 provides an important link between FRBs and magnetars. There also continue to be surprising discoveries, like periodic modulation of activity from repeaters and the localisation of one FRB source to a relatively nearby globular cluster associated with the M81 galaxy. In this review, we summarise the exciting observational results from the past few years. We also highlight their impact on our understanding of the FRB population and proposed progenitor models. We build on the introduction to FRBs in our earlier review, update our readers on recent results, and discuss interesting avenues for exploration as the field enters a new regime where hundreds to thousands of new FRBs will be discovered and reported each year.


title: Uniformly bounded fibred coarse embeddability and uniformly bounded a-T-menability

abstract: In this paper, we introduce the concept of uniformly bounded fibred coarse embeddability of metric spaces, generalizing the notion of fibred coarse embeddability defined by X. Chen, Q. Wang and G. Yu. Moreover, we show its relationship with uniformly bounded a-T-menability of groups. Finally, we give some examples to illustrate the differences between uniformly bounded fibred coarse embeddability and fibred coarse embeddability.


title: Variant-driven multi-wave pattern of COVID-19 via a Machine Learning analysis of spike protein mutations

abstract: Applying a ML approach to the temporal variability of the Spike protein sequence enables us to identify, classify and track emerging virus variants. Our analysis is unbiased, in the sense that it does not require any prior knowledge of the variant characteristics, and our results are validated by other informed methods that define variants based on the complete genome. Furthermore, correlating persistent variants of our approach to epidemiological data, we discover that each new wave of the COVID-19 pandemic is driven and dominated by a new emerging variant. Our results are therefore indispensable for further studies on the evolution of SARS-CoV-2 and the prediction of evolutionary patterns that determine current and future mutations of the Spike proteins, as well as their diversification and persistence during the viral spread. Moreover, our ML algorithm works as an efficient early warning system for the emergence of new persistent variants that may pose a threat of triggering a new wave of COVID-19. Capable of a timely identification of potential new epidemiological threats when the variant only represents 1% of the new sequences, our ML strategy is a crucial tool for decision makers to define short and long term strategies to curb future outbreaks. The same methodology can be applied to other viral diseases, influenza included, if sufficient sequencing data is available.


title: Robust propagating in-gap modes due to spin-orbit domain walls in graphene

abstract: Recently, great experimental efforts towards designing topological electronic states have been invested in layered incommensurate heterostructures which form various nano- and meso-scale domains. In particular, it has become clear that a delicate interplay of different spin-orbit terms is induced in graphene on transition metal dichalcogenide substrates. We therefore theoretically study various types of domain walls in spin-orbit coupling in graphene looking for robust one-dimensional propagating electronic states. To do so, we use an interface Chern number and a spectral flow analysis in the low-energy theory and contrast our results to the standard arguments based on valley-Chern numbers or Chern numbers in continuum models. Surprisingly, we find that a sign-changing domain wall in valley-Zeeman spin-orbit coupling binds two robust Kramers pairs, within the bulk gap opened due to a simultaneous presence of Rashba coupling. We also study the robustness to symmetry breaking and lattice backscattering effects in tight-binding models. We show an explicit mapping of our valley-Zeeman domain wall to a domain wall in gated spinless bilayer graphene. We discuss the possible spectroscopic and transport signatures of various types of spin-orbit coupling domain walls in heterostructures.


title: Convergence of the implicit MAC-discretized Navier--Stokes equations with variable density and viscosity on non-uniform grids

abstract: The present paper is focused on the proof of the convergence of the discrete implicit Marker-and-Cell (MAC) scheme for time-dependent Navier--Stokes equations with variable density and variable viscosity. The problem is completed with homogeneous Dirichlet boundary conditions and is discretized according to a non-uniform Cartesian grid. A priori-estimates on the unknowns are obtained, and along with a topological degree argument they lead to the existence of a solution of the discrete scheme at each time step. We conclude with the proof of the convergence of the scheme toward the continuous problem as mesh size and time step tend toward zero with the limit of the sequence of discrete solutions being a solution to the weak formulation of the problem.


title: Tracking the Transmission Dynamics of COVID-19 with a Time-Varying Coefficient State-Space Model

abstract: The spread of COVID-19 has been greatly impacted by regulatory policies and behavior patterns that vary across counties, states, and countries. Population-level dynamics of COVID-19 can generally be described using a set of ordinary differential equations, but these deterministic equations are insufficient for modeling the observed case rates, which can vary due to local testing and case reporting policies and non-homogeneous behavior among individuals. To assess the impact of population mobility on the spread of COVID-19, we have developed a novel Bayesian time-varying coefficient state-space model for infectious disease transmission. The foundation of this model is a time-varying coefficient compartment model to recapitulate the dynamics among susceptible, exposed, undetected infectious, detected infectious, undetected removed, detected non-infectious, detected recovered, and detected deceased individuals. The infectiousness and detection parameters are modeled to vary by time, and the infectiousness component in the model incorporates information on multiple sources of population mobility. Along with this compartment model, a multiplicative process model is introduced to allow for deviation from the deterministic dynamics. We apply this model to observed COVID-19 cases and deaths in several US states and Colorado counties. We find that population mobility measures are highly correlated with transmission rates and can explain complicated temporal variation in infectiousness in these regions. Additionally, the inferred connections between mobility and epidemiological parameters, varying across locations, have revealed the heterogeneous effects of different policies on the dynamics of COVID-19.


title: Truthful Information Elicitation from Hybrid Crowds

abstract: Suppose a decision maker wants to predict weather tomorrow by eliciting and aggregating information from crowd. How can the decision maker incentivize the crowds to report their information truthfully? Many truthful peer prediction mechanisms have been proposed for homogeneous agents, whose types are drawn from the same distribution. However, in many situations, the population is a hybrid crowd of different types of agents with different forms of information, and the decision maker has neither the identity of any individual nor the proportion of each types of agents in the crowd. Ignoring the heterogeneity among the agent may lead to inefficient of biased information, which would in turn lead to suboptimal decisions. In this paper, we propose the first framework for information elicitation from hybrid crowds, and two mechanisms to motivate agents to report their information truthfully. The first mechanism combines two mechanisms via linear transformations and the second is based on mutual information. With two mechanisms, the decision maker can collect high quality information from hybrid crowds, and learns the expertise of agents.


title: Spherically symmetric black holes and affine-null metric formulation of Einstein's equations

abstract: The definition of well-behaved coordinate charts for black hole spacetimes can be tricky, as they can lead for example to either unphysical coordinate singularities in the metric (e.g. $r=2M$ in the Schwarzschild black hole) or to an implicit dependence of the chosen coordinate to physical relevant coordinates (e.g. the dependence of the null coordinates in the Kruskal metric). Here we discuss two approaches for coordinate choices in spherical symmetry allowing us to discuss explicitly "solitary" and spherically symmetric black holes from a regular horizon to null infinity. The first approach relies on a construction of a regular null coordinate (where regular is meant as being defined from the horizon to null infinity) given an explicit solution of the Einstein-matter equations. The second approach is based on an affine-null formulation of the Einstein equations and the respective characteristic initial value problem. In particular, we present a derivation of the Reissner-Nordstr\"om black holes expressed in terms of these regular coordinates.


title: Peer Selection with Noisy Assessments

abstract: In the peer selection problem a group of agents must select a subset of themselves as winners for, e.g., peer-reviewed grants or prizes. Here, we take a Condorcet view of this aggregation problem, i.e., that there is a ground-truth ordering over the agents and we wish to select the best set of agents, subject to the noisy assessments of the peers. Given this model, some agents may be unreliable, while others might be self-interested, attempting to influence the outcome in their favour. In this paper we extend PeerNomination, the most accurate peer reviewing algorithm to date, into WeightedPeerNomination, which is able to handle noisy and inaccurate agents. To do this, we explicitly formulate assessors' reliability weights in a way that does not violate strategyproofness, and use this information to reweight their scores. We show analytically that a weighting scheme can improve the overall accuracy of the selection significantly. Finally, we implement several instances of reweighting methods and show empirically that our methods are robust in the face of noisy assessments.


title: Higher-order topological quantum paramagnets

abstract: Quantum paramagnets are strongly-correlated phases of matter where competing interactions frustrate magnetic order down to zero temperature. In certain cases, quantum fluctuations induce instead topological order, supporting, in particular, fractionalized quasi-particle excitations. In this work, we investigate paradigmatic spin models and show how magnetic frustration can also give rise to higher-order topological properties. We first study the frustrated Heisenberg model in a square lattice, where a plaquette valence bond solid appears through the spontaneous breaking of translational invariance. Despite the amount of effort that has been devoted to study this phase, its topological nature has so far been overlooked. By means of tensor network simulations, we establish how such state belongs to a higher-order symmetry-protected topological phase, where long-range plaquette order and non-trivial topology coexist. This interplay allows the system to support excitations that would be absent otherwise, such as corner-like states in the bulk attached to dynamical topological defects. Finally, we demonstrate how this higher-order topological quantum paramagnet can also be induced by dipolar interactions, indicating the possibility to directly observe this phase using atomic quantum simulators.


title: Convergence rates for the Heavy-Ball continuous dynamics for non-convex optimization, under Polyak-\L ojasiewicz condition

abstract: We study convergence of the trajectories of the Heavy Ball dynamical system, with constant damping coefficient, in the framework of convex and non-convex smooth optimization. By using the Polyak-{\L}ojasiewicz condition, we derive new linear convergence rates for the associated trajectory, in terms of objective function values, without assuming uniqueness of the minimizer.


title: HiPERCAM: a quintuple-beam, high-speed optical imager on the 10.4-m Gran Telescopio Canarias

abstract: HiPERCAM is a portable, quintuple-beam optical imager that saw first light on the 10.4-m Gran Telescopio Canarias (GTC) in 2018. The instrument uses re-imaging optics and 4 dichroic beamsplitters to record $u_s g_s r_s i_s z_s$ ($320-1060$ nm) images simultaneously on its five CCD cameras, each of 3.1 arcmin (diagonal) field of view. The detectors in HiPERCAM are frame-transfer devices cooled thermo-electrically to 183 K, thereby allowing both long-exposure, deep imaging of faint targets, as well as high-speed (over 1000 windowed frames per second) imaging of rapidly varying targets. A comparison-star pick-off system in the telescope focal plane increases the effective field of view to 6.7 arcmin for differential photometry. Combining HiPERCAM with the world's largest optical telescope enables the detection of astronomical sources to $g_s \sim 23$ in 1 s and $g_s \sim 28$ in 1 h. In this paper we describe the scientific motivation behind HiPERCAM, present its design, report on its measured performance, and outline some planned enhancements.


title: A variational approximate posterior for the deep Wishart process

abstract: Recent work introduced deep kernel processes as an entirely kernel-based alternative to NNs (Aitchison et al. 2020). Deep kernel processes flexibly learn good top-layer representations by alternately sampling the kernel from a distribution over positive semi-definite matrices and performing nonlinear transformations. A particular deep kernel process, the deep Wishart process (DWP), is of particular interest because its prior can be made equivalent to deep Gaussian process (DGP) priors for kernels that can be expressed entirely in terms of Gram matrices. However, inference in DWPs has not yet been possible due to the lack of sufficiently flexible distributions over positive semi-definite matrices. Here, we give a novel approach to obtaining flexible distributions over positive semi-definite matrices by generalising the Bartlett decomposition of the Wishart probability density. We use this new distribution to develop an approximate posterior for the DWP that includes dependency across layers. We develop a doubly-stochastic inducing-point inference scheme for the DWP and show experimentally that inference in the DWP can improve performance over doing inference in a DGP with the equivalent prior.


title: Prediction of protected band edge states and dielectric tunable quasiparticle and excitonic properties of monolayer MoSi$_2$N$_4$

abstract: The electronic structure of two-dimensional (2D) materials are inherently prone to environmental perturbations, which may pose significant challenges to their applications in electronic or optoelectronic devices. A 2D material couples with its environment through two mechanisms: local chemical coupling and nonlocal dielectric screening effects. The local chemical coupling is often difficult to predict or control experimentally. Nonlocal dielectric screening, on the other hand, can be tuned by choosing the substrates or layer thickness in a controllable manner. Therefore, a compelling 2D electronic material should offer band edge states that are robust against local chemical coupling effects. Here it is demonstrated that the recently synthesized MoSi$_2$N$_4$ is an ideal 2D semiconductor with robust band edge states protected from capricious environmental chemical coupling effects. Detailed many-body perturbation theory calculations are carried out to illustrate how the band edge states of MoSi$_2$N$_4$ are shielded from the direct chemical coupling effects, but its quasiparticle and excitonic properties can be modulated through the nonlocal dielectric screening effects. This unique property, together with the moderate band gap and the thermodynamic and mechanical stability of this material, paves the way for a range of applications of MoSi$_2$N$_4$ in areas including energy, 2D electronics, and optoelectronics.


title: Extracting Governing Laws from Sample Path Data of Non-Gaussian Stochastic Dynamical Systems

abstract: Advances in data science are leading to new progresses in the analysis and understanding of complex dynamics for systems with experimental and observational data. With numerous physical phenomena exhibiting bursting, flights, hopping, and intermittent features, stochastic differential equations with non-Gaussian L\'evy noise are suitable to model these systems. Thus it is desirable and essential to infer such equations from available data to reasonably predict dynamical behaviors. In this work, we consider a data-driven method to extract stochastic dynamical systems with non-Gaussian asymmetric (rather than the symmetric) L\'evy process, as well as Gaussian Brownian motion. We establish a theoretical framework and design a numerical algorithm to compute the asymmetric L\'evy jump measure, drift and diffusion (i.e., nonlocal Kramers-Moyal formulas), hence obtaining the stochastic governing law, from noisy data. Numerical experiments on several prototypical examples confirm the efficacy and accuracy of this method. This method will become an effective tool in discovering the governing laws from available data sets and in understanding the mechanisms underlying complex random phenomena.


title: The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete

abstract: A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W. Schwabh\"auser and L. Szczerba showed that perpendicularity together with the ternary relation of co-punctuality are sufficient for dimension two, i.e. they may be used as a system of primitive relations for elementary plane Euclidean geometry. In this paper we give a complete axiomatization for the fragment of elementary plane Euclidean geometry based on perpendicularity alone. We show that this theory is not finitely axiomatizable, it is decidable and the complexity is PSPACE-complete. In contrast the complexity of elementary plane Euclidean geometry is exponential.


title: Carroll limit of four-dimensional gravity theories in the first order formalism

abstract: We explore the ultra-relativistic limit of a class of four dimensional gravity theories, known as Lovelock-Cartan gravities, in the first order formalism. First, we review the well known limit of the Einstein-Hilbert action. A very useful scale symmetry involving the vierbeins and the boost connection is presented. Moreover, we explore the field equations in order to find formal solutions. Some remarkable results are obtained: Riemann and Weitzenb\"ock like manifolds are discussed; Birkhoff's theorem is verified for the torsionless case; an explicit solution with non-trivial geometry is discussed; A quite general solution in the presence of matter is obtained. Latter, we consider the ultra-relativistic limit of the more general Lovelock-Cartan gravity. The previously scale symmetry is also discussed. The field equations are studied in vacuum and in the presence of matter. In comparison with the Einstein-Hilbert case, a few relevant results are found: Birkhoff's theorem is also verified for the torsionless case; A quite general solution in the presence of matter is obtained. This solution generalizes the previous case; Riemann and Weitzenb\"ock like manifolds are derived in the same lines of the Einstein-Hilbert case.


title: Worldline description of a bi-adjoint scalar and the zeroth copy

abstract: Bi-adjoint scalars are helpful in studying properties of color/kinematics duality and the double copy, which relates scattering amplitudes of gauge and gravity theories. Here we study bi-adjoint scalars from a worldline perspective. We show how a global $G \times \tilde G$ symmetry group may be realized by worldline degrees of freedom. The worldline action gives rise to vertex operators, which are compared to similar ones describing the coupling to gauge fields and gravity, thus exposing the color/kinematics interplay in this framework. The action is quantized by path integrals to find a worldline representation of the one-loop QFT effective action of the bi-adjoint scalar cubic theory. As simple applications, we recover the one-loop beta function of the theory in six dimensions, verifying its vanishing, and compute the self-energy correction to the propagator. The model is easily extendable to that of a particle carrying an arbitrary representation of direct products of global symmetry groups, including the multi-adjoint particle, whose one-loop beta function we reproduce as well.


title: Variants of a multiplier theorem of Kislyakov

abstract: We prove stronger variants of a multiplier theorem of Kislyakov. The key ingredients are based on ideas of Kislaykov and the Kahane-Salem-Zygmund inequality. As a by-product we show various multiplier theorems for spaces of trigonometric polynomials on the $n$-dimensional torus $\mathbb{T}^n$ or Boolean cubes $\{-1,1\}^N$. Our more abstract approach based on local Banach space theory has the advantage that it allows to consider more general compact abelian groups instead of only the multidimensional torus. As an application we show that various recent $\ell_1$-multiplier theorems for trigonometric polynomials in several variables or ordinary Dirichlet series may be proved without the Kahane-Salem-Zygmund inequality.


title: Edge modes for flexural waves in quasi-periodic linear arrays of scatterers

abstract: We present a multiple scattering analysis of robust interface states for flexural waves in thin elastic plates. We show that finite clusters of linear arrays of scatterers built on a quasi-periodic arrangement support bounded modes in the two-dimensional space of the plate. The spectrum of these modes plotted against the modulation defining the quasi-periodicity has the shape of a Hofstadter butterfly, which previous works suggest that might support topologically protected modes. Some interface states appear inside the gaps of the butterfly, which are enhanced when one linear cluster is merged with its mirror reflected version. The robustness of these modes is verified by numerical experiments in which different degrees of disorder are introduced in the scatterers, showing that neither the frequency nor the shape of the modes is altered. Since the modes are at the interface between two one-dimensional arrays of scatterers deposited on a two-dimensional space, these modes are not fully surrounded by bulk gaped materials, so that they are more suitable for their excitation by propagating waves. The generality of these results goes beyond flexural waves, since similar results are expected for acoustic or electromagnetic waves.


title: HUAP: Practical Attribute-based Access Control Supporting Hidden Updatable Access Policies for Resource-Constrained Devices

abstract: Attribute-based encryption (ABE) is a promising cryptographic mechanism for providing confidentiality and fine-grained access control in the cloud-based area. However, due to high computational overhead, common ABE schemes are not suitable for resource-constrained devices. Moreover, data owners should be able to update their defined access policies efficiently, and in some cases, applying hidden access policies is required to preserve the privacy of clients and data. In this paper, we propose a ciphertext-policy attribute-based access control scheme which for the first time provides online/offline encryption, hidden access policy, and access policy update simultaneously. In our scheme, resource-constrained devices are equipped with online/offline encryption reducing the encryption overhead significantly. Furthermore, attributes of access policies are hidden such that the attribute sets satisfying an access policy cannot be guessed by other parties. Moreover, data owners can update their defined access policies while outsourcing a major part of the updating process to the cloud service provider. In particular, we introduce blind access policies that enable the cloud service provider to update the data owners' access policies without receiving a new re-encryption key. Besides, our scheme supports fast decryption such that the decryption algorithm consists of a constant number of bilinear pairing operations. The proposed scheme is proven to be secure in the random oracle model and under the hardness of Decisional Bilinear Diffie-Hellman (DBDH) and Decision Linear (D-Linear) assumptions. Also, performance analysis results demonstrate that the proposed scheme is efficient and practical.


title: A multi-type branching process method for modelling complex contagion on clustered networks

abstract: Complex contagion adoption dynamics are characterised by a node being more likely to adopt after multiple network neighbours have adopted. We show how to construct multi-type branching processes to approximate complex contagion adoption dynamics on networks with clique-based clustering. This involves tracking the evolution of a cascade via different classes of clique motifs that account for the different numbers of active, inactive and removed nodes. This discrete-time model assumes that active nodes become immediately and certainly removed in the next time step. This description allows for extensive Monte Carlo simulations (which are faster than network-based simulations), accurate analytical calculation of cascade sizes, determination of critical behaviour and other quantities of interest.


title: Global Outliers Detection in Wireless Sensor Networks: A Novel Approach Integrating Time-Series Analysis, Entropy, and Random Forest-based Classification

abstract: Wireless Sensor Networks (WSNs) have recently attracted greater attention worldwide due to their practicality in monitoring, communicating, and reporting specific physical phenomena. The data collected by WSNs is often inaccurate as a result of unavoidable environmental factors, which may include noise, signal weakness, or intrusion attacks depending on the specific situation. Sending high-noise data has negative effects not just on data accuracy and network reliability, but also regarding the decision-making processes in the base station. Anomaly detection, or outlier detection, is the process of detecting noisy data amidst the contexts thus described. The literature contains relatively few noise detection techniques in the context of WSNs, particularly for outlier-detection algorithms applying time series analysis, which considers the effective neighbors to ensure a global-collaborative detection. Hence, the research presented in this paper is intended to design and implement a global outlier-detection approach, which allows us to find and select appropriate neighbors to ensure an adaptive collaborative detection based on time-series analysis and entropy techniques. The proposed approach applies a random forest algorithm for identifying the best results. To measure the effectiveness and efficiency of the proposed approach, a comprehensive and real scenario provided by the Intel Berkeley Research lab has been simulated. Noisy data have been injected into the collected data randomly. The results obtained from the experiment then conducted experimentation demonstrate that our approach can detect anomalies with up to 99% accuracy.


title: Experimental demonstrations of coherence de Broglie waves using sub-Poisson distributed coherent photon pairs

abstract: Recently, a new interpretation of quantum mechanics has been developed for the wave nature of a photon, where determinacy in quantum correlations becomes an inherent property without the violation of quantum mechanics. Here, we experimentally demonstrate a direct proof of the wave natures of quantum correlation for the so-called coherence de Broglie waves (CBWs) using sub-Poisson distributed coherent photon pairs obtained from an attenuated laser. The observed experimental data coincides with the analytic solutions and the numerical calculations. Thus, the CBWs pave a road toward deterministic and macroscopic quantum technologies for such as quantum metrology, quantum sensing, and even quantum communications, that are otherwise heavily limited due to the microscopic non-determinacy of the particle nature-based quantum mechanics.


title: Improved Text Classification via Contrastive Adversarial Training

abstract: We propose a simple and general method to regularize the fine-tuning of Transformer-based encoders for text classification tasks. Specifically, during fine-tuning we generate adversarial examples by perturbing the word embeddings of the model and perform contrastive learning on clean and adversarial examples in order to teach the model to learn noise-invariant representations. By training on both clean and adversarial examples along with the additional contrastive objective, we observe consistent improvement over standard fine-tuning on clean examples. On several GLUE benchmark tasks, our fine-tuned BERT Large model outperforms BERT Large baseline by 1.7% on average, and our fine-tuned RoBERTa Large improves over RoBERTa Large baseline by 1.3%. We additionally validate our method in different domains using three intent classification datasets, where our fine-tuned RoBERTa Large outperforms RoBERTa Large baseline by 1-2% on average.


title: Secure Random Sampling in Differential Privacy

abstract: Differential privacy is among the most prominent techniques for preserving privacy of sensitive data, oweing to its robust mathematical guarantees and general applicability to a vast array of computations on data, including statistical analysis and machine learning. Previous work demonstrated that concrete implementations of differential privacy mechanisms are vulnerable to statistical attacks. This vulnerability is caused by the approximation of real values to floating point numbers. This paper presents a practical solution to the finite-precision floating point vulnerability, where the inverse transform sampling of the Laplace distribution can itself be inverted, thus enabling an attack where the original value can be retrieved with non-negligible advantage. The proposed solution has the advantages of being generalisable to any infinitely divisible probability distribution, and of simple implementation in modern architectures. Finally, the solution has been designed to make side channel attack infeasible, because of inherently exponential, in the size of the domain, brute force attacks.


title: Generative Models for Security: Attacks, Defenses, and Opportunities

abstract: Generative models learn the distribution of data from a sample dataset and can then generate new data instances. Recent advances in deep learning has brought forth improvements in generative model architectures, and some state-of-the-art models can (in some cases) produce outputs realistic enough to fool humans. We survey recent research at the intersection of security and privacy and generative models. In particular, we discuss the use of generative models in adversarial machine learning, in helping automate or enhance existing attacks, and as building blocks for defenses in contexts such as intrusion detection, biometrics spoofing, and malware obfuscation. We also describe the use of generative models in diverse applications such as fairness in machine learning, privacy-preserving data synthesis, and steganography. Finally, we discuss new threats due to generative models: the creation of synthetic media such as deepfakes that can be used for disinformation.


title: AUGCO: Augmentation Consistency-guided Self-training for Source-free Domain Adaptive Semantic Segmentation

abstract: Most modern approaches for domain adaptive semantic segmentation rely on continued access to source data during adaptation, which may be infeasible due to computational or privacy constraints. We focus on source-free domain adaptation for semantic segmentation, wherein a source model must adapt itself to a new target domain given only unlabeled target data. We propose Augmentation Consistency-guided Self-training (AUGCO), a source-free adaptation algorithm that uses the model's pixel-level predictive consistency across diverse, automatically generated views of each target image along with model confidence to identify reliable pixel predictions, and selectively self-trains on those. AUGCO achieves state-of-the-art results for source-free adaptation on 3 standard benchmarks for semantic segmentation, all within a simple to implement and fast to converge method.


title: Engineering interfacial quantum states and electronic landscapes by molecular nanoarchitectures

abstract: Surfaces are at the frontier of every known solid. They provide versatile supports for functional nanostructures and mediate essential physicochemical processes. Being intimately related with 2D materials, interfaces and atomically thin films often feature distinct electronic states with respect to the bulk, which are key for many relevant properties, such as catalytic activity, interfacial charge-transfer, or crystal growth mechanisms. Of particular interest is reducing the surface electrons' dimensionality and spread with atomic precision, to induce novel quantum properties via lateral scattering and confinement. Both atomic manipulation and supramolecular principles provide access to custom-designed molecular superlattices, which tailor the surface electronic landscape and influence fundamental chemical and physical properties at the nanoscale. Herein, we review the confinement of surface state electrons focusing on their interaction with molecule-based scaffolds created by molecular manipulation and self-assembly protocols under ultrahigh vacuum conditions. Starting from the quasi-free 2D electron gas present at the (111)-terminated surface planes of noble metals, we illustrate the enhanced molecule-based structural complexity and versatility compared to simple atoms. We survey low-dimensional confining structures in the form of artificial lattices, molecular nanogratings or quantum dot arrays, which are constructed upon appropriate choice of their building constituents. Whenever the realized (metal-)organic networks exhibit long-range order, modified surface band structures with characteristic features emerge, revealing intriguing physical properties, such as discretization, quantum coupling or energy and effective mass renormalization. Such collective electronic states can be additionally modified by positioning guest species at the voids of open nanoarchitectures [...].

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph quant-ph


title: Minimizing Total Completion Time in Multiprocessor Job Systems with Energy Constraint

abstract: We consider the problem of scheduling multiprocessor jobs to minimize the total completion time under the given energy budget. Each multiprocessor job requires more than one processor at the same moment of time. Processors may operate at variable speeds. Running a job at a slower speed is more energy efficient, however it takes longer time and affects the performance. The complexity of both parallel and dedicated versions of the problem is investigated. We propose approximation algorithms for various particular cases. In our algorithms, initially a sequence of jobs and their processing times are calculated and then a feasible solution is constructed using list-type scheduling rule.


title: On the Memorization Properties of Contrastive Learning

abstract: Memorization studies of deep neural networks (DNNs) help to understand what patterns and how do DNNs learn, and motivate improvements to DNN training approaches. In this work, we investigate the memorization properties of SimCLR, a widely used contrastive self-supervised learning approach, and compare them to the memorization of supervised learning and random labels training. We find that both training objects and augmentations may have different complexity in the sense of how SimCLR learns them. Moreover, we show that SimCLR is similar to random labels training in terms of the distribution of training objects complexity.


title: Zak's Phase in Non-Symmetric One-Dimensional Crystals

abstract: In this work, we derive some analytical properties of Berry's phase in one-dimensional quantum and classical crystals, also named Zak's phase, when computed with a Fourier basis. We show that Zak's phase can be divided in two terms: a global phase required to make the Bloch wave periodic in the Brillouin zone and an internal phase which measures the relative delay of the different Fourier terms within the Brillouin zone. While the former phase is dependent on the origin of coordinates of the unit cell, the latter is independent of it, so that it can be interpreted as an internal property of the band itself. We show that this internal phase is always zero for a symmetric crystal while it can take any value when this symmetry is broken, showing therefore that it can be interpreted as a measure of the assymetry of the band. Since for a symmetric crystal Zak's phase is entirely determined by the global part, we show that this can be easily calculated by means of the parity of the Fourier terms at the center and edge of the Brillouin zone, being therefore unnecessary the integration of the modes through the unit cell and the entire Brillouin zone. We provide numerical examples analyzing the internal part for both electronic and classical waves (acoustic or photonic). We analyze the weakest electronic potential capable of presenting asymmetry, as well as the double-Dirac delta potential, and in both examples it is found that the internal phase varies continuously as a function of a symmetry-control parameter, but it is zero when the crystal is symmetric. For classical waves, the layered material is analyzed. Although Zak's phase has been mainly studied in connection with the existence of edge states in finite crystals, we consider that the study of the internal phase can be more relevant to understand bulk properties of quantum and classical crystals.


title: Riesz summability on boundary lines of holomorphic functions generated by Dirichlet series

abstract: A particular consequence of the famous Carleson-Hunt theorem is that the Taylor series expansions of bounded holomorphic functions on the open unit disk converge almost everywhere on the boundary, whereas on single points the convergence may fail. In contrast, Bayart, Konyagin, and Queff\'elec constructed an example of an ordinary Dirichlet series $\sum a_n n^{-s}$, which on the open right half-plane $[Re >0]$ converges pointwise to a bounded, holomorphic function -- but diverges at each point of the imaginary line, although its limit function extends continuously to the closed right half plane. Inspired by a result of M.~Riesz, we study the boundary behavior of holomorphic functions $f$ on the right half-plane which for some $\ell \ge 0$ satisfy the growth condition $|f(s)| = O((1 + |s|)^\ell)$ and are generated by some Riesz germ, i.e., there is a frequency $\lambda = (\lambda_n)$ and a $\lambda$-Dirichlet series $\sum a_n e^{-\lambda_n s}$ such that on some open subset of $[Re >0]$ and for some $m \ge 0$ the function $f$ coincides with the pointwise limit (as $x \to \infty$) of so-called $(\lambda,m)$-Riesz means $\sum_{\lambda_n < x} a_n e^{-\lambda_n s}\big( 1-\frac{\lambda_n}{x}\big)^m ,\,x >0\,.$ Our main results present criteria for pointwise and uniform Riesz summability of such functions on the boundary line $[Re =0]$, which includes conditions that are motivated by classics like the Dini-test or the principle of localization.


title: A Deep Reinforcement Learning Approach for Fair Traffic Signal Control

abstract: Traffic signal control is one of the most effective methods of traffic management in urban areas. In recent years, traffic control methods based on deep reinforcement learning (DRL) have gained attention due to their ability to exploit real-time traffic data, which is often poorly used by the traditional hand-crafted methods. While most recent DRL-based methods have focused on maximizing the throughput or minimizing the average travel time of the vehicles, the fairness of the traffic signal controllers has often been neglected. This is particularly important as neglecting fairness can lead to situations where some vehicles experience extreme waiting times, or where the throughput of a particular traffic flow is highly impacted by the fluctuations of another conflicting flow at the intersection. In order to address these issues, we introduce two notions of fairness: delay-based and throughput-based fairness, which correspond to the two issues mentioned above. Furthermore, we propose two DRL-based traffic signal control methods for implementing these fairness notions, that can achieve a high throughput as well. We evaluate the performance of our proposed methods using three traffic arrival distributions, and find that our methods outperform the baselines in the tested scenarios.


title: Trojan Awakener: Detecting Dormant Malicious Hardware Using Laser Logic State Imaging (Extended Version)

abstract: The threat of hardware Trojans (HTs) and their detection is a widely studied field. While the effort for inserting a Trojan into an application-specific integrated circuit (ASIC) can be considered relatively high, especially when trusting the chip manufacturer, programmable hardware is vulnerable to Trojan insertion even after the product has been shipped or during usage. At the same time, detecting dormant HTs with small or zero-overhead triggers and payloads on these platforms is still a challenging task, as the Trojan might not get activated during the chip verification using logical testing or physical measurements. In this work, we present a novel Trojan detection approach based on a technique known from integrated circuit (IC) failure analysis, capable of detecting virtually all classes of dormant Trojans. Using laser logic state imaging (LLSI), we show how supply voltage modulations can awaken inactive Trojans, making them detectable using laser voltage imaging techniques. Therefore, our technique does not require triggering the Trojan. To support our claims, we present three case studies on 28 and 20 SRAM- and flash-based field-programmable gate arrays (FPGAs). We demonstrate how to detect with high confidence small changes in sequential and combinatorial logic as well as in the routing configuration of FPGAs in a non-invasive manner. Finally, we discuss the practical applicability of our approach on dormant analog Trojans in ASICs.


title: Modeling and Decoupling Systemic Risk

abstract: Identifying systemic risk patterns in geopolitical, economic, financial, environmental, transportation, epidemiological systems and their impacts is the key to risk management. This paper proposes a new nonlinear time series model: autoregressive conditional accelerated Fr\'echet (AcAF) model and introduces two new endopathic and exopathic competing risk measures for better learning risk patterns, decoupling systemic risk, and making better risk management. The paper establishes the probabilistic properties of stationarity and ergodicity of the AcAF model. Simulation demonstrates the efficiency of the proposed estimators and the AcAF model's flexibility in modeling heterogeneous data. Empirical studies on the stock returns in S&P 500 and the cryptocurrency trading show the superior performance of the proposed model in terms of the identified risk patterns, endopathic and exopathic competing risks, being informative with greater interpretability, enhancing the understanding of the systemic risks of a market and their causes, and making better risk management possible.


title: A Note on The Global Dimension of Shifted Orders

abstract: We consider dominant dimension of an order over a Cohen-Macaulay ring in the category of centrally Cohen-Macaulay modules. There is a canonical tilting module in the case of positive dominant dimension and we give an upper bound on the global dimension of its endomorphism ring.


title: Contracting T^2 symmetry local existence for Einstein-Vlasov-Scalar field system

abstract: The evolution of self-gravitating collision-less matter and scalar waves within the general relativity context is described by Einstein and Vlasov equations. The sources of Einstein equations are generated by a distribution function and a scalar field, respectively subject to the Vlasov and wave equations. We prove in contracting T^2 symmetry case, a local in time existence of solutions.


title: Controlling the Remixing of Separated Dialogue with a Non-Intrusive Quality Estimate

abstract: Remixing separated audio sources trades off interferer attenuation against the amount of audible deteriorations. This paper proposes a non-intrusive audio quality estimation method for controlling this trade-off in a signal-adaptive manner. The recently proposed 2f-model is adopted as the underlying quality measure, since it has been shown to correlate strongly with basic audio quality in source separation. An alternative operation mode of the measure is proposed, more appropriate when considering material with long inactive periods of the target source. The 2f-model requires the reference target source as an input, but this is not available in many applications. Deep neural networks (DNNs) are trained to estimate the 2f-model intrusively using the reference target (iDNN2f), non-intrusively using the input mix as reference (nDNN2f), and reference-free using only the separated output signal (rDNN2f). It is shown that iDNN2f achieves very strong correlation with the original measure on the test data (Pearson r=0.99), while performance decreases for nDNN2f (r>=0.91) and rDNN2f (r>=0.82). The non-intrusive estimate nDNN2f is mapped to select item-dependent remixing gains with the aim of maximizing the interferer attenuation under a constraint on the minimum quality of the remixed output (e.g., audible but not annoying deteriorations). A listening test shows that this is successfully achieved even with very different selected gains (up to 23 dB difference).


title: A self-dual complete resolution

abstract: We construct a self-dual complete resolution of a module defined by a pair of embedded complete intersection ideals in a local ring. Our construction is based on a gluing construction of Herzog and Martsinkovsky and exploits the structure of Koszul homology in the embedded complete intersection case. As a consequence of our construction, we produce an isomorphism between certain stable homology and cohomology modules.


title: Holomorphic functions of finite order generated by Dirichlet series

abstract: Given a frequency $\lambda = (\lambda_n)$ and $\ell \ge 0$, we introduce the scale of Banach spaces $H_{\infty,\ell}^{\lambda}[Re > 0]$ of holomorphic functions $f$ on the open right half-plane $[Re > 0]$, which satisfy $(A)$ the growth condition $|f(s)| = O((1 + |s|)^\ell)$, and $(B)$ have a Riesz germ, i.e. on some open subset and for some $m \ge 0$ the function $f$ coincides with the pointwise limit (as $x \to \infty$) of the so-called $(\lambda,m)$-Riesz means $\sum_{\lambda_n < x} a_n e^{-\lambda_n s}\big( 1-\frac{\lambda_n}{x}\big)^m ,\,x >0$ of some $\lambda$-Dirichlet series $\sum a_n e^{-\lambda_n s}$. Reformulated in our terminology, an important result of M. Riesz shows that in this case the function $f$ for every $k >\ell$ is the pointwise limit of the $(\lambda,k)$-Riesz means of $D$ on $[Re > 0]$. Our main contribution is an extension -- showing that 'after translation' every bounded set in $H_{\infty,\ell}^{\lambda}[Re > 0]$ is uniformly approximable by all its $(\lambda,k)$-Riesz means of order $k>\ell$. This follows from an appropriate maximal theorem, which in fact turns out to be at the very heart of a seemingly interesting structure theory of the Banach spaces $H_{\infty,\ell}^{\lambda}[Re > 0]$. One of the many consequences is that $H_{\infty,\ell}^{\lambda}[Re > 0]$ basically consists of those holomorphic functions on $[Re >0]$, which have a Riesz germ and are of finite uniform order $\ell$ on $[Re >0]$. To establish all this and more, we need to reorganize (and to improve) various aspects and keystones of the classical theory of Riesz summability of general Dirichlet series as invented by Hardy and M. Riesz.


title: Predicting trajectory behaviour via machine-learned invariant manifolds

abstract: In this paper, we use support vector machines (SVM) to develop a machine learning framework to discover phase space structures that distinguish between distinct reaction pathways. The SVM model is trained using data from trajectories of Hamilton's equations and works well even with relatively few trajectories. Moreover, this framework is specifically designed to require minimal a priori knowledge of the dynamics in a system. This makes our approach computationally better suited than existing methods for high-dimensional systems and systems where integrating trajectories is expensive. We benchmark our approach on Chesnavich's CH$_4^+$ Hamiltonian.


title: Eigensolution analysis of immersed boundary method based on volume penalization: applications to high-order schemes

abstract: This paper presents eigensolution and non-modal analyses for immersed boundary methods (IBMs) based on volume penalization for the linear advection equation. This approach is used to analyze the behavior of flux reconstruction (FR) discretization, including the influence of polynomial order and penalization parameter on numerical errors and stability. Through a semi-discrete analysis, we find that the inclusion of IBM adds additional dissipation without changing significantly the dispersion of the original numerical discretization. This agrees with the physical intuition that in this type of approach, the solid wall is modelled as a porous medium with vanishing viscosity. From a stability point view, the selection of penalty parameter can be analyzed based on a fully-discrete analysis, which leads to practical guidelines on the selection of penalization parameter. Numerical experiments indicate that the penalization term needs to be increased to damp oscillations inside the solid (i.e. porous region), which leads to undesirable time step restrictions. As an alternative, we propose to include a second-order term in the solid for the no-slip wall boundary condition. Results show that by adding a second-order term we improve the overall accuracy with relaxed time step restriction. This indicates that the optimal value of the penalization parameter and the second-order damping can be carefully chosen to obtain a more accurate scheme. Finally, the approximated relationship between these two parameters is obtained and used as a guideline to select the optimum penalty terms in a Navier-Stokes solver, to simulate flow past a cylinder.


title: Spin orbit torque switching of antiferromagnet through the Neel reorientation in rare-earth ferrite

abstract: We suggest coherent switching of canted antiferromagnetic (AFM) spins using spin-orbit torque (SOT) in small magnet. The magnetic system of orthoferrite features biaxial easy anisotropy and the Dzyaloshinskii Moriya interaction, which is perpendicular to the easy axes and therefore creates weak magnetization (m). A damping-like component of the SOT induces N\'eel reorientation along one of the easy axes and then exerts torque on m, leading to tilting of the N\'eel order l. The torque on the magnetization becomes stronger due to coupling with the induced Oersted field or the field-like component of the SOT, enhancing the tilting of l. Therefore, l is found to experience deterministic switching after the SOT is turned off. Based upon both numerical and analytical analysis of the coherent switching, XOR logic gates are also found to be implemented in a single magnetic layer. In addition, we investigate how magnetic parameters affect the critical reorientation angle and current density in a simple layered structure of platinum and a canted AFM. Our findings are expected to provide an alternative spin-switching mechanism for ultrafast applications such as spin logic and electronic devices.


title: Minimal seeds for turbulent bands

abstract: In this work, nonlinear variational optimization is used for obtaining minimal seeds for the formation of turbulent bands in channel flow. Using nonlinear optimization together with energy bisection, we have found that the minimal energy threshold for obtaining spatially-patterned turbulence scales with $Re^{-8.5}$ for $Re>1000$. The minimal seed is constituted by a localized spot-like structure surrounded by a low-amplitude large-scale quadrupolar structure filling the whole domain. This minimal-energy perturbation of the laminar flow has dominant wavenumbers equal to $0.15$ and $4$ in the streamwise and spanwise directions, respectively, and is characterized by a more marked spatial localization when the Reynolds number increases. At $Re \lesssim 1200$, the minimal seed evolves in time creating an isolated oblique band. Whereas, for $Re\gtrsim 1200$, an almost spanwise-symmetric evolution is observed, giving rise to two distinct bands. A similar evolution is found also at low $Re$ for non-minimal optimal perturbations. This highlights two different mechanisms of formation of turbulent bands in channel flow, depending on the Reynolds number and initial energy of the perturbation. The selection of one of these two mechanisms appears to be affected by the probability of decay of the newly-created stripe, which increases with time, but decreases with the Reynolds number.


title: Optimal Reaction Coordinates: Variational Characterization and Sparse Computation

abstract: Reaction Coordinates (RCs) are indicators of hidden, low-dimensional mechanisms that govern the long-term behavior of high-dimensional stochastic processes. We present a novel and general variational characterization of optimal RCs and provide conditions for their existence. Optimal RCs are minimizers of a certain loss function and reduced models based on them guarantee very good approximation of the long-term dynamics of the original high-dimensional process. We show that, for slow-fast systems, metastable systems, and other systems with known good RCs, the novel theory reproduces previous insight. Remarkably, the numerical effort required to evaluate the loss function scales only with the complexity of the underlying, low-dimensional mechanism, and not with that of the full system. The theory provided lays the foundation for an efficient and data-sparse computation of RCs via modern machine learning techniques.


title: Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification

abstract: We describe how answer-set programs can be used to declaratively specify counterfactual interventions on entities under classification, and reason about them. In particular, they can be used to define and compute responsibility scores as attribution-based explanations for outcomes from classification models. The approach allows for the inclusion of domain knowledge and supports query answering. A detailed example with a naive-Bayes classifier is presented.


title: Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)

abstract: This volume constitutes the pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on 7-8th September 2021 as a hybrid (blended) meeting, both in-person (at the Teachers' House in Tallinn, Estonia) and virtual, and co-located with the 23rd International Symposium on Principles and Practice of Declarative Programming (PPDP 2021). After discussion at the symposium papers will go through a second round of refereeing and selection for the formal proceedings.


title: Evidential Deep Learning for Open Set Action Recognition

abstract: In a real-world scenario, human actions are typically out of the distribution from training data, which requires a model to both recognize the known actions and reject the unknown. Different from image data, video actions are more challenging to be recognized in an open-set setting due to the uncertain temporal dynamics and static bias of human actions. In this paper, we propose a Deep Evidential Action Recognition (DEAR) method to recognize actions in an open testing set. Specifically, we formulate the action recognition problem from the evidential deep learning (EDL) perspective and propose a novel model calibration method to regularize the EDL training. Besides, to mitigate the static bias of video representation, we propose a plug-and-play module to debias the learned representation through contrastive learning. Experimental results show that our DEAR method achieves consistent performance gain on multiple mainstream action recognition models and benchmarks. Code and pre-trained models are available at {\small{\url{https://www.rit.edu/actionlab/dear}}}.


title: A massively scalable Time-to-Digital Converter with a PLL-free calibration system in a commercial 130 nm process

abstract: A 33.6 ps LSB Time-to-Digital converter was designed in 130 nm BiCMOS technology. The core of the converter is a differential 9-stage ring oscillator, based on a multi-path architecture. A novel version of this design is proposed, along with an analytical model of linearity. The model allowed us to understand the source of the performance superiority (in terms of linearity) of our design and to predict further improvements. The oscillator is integrated in a event-by-event self-calibration system that allows avoiding any PLL-based synchronization. For this reason and for the compactness and simplicity of the architecture, the proposed TDC is suitable for applications in which a large number of converters and a massive parallelization are required such as High-Energy Physics and medical imaging detector systems. A test chip for the TDC has been fabricated and tested. The TDC shows a DNL$\leq$1.3 LSB, an INL$\leq$2 LSB and a single-shot precision of 19.5 ps (0.58 LSB). The chip dissipates a power of 5.4 mW overall.


title: $R_{K^{(\ast)}}$ from RPV-SUSY sneutrinos

abstract: We analyze the lepton flavor universality violation (LFV) in process $b\to s \ell^+\ell^-$ in an R-parity violating supersymmetric (RPV-SUSY) scenario. The most recent update on $\rk$ from the LHCb collaboration suggests approximately $3.1\sigma$ deviation from the Standard Model predictions, strengthening the case of LFV New Physics. In this work, we show that $R_{K^{(*)}}$ anomaly can be addressed via only sneutrinos within the framework of R-parity violating interactions assuming phenomenologically viable values of the couplings. While our proposed solution is by no means the only solution to these anomalies, it is a phenomenologically plausible one and, notably, quite a minimal one in the context of RPV-SUSY.


title: Automated Refactoring of Legacy JavaScript Code to ES6 Modules

abstract: The JavaScript language did not specify, until ECMAScript 6 (ES6), native features for streamlining encapsulation and modularity. Developer community filled the gap with a proliferation of design patterns and module formats, with impact on code reusability, portability and complexity of build configurations. This work studies the automated refactoring of legacy ES5 code to ES6 modules with fine-grained reuse of module contents through the named import/export language constructs. The focus is on reducing the coupling of refactored modules through destructuring exported module objects to fine-grained module features and enhancing module dependencies by leveraging the ES6 syntax. We employ static analysis to construct a model of a JavaScript project, the Module Dependence Graph (MDG), that represents modules and their dependencies. On the basis of MDG we specify the refactoring procedure for module migration to ES6. A prototype implementation has been empirically evaluated on 19 open source projects. Results highlight the relevance of the refactoring with a developer intent for fine-grained reuse. The analysis of refactored code shows an increase in the number of reusable elements per project and reduction in the coupling of refactored modules. The soundness of the refactoring is empirically validated through code inspection and execution of projects' test suites.


title: Rechargeable self-assembled droplet microswimmers driven by surface phase transitions

abstract: The design of artificial microswimmers is often inspired by the strategies of natural microorganisms. Many of these creatures exploit the fact that elasticity breaks the time-reversal symmetry of motion at low Reynolds numbers, but this principle has been notably absent from model systems of active, self-propelled microswimmers. Here we introduce a class of microswimmer that spontaneously self-assembles and swims without using external forces, driven instead by surface phase transitions induced by temperature variations. The swimmers are made from alkane droplets dispersed in aqueous surfactant solution, which start to self-propel upon cooling, pushed by rapidly growing thin elastic tails. When heated, the same droplets recharge by retracting their tails, swimming for up to tens of minutes in each cycle. Thermal oscillations of approximately 5 degrees Celsius induce the swimmers to harness heat from the environment and recharge multiple times. We develop a detailed elastohydrodynamic model of these processes and highlight the molecular mechanisms involved. The system offers a convenient platform for examining symmetry breaking in the motion of swimmers exploiting flagellar elasticity. The mild conditions and biocompatible media render these microswimmers potential probes for studying biological propulsion and interactions between artificial and biological swimmers.


title: Quantum Energy Landscape and VQA Optimization

abstract: We study the effects of entanglement and control parameters on the energy landscape and optimization performance of the variational quantum circuit. Through a systematic analysis of the Hessian spectrum, we characterize the local geometry of the energy landscape at a random point and along an optimization trajectory. We argue that decreasing the entangling capability and increasing the number of circuit parameters have the same qualitative effect on the Hessian eigenspectrum. Both the low-entangling capability and the abundance of control parameters increase the curvature of non-flat directions, contributing to the efficient search of area-law entangled ground states as to the optimization accuracy and the convergence speed.


title: Enumeration of Polyominoes & Polycubes Composed of Magnetic Cubes

abstract: This paper examines a family of designs for magnetic cubes and counts how many configurations are possible for each design as a function of the number of modules. Magnetic modular cubes are cubes with magnets arranged on their faces. The magnets are positioned so that each face has either magnetic south or north pole outward. Moreover, we require that the net magnetic moment of the cube passes through the center of opposing faces. These magnetic arrangements enable coupling when cube faces with opposite polarity are brought in close proximity and enable moving the cubes by controlling the orientation of a global magnetic field. This paper investigates the 2D and 3D shapes that can be constructed by magnetic modular cubes, and describes all possible magnet arrangements that obey these rules. We select ten magnetic arrangements and assign a "colo"' to each of them for ease of visualization and reference. We provide a method to enumerate the number of unique polyominoes and polycubes that can be constructed from a given set of colored cubes. We use this method to enumerate all arrangements for up to 20 modules in 2D and 16 modules in 3D. We provide a motion planner for 2D assembly and through simulations compare which arrangements require fewer movements to generate and which arrangements are more common. Hardware demonstrations explore the self-assembly and disassembly of these modules in 2D and 3D.


title: Towards Using Package Centrality Trend to Identify Packages in Decline

abstract: Due to their increasing complexity, today's software systems are frequently built by leveraging reusable code in the form of libraries and packages. Software ecosystems (e.g., npm) are the primary enablers of this code reuse, providing developers with a platform to share their own and use others' code. These ecosystems evolve rapidly: developers add new packages every day to solve new problems or provide alternative solutions, causing obsolete packages to decline in their importance to the community. Developers should avoid depending on packages in decline, as these packages are reused less over time and may become less frequently maintained. However, current popularity metrics (e.g., Stars, and Downloads) are not fit to provide this information to developers because their semantics do not aptly capture shifts in the community interest. In this paper, we propose a scalable approach that uses the package's centrality in the ecosystem to identify packages in decline. We evaluate our approach with the npm ecosystem and show that the trends of centrality over time can correctly distinguish packages in decline with an ROC-AUC of 0.9. The approach can capture 87% of the packages in decline, on average 18 months before the trend is shown in currently used package popularity metrics. We implement this approach in a tool that can be used to augment the npms metrics and help developers avoid packages in decline when reusing packages from npm.


title: Genetic, Individual, and Familial Risk Correlates of Brain Network Controllability in Major Depressive Disorder

abstract: Background: A therapeutic intervention in psychiatry can be viewed as an attempt to influence the brain's large-scale, dynamic network state transitions underlying cognition and behavior. Building on connectome-based graph analysis and control theory, Network Control Theory is emerging as a powerful tool to quantify network controllability - i.e., the influence of one brain region over others regarding dynamic network state transitions. If and how network controllability is related to mental health remains elusive. Methods: From Diffusion Tensor Imaging data, we inferred structural connectivity and inferred calculated network controllability parameters to investigate their association with genetic and familial risk in patients diagnosed with major depressive disorder (MDD, n=692) and healthy controls (n=820). Results: First, we establish that controllability measures differ between healthy controls and MDD patients while not varying with current symptom severity or remission status. Second, we show that controllability in MDD patients is associated with polygenic scores for MDD and psychiatric cross-disorder risk. Finally, we provide evidence that controllability varies with familial risk of MDD and bipolar disorder as well as with body mass index. Conclusions: We show that network controllability is related to genetic, individual, and familial risk in MDD patients. We discuss how these insights into individual variation of network controllability may inform mechanistic models of treatment response prediction and personalized intervention-design in mental health.


title: The B-type Binaries Characterisation Programme I. Orbital solutions for the 30 Doradus population

abstract: We present results from the B-type Binaries Characterisation (BBC) programme, a multi-epoch spectroscopic study of 88 early B-type binary candidates in the 30 Doradus region of the Large Magellanic Cloud (LMC). From radial-velocity analysis of 29 observational epochs we confirm the binary status of 64 of our targets, comprising 50 SB1 and 14 SB2 B-type binaries. A further 20 systems (classified as SB1*) show clear signs of periodicity but with more tentative periods. Orbital solutions are presented for these 84 systems, providing the largest homogeneous sample to date of the binary properties of early B-type stars. Our derived orbital-period distribution is generally similar to those for samples of more massive (O-type) binaries in both the LMC and the Galaxy. This similarity with the properties of the more massive O-type binaries is important as early B-type stars are expected to account for the majority of core-collapse supernovae. Differences in the period distributions of the different samples start to increase above 4 d, and are also present between the earliest (B0-0.7) and later-type (B1-2.5) systems within the BBC sample, although further study is required to understand if this is an observational bias or a real physical effect. We have examined the semi-amplitude velocities and orbital periods of our sample to identify potential candidates that could hide compact companions. Comparing with probability distributions of finding black hole companions to OB-type stars from a recent theoretical study, we have found 16 binaries in the higher probability region that warrant further study.


title: Leave-one-out Unfairness

abstract: We introduce leave-one-out unfairness, which characterizes how likely a model's prediction for an individual will change due to the inclusion or removal of a single other person in the model's training data. Leave-one-out unfairness appeals to the idea that fair decisions are not arbitrary: they should not be based on the chance event of any one person's inclusion in the training data. Leave-one-out unfairness is closely related to algorithmic stability, but it focuses on the consistency of an individual point's prediction outcome over unit changes to the training data, rather than the error of the model in aggregate. Beyond formalizing leave-one-out unfairness, we characterize the extent to which deep models behave leave-one-out unfairly on real data, including in cases where the generalization error is small. Further, we demonstrate that adversarial training and randomized smoothing techniques have opposite effects on leave-one-out fairness, which sheds light on the relationships between robustness, memorization, individual fairness, and leave-one-out fairness in deep models. Finally, we discuss salient practical applications that may be negatively affected by leave-one-out unfairness.


title: A real-variable construction with applications to BMO-Teichm\"uller theory

abstract: With the use of real-variable techniques, we construct a weight function $\omega$ on the interval $[0, 2\pi)$ that is doubling and satisfies $\log \omega$ is a BMO function, but which is not a Muckenhoupt weight ($A_\infty$). Applications to the BMO-Teichm\"uller space and the space of chord-arc curves are considered.


title: Assured Mission Adaptation of UAVs

abstract: The design of systems that can change their behaviour to account for scenarios that were not foreseen at design time remains an open challenge. In this paper we propose an approach for adaptation of mobile robot missions that is not constrained to a predefined set of mission evolutions. We propose applying the MORPH adaptive software architecture to UAVs and show how controller synthesis can be used both to guarantee correct transitioning from the old to the new mission goals while architectural reconfiguration to include new software actuators and sensors if necessary. The architecture brings together architectural concepts that are commonplace in robotics such as temporal planning, discrete, hybrid and continuous control layers together with architectural concepts from adaptive systems such as runtime models and runtime synthesis. We validate the architecture flying several missions taken from the robotic literature for different real and simulated UAVs.


title: Domain Adaptation without Model Transferring

abstract: In recent years, researchers have been paying increasing attention to the threats brought by deep learning models to data security and privacy, especially in the field of domain adaptation. Existing unsupervised domain adaptation (UDA) methods can achieve promising performance without transferring data from source domain to target domain. However, UDA with representation alignment or self-supervised pseudo-labeling relies on the transferred source models. In many data-critical scenarios, methods based on model transferring may suffer from membership inference attacks and expose private data. In this paper, we aim to overcome a challenging new setting where the source models cannot be transferred to the target domain. We propose Domain Adaptation without Source Model, which refines information from source model. In order to gain more informative results, we further propose Distributionally Adversarial Training (DAT) to align the distribution of source data with that of target data. Experimental results on benchmarks of Digit-Five, Office-Caltech, Office-31, Office-Home, and DomainNet demonstrate the feasibility of our method without model transferring.


title: Bayesian iterative screening in ultra-high dimensional settings

abstract: Variable selection in ultra-high dimensional linear regression is often preceded by a screening step to significantly reduce the dimension. Here a Bayesian variable screening method (BITS) is developed. BITS can successfully integrate prior knowledge, if any, on effect sizes, and the number of true variables. BITS iteratively includes potential variables with the highest posterior probability accounting for the already selected variables. It is implemented by a fast Cholesky update algorithm and is shown to have the screening consistency property. BITS is built based on a model with Gaussian errors, yet, the screening consistency is proved to hold under more general tail conditions. The notion of posterior screening consistency allows the resulting model to provide a good starting point for further Bayesian variable selection methods. A new screening consistent stopping rule based on posterior probability is developed. Simulation studies and real data examples are used to demonstrate scalability and fine screening performance.


title: False vacuum decay in quantum spin chains

abstract: The false vacuum decay has been a central theme in physics for half a century with applications to cosmology and to the theory of fundamental interactions. This fascinating phenomenon is even more intriguing when combined with the confinement of elementary particles. Due to the astronomical time scales involved, the research has so far focused on theoretical aspects of this decay. The purpose of this Letter is to show that the false vacuum decay is accessible to current optical experiments as quantum analog simulators of spin chains with confinement of the elementary excitations, which mimic the high energy phenomenology but in one spatial dimension. We study the non-equilibrium dynamics of the false vacuum in a quantum Ising chain and in an XXZ ladder. The false vacuum is the metastable state that arises in the ferromagnetic phase of the model when the symmetry is explicitly broken by a longitudinal field. This state decays through the formation of "bubbles" of true vacuum. Using iTEBD simulations, we are able to study the real-time evolution in the thermodynamic limit and measure the decay rate of local observables. We find that the numerical results agree with the theoretical prediction that the decay rate is exponentially small in the inverse of the longitudinal field.

categories: cond-mat.stat-mech cond-mat.str-el hep-th quant-ph


title: A combined volume penalization / selective frequency damping approach for immersed boundary methods applied to high-order schemes

abstract: There has been an increasing interest in developing efficient immersed boundary method (IBM) based on Cartesian grids, recently in the context of high-order methods. IBM based on volume penalization is a robust and easy to implement method to avoid body-fitted meshes and has been recently adapted to high order discretisations (Kou et al., 2021). This work proposes an improvement over the classic penalty formulation for flux reconstruction high order solvers. We include a selective frequency damping (SFD) approach (Aakervik et al., 2006) acting only inside solid body defined through the immersed boundary masking, to damp spurious oscillations. An encapsulated formulation for the SFD method is implemented, which can be used as a wrapper around an existing time-stepping code. The numerical properties have been studied through eigensolution analysis based on the advection equation. These studies not only show the advantages of using the SFD method as an alternative of the traditional volume penalization, but also show the favorable properties of combining both approaches. This new approach is then applied to the Navier-Stokes equation to simulate steady flow past an airfoil and unsteady flow past a circular cylinder. The advantages of the SFD method in providing improved accuracy are reported.


title: A Network Control Theory Approach to Longitudinal Symptom Dynamics in Major Depressive Disorder

abstract: Background: The evolution of symptoms over time is at the heart of understanding and treating mental disorders. However, a principled, quantitative framework explaining symptom dynamics remains elusive. Here, we propose a Network Control Theory of Psychopathology allowing us to formally derive a theoretical control energy which we hypothesize quantifies resistance to future symptom improvement in Major Depressive Disorder (MDD). We test this hypothesis and investigate the relation to genetic and environmental risk as well as resilience. Methods: We modelled longitudinal symptom-network dynamics derived from N=2,059 Beck Depression Inventory measurements acquired over a median of 134 days in a sample of N=109 patients suffering from MDD. We quantified the theoretical energy required for each patient and time-point to reach a symptom-free state given individual symptom-network topology (E 0 ) and 1) tested if E 0 predicts future symptom improvement and 2) whether this relationship is moderated by Polygenic Risk Scores (PRS) of mental disorders, childhood maltreatment experience, and self-reported resilience. Outcomes: We show that E 0 indeed predicts symptom reduction at the next measurement and reveal that this coupling between E 0 and future symptom change increases with higher genetic risk and childhood maltreatment while it decreases with resilience. Interpretation: Our study provides a mechanistic framework capable of predicting future symptom improvement based on individual symptom-network topology and clarifies the role of genetic and environmental risk as well as resilience. Our control-theoretic framework makes testable, quantitative predictions for individual therapeutic response and provides a starting-point for the theory-driven design of personalized interventions. Funding: German Research Foundation and Interdisciplinary Centre for Clinical Research, M\"unster


title: Scattering in Black Hole Backgrounds and Higher-Spin Amplitudes: Part I

abstract: The scattering of massless waves of helicity $|h|=0,\frac{1}{2},1$ in Schwarzschild and Kerr backgrounds is revisited in the long-wavelenght regime. Using a novel description of such backgrounds in terms of gravitating massive particles, we compute classical wave scattering in terms of $2\to 2$ QFT amplitudes in flat space, to all orders in spin. The results are Newman-Penrose amplitudes which are in direct correspondence with solutions of the Regge-Wheeler/Teukolsky equation. By introducing a precise prescription for the point-particle limit, in Part I of this work we show how both agree for $h=0$ at finite values of the scattering angle and arbitrary spin orientation. Associated classical observables such as the scattering cross sections, wave polarizations and time delay are studied at all orders in spin. The effect of the black hole spin on the polarization and helicity of the waves is found in agreement with previous analysis at linear order in spin. In the particular limit of small scattering angle, we argue that wave scattering admits a universal, point-particle description determined by the eikonal approximation. We show how our results recover the scattering eikonal phase with spin up to second post-Minkowskian order, and match it to the effective action of null geodesics in a Kerr background. Using this correspondence we derive classical observables such as polar and equatorial scattering angles. This study serves as a preceding analysis to Part II, where the Gravitational Wave ($h=2$) case will be studied in detail.


title: 3D fluorescence microscopy data synthesis for segmentation and benchmarking

abstract: Automated image processing approaches are indispensable for many biomedical experiments and help to cope with the increasing amount of microscopy image data in a fast and reproducible way. Especially state-of-the-art deep learning-based approaches most often require large amounts of annotated training data to produce accurate and generalist outputs, but they are often compromised by the general lack of those annotated data sets. In this work, we propose how conditional generative adversarial networks can be utilized to generate realistic image data for 3D fluorescence microscopy from annotation masks of 3D cellular structures. In combination with mask simulation approaches, we demonstrate the generation of fully-annotated 3D microscopy data sets that we make publicly available for training or benchmarking. An additional positional conditioning of the cellular structures enables the reconstruction of position-dependent intensity characteristics and allows to generate image data of different quality levels. A patch-wise working principle and a subsequent full-size reassemble strategy is used to generate image data of arbitrary size and different organisms. We present this as a proof-of-concept for the automated generation of fully-annotated training data sets requiring only a minimum of manual interaction to alleviate the need of manual annotations.


title: Debiasing Multilingual Word Embeddings: A Case Study of Three Indian Languages

abstract: In this paper, we advance the current state-of-the-art method for debiasing monolingual word embeddings so as to generalize well in a multilingual setting. We consider different methods to quantify bias and different debiasing approaches for monolingual as well as multilingual settings. We demonstrate the significance of our bias-mitigation approach on downstream NLP applications. Our proposed methods establish the state-of-the-art performance for debiasing multilingual embeddings for three Indian languages - Hindi, Bengali, and Telugu in addition to English. We believe that our work will open up new opportunities in building unbiased downstream NLP applications that are inherently dependent on the quality of the word embeddings used.


title: Analysis of Polarimetry Data with Angular Uncertainties

abstract: For a track based polarimeter, such as the Imaging X-ray Polarimetry Explorer (IXPE), the sensitivity to polarization depends on the modulation factor, which is a strong function of energy. In previous work, a likelihood method was developed that would account for this variation in order to estimate the minimum detectable polarization (MDP). That method essentially required that the position angles of individual events should be known precisely. In a separate work, however, it was shown that using a machine learning method for measuring event tracks can generate track angle uncertainties, which can be used in the analysis. Here, the maximum likelihood method is used as a basis for revising the estimate of the MDP in a general way that can include uncertainties in event track position angles. The resultant MDP depends solely upon the distribution of track angle uncertainties present in the input data. Due to the physics of the IXPE detectors, it is possible to derive a simple relationship between these angular uncertainties and the energy-dependent modulation function as a step in the process.