title: Linking the mixing times of random walks on static and dynamic random graphs

abstract: This paper considers non-backtracking random walks on random graphs generated according to the configuration model. The quantity of interest is the scaling of the mixing time of the random walk as the number of vertices of the random graph tends to infinity. Subject to mild general conditions, we link two mixing times: one for a static version of the random graph, the other for a class of dynamic versions of the random graph in which the edges are randomly rewired but the degrees are preserved. The link is provided by the probability that the random walk has not yet stepped along a previously rewired edge. We use this link to compute the scaling of the mixing time for three specific classes of random rewirings. Depending on the speed and the range of the rewiring relative to the current location of the random walk, the mixing time may exhibit no cut-off, one-sided cut-off or two-sided cut-off, a trichotomy that was also found in earlier work. Interestingly, for a class of dynamics that are `mesoscopic', i.e., non-local and non-global, we find new behaviour with six subregimes. Proofs are built on a new and flexible coupling scheme, in combination with sharp estimates on the degrees encountered by the random walk in the static and the dynamic version of the random graph. Some of these estimates require sharp control on possible short-cuts in the graph between the edges that are traversed by the random walk.


title: Voting of predictive models for clinical outcomes: consensus of algorithms for the early prediction of sepsis from clinical data and an analysis of the PhysioNet/Computing in Cardiology Challenge 2019

abstract: Although there has been significant research in boosting of weak learners, there has been little work in the field of boosting from strong learners. This latter paradigm is a form of weighted voting with learned weights. In this work, we consider the problem of constructing an ensemble algorithm from 70 individual algorithms for the early prediction of sepsis from clinical data. We find that this ensemble algorithm outperforms separate algorithms, especially on a hidden test set on which most algorithms failed to generalize.


title: KRISP: Integrating Implicit and Symbolic Knowledge for Open-Domain Knowledge-Based VQA

abstract: One of the most challenging question types in VQA is when answering the question requires outside knowledge not present in the image. In this work we study open-domain knowledge, the setting when the knowledge required to answer a question is not given/annotated, neither at training nor test time. We tap into two types of knowledge representations and reasoning. First, implicit knowledge which can be learned effectively from unsupervised language pre-training and supervised training data with transformer-based models. Second, explicit, symbolic knowledge encoded in knowledge bases. Our approach combines both - exploiting the powerful implicit reasoning of transformer models for answer prediction, and integrating symbolic representations from a knowledge graph, while never losing their explicit semantics to an implicit embedding. We combine diverse sources of knowledge to cover the wide variety of knowledge needed to solve knowledge-based questions. We show our approach, KRISP (Knowledge Reasoning with Implicit and Symbolic rePresentations), significantly outperforms state-of-the-art on OK-VQA, the largest available dataset for open-domain knowledge-based VQA. We show with extensive ablations that while our model successfully exploits implicit knowledge reasoning, the symbolic answer module which explicitly connects the knowledge graph to the answer vocabulary is critical to the performance of our method and generalizes to rare answers.


title: Structure of conjugacy classes in Coxeter groups

abstract: This paper gives a definitive solution to the problem of describing conjugacy classes in arbitrary Coxeter groups in terms of cyclic shifts. Let $(W,S)$ be a Coxeter system. A cyclic shift of an element $w\in W$ is a conjugate of $w$ of the form $sws$ for some simple reflection $s\in S$ such that $\ell_S(sws)\leq\ell_S(w)$. The cyclic shift class of $w$ is then the set of elements of $W$ that can be obtained from $w$ by a sequence of cyclic shifts. Given a subset $K\subseteq S$ such that $W_K:=\langle K\rangle\subseteq W$ is finite, we also call two elements $w,w'\in W$ $K$-conjugate if $w,w'$ normalise $W_K$ and $w'=w_0(K)ww_0(K)$, where $w_0(K)$ is the longest element of $W_K$. Let $\mathcal O$ be a conjugacy class in $W$, and let $\mathcal O^{\min}$ be the set of elements of minimal length in $\mathcal O$. Then $\mathcal O^{\min}$ is the disjoint union of finitely many cyclic shift classes $C_1,\dots,C_k$. We define the structural conjugation graph associated to $\mathcal O$ to be the graph with vertices $C_1,\dots,C_k$, and with an edge between distinct vertices $C_i,C_j$ if they contain representatives $u\in C_i$ and $v\in C_j$ such that $u,v$ are $K$-conjugate for some $K\subseteq S$. In this paper, we compute explicitely the structural conjugation graph associated to any (possibly twisted) conjugacy class in $W$, and show in particular that it is connected (that is, any two conjugate elements of $W$ differ only by a sequence of cyclic shifts and $K$-conjugations). Along the way, we obtain several results of independent interest, such as a description of the centraliser of an infinite order element $w\in W$, as well as the existence of natural decompositions of $w$ as a product of a "torsion part" and of a "straight part", with useful properties.


title: Bayesian Conditional Transformation Models

abstract: Recent developments in statistical regression methodology shift away from pure mean regression towards distributional regression models. One important strand thereof is that of conditional transformation models (CTMs). CTMs infer the entire conditional distribution directly by applying a transformation function to the response conditionally on a set of covariates towards a simple log-concave reference distribution. Thereby, CTMs allow not only variance, kurtosis or skewness but the complete conditional distribution to depend on the explanatory variables. We propose a Bayesian notion of conditional transformation models (BCTMs) focusing on exactly observed continuous responses, but also incorporating extensions to randomly censored and discrete responses. Rather than relying on Bernstein polynomials that have been considered in likelihood-based CTMs, we implement a spline-based parametrization for monotonic effects that are supplemented with smoothness priors. Furthermore, we are able to benefit from the Bayesian paradigm via easily obtainable credible intervals and other quantities without relying on large sample approximations. A simulation study demonstrates the competitiveness of our approach against its likelihood-based counterpart but also Bayesian additive models of location, scale and shape and Bayesian quantile regression. Two applications illustrate the versatility of BCTMs in problems involving real world data, again including the comparison with various types of competitors.


title: On Tikhonov functionals penalized by Bregman distances

abstract: We investigate Tikhonov regularization methods for nonlinear ill-posed problems in Banach spaces, where the penalty term is described by Bregman distances. We prove convergence and stability results. Moreover, using appropriate source conditions, we are able to derive rates of convergence in terms of Bregman distances. We also analyze an iterated Tikhonov method for nonlinear problems, where the penalization is given by an appropriate convex functional.


title: Remark on a Mittag-Leffler function of Le Roy type

abstract: We give some necessary and some sufficient conditions for the complete monotonicity on the negative half-line of a Mittag-Leffler function of Le Roy type. It is conjectured that the underlying positive random variable, when it exists, must be logarithmically infinitely divisible.


title: Absolute Calibration of Diffuse Radio Surveys at 45 and 150 MHz

abstract: We use EDGES measurements to determine scale and zero-level corrections to the diffuse radio surveys by Guzm\'an et al. at $45$ MHz and Landecker & Wielebinski at $150$ MHz. We find that the Guzm\'an et al. map requires a scale correction of $1.076 \pm 0.034$ ($2\sigma$) and a zero-level correction of $-160 \pm 78$ K ($2\sigma$) to best-fit the EDGES data. For the Landecker & Wielebinski map, the scale correction is $1.112 \pm 0.023$ ($2\sigma$) and the zero-level correction is $0.7 \pm 6.0$ K ($2\sigma$). The correction uncertainties are dominated by systematic effects, of which the most significant are uncertainty in the calibration of the EDGES receivers, antenna pointing, and tropospheric and ionospheric effects. We propagate the correction uncertainties to estimate the uncertainties in the corrected maps themselves and find that the $2\sigma$ uncertainty in the map brightness temperature is in the range $3.2-7.5\%$ for the Guzm\'an et al. map and $2.1-9.0\%$ for the Landecker & Wielebinski map, with the largest percent uncertainties occurring at high Galactic latitudes. The corrected maps could be used to improve existing diffuse low-frequency radio sky models, which are essential tools in analyses of cosmological $21$ cm observations, as well as to investigate the existence of a radio monopole excess above the cosmic microwave background and known Galactic and extragalactic contributions.


title: Asymptotic distribution of certain degenerate V- and U-statistics with estimated parameters

abstract: The asymptotic distribution of a wide class of V- and U-statistics with estimated parameters is derived in the case when the kernel is not necessarily differentiable along the parameter. The results have their application in goodness-of-fit problems.


title: A hybrid adaptive Iterated Local Search with diversification control to the Capacitated Vehicle Routing Problem

abstract: Metaheuristics are widely employed to solve hard optimization problems, like vehicle routing problems (VRP), for which exact solution methods are impractical. In particular, local search-based metaheuristics have been successfully applied to the capacitated VRP (CVRP). The CVRP aims at defining the minimum-cost delivery routes for a given set of identical vehicles since each vehicle only travels one route and there is a single (central) depot. The best metaheuristics to the CVRP avoid getting stuck in local optima by embedding specific hill-climbing mechanisms such as diversification strategies into the solution methods. This paper introduces a hybridization of a novel adaptive version of Iterated Local Search with Path-Relinking (AILS-PR) to the CVRP. The major contribution of this paper is an automatic mechanism to control the diversity step of the metaheuristic to allow it to escape from local optima. The results of experiments with 100 benchmark CVPR instances show that AILS-PR outperformed the state-of-the-art CVRP metaheuristics.


title: Parameter Identification for Digital Fabrication: A Gaussian Process Learning Approach

abstract: Tensioned cable nets can be used as supporting structures for the efficient construction of lightweight building elements, such as thin concrete shell structures. To guarantee important mechanical properties of the latter, the tolerances on deviations of the tensioned cable net geometry from the desired target form are very tight. Therefore, the form needs to be readjusted on the construction site. In order to employ model-based optimization techniques, the precise identification of important uncertain model parameters of the cable net system is required. This paper proposes the use of Gaussian process regression to learn the function that maps the cable net geometry to the uncertain parameters. In contrast to previously proposed methods, this approach requires only a single form measurement for the identification of the cable net model parameters. This is beneficial since measurements of the cable net form on the construction site are very expensive. For the training of the Gaussian processes, simulated data is efficiently computed via convex programming. The effectiveness of the proposed method and the impact of the precise identification of the parameters on the form of the cable net are demonstrated in numerical experiments on a quarter-scale prototype of a roof structure.


title: Liouville type theorems for stable solutions of elliptic system involving the Grushin operator

abstract: We examine the degenerate elliptic system $$-\Delta_{s} u = v^p, \quad -\Delta_{s} v= u^\theta, \quad u,v>0 \quad\mbox{in }\; \mathbb{R}^N=\mathbb{R}^{N_1}\times \mathbb{R}^{N_2}, \quad\mbox{where }\;\;\;\; s \geq 0\;\; \mbox{and} \;\;p,\theta >0.$$ We prove that the system has no smooth stable solution provided $p,\theta >0$ and $N_s< 2 + \alpha + \beta,$ where $$\alpha = \frac{2(p+1)}{p\theta - 1} \quad\mbox{and} \quad \beta = \frac{2(\theta +1)}{p\theta - 1}.$$ This result is an extension of some result in \cite{ MY}. In particular, we establish a new the integral estimate for $u$ and $v$ \;(see Proposition 1.1), which is crucial to deal with the case $0 < p < 1.$


title: Supersymmetric relativistic quantum mechanics in time-domain

abstract: A supersymmetric relativistic quantum theory in the temporal domain is developed for bi-spinor fields satisfying the Dirac equation. The simplest time-domain supersymmetric theory can be postulated for fields with time-dependent mass, showing an equivalence with the bosonic supersymmetric theory in time-domain. Solutions are presented and they are used to produce probability oscillations between mass states. As an application of this idea, we study the two-neutrino oscillation problem, showing that flavour state oscillations may emerge from the supersymmetry originated by the time-dependence of the unique mass of the neutrino.


title: DISCO: Dynamic and Invariant Sensitive Channel Obfuscation for deep neural networks

abstract: Recent deep learning models have shown remarkable performance in image classification. While these deep learning systems are getting closer to practical deployment, the common assumption made about data is that it does not carry any sensitive information. This assumption may not hold for many practical cases, especially in the domain where an individual's personal information is involved, like healthcare and facial recognition systems. We posit that selectively removing features in this latent space can protect the sensitive information and provide a better privacy-utility trade-off. Consequently, we propose DISCO which learns a dynamic and data driven pruning filter to selectively obfuscate sensitive information in the feature space. We propose diverse attack schemes for sensitive inputs \& attributes and demonstrate the effectiveness of DISCO against state-of-the-art methods through quantitative and qualitative evaluation. Finally, we also release an evaluation benchmark dataset of 1 million sensitive representations to encourage rigorous exploration of novel attack schemes.


title: Independent Approximates enable closed-form estimation of heavy-tailed distributions

abstract: A new statistical estimation method, Independent Approximates (IAs), is defined and proven to enable closed-form estimation of the parameters of heavy-tailed distributions. Given independent, identically distributed samples from a one-dimensional distribution, IAs are formed by partitioning samples into pairs, triplets, or nth-order groupings and retaining the median of those groupings that are approximately equal. The pdf of the IAs is proven to be the normalized n^th power of the original density. From this property, heavy-tailed distributions are proven to have well-defined means for their IA pairs, finite second moments for their IA triplets, and a finite, well-defined (n-1)^th moment for the nth grouping. Estimation of the location, scale, and shape (inverse of degree of freedom) of the generalized Pareto and Student's t distributions are possible via a system of three equations. Performance analysis of the IA estimation methodology for the Student's t distribution demonstrates that the method converges to the maximum likelihood estimate. Closed-form estimates of the location and scale are determined from the mean of the IA pairs and the second moment of the IA triplets, respectively. For the Student's t distribution, the geometric mean of the original samples provides a third equation to determine the shape, though its nonlinear solution requires an iterative solver. With 10,000 samples the relative bias of the parameter estimates is less than 0.01 and the relative precision is less than +/- 0.1. Statistical physics applications are carried out for both a small sample (331) astrophysics dataset and a large sample (2 x 10^8) standard map simulation.


title: Smooth profinite groups, III: the Smoothness Theorem

abstract: Let $p$ be a prime. The goal of this article is to prove the Smoothness Theorem 5.1 (Theorem D), which notably asserts that a $(1,\infty)$-cyclotomic pair is $(n,1)$-cyclotomic, for all $n \geq 1$. In the particular case of Galois cohomology, the Smoothness Theorem provides a new proof of the Norm Residue Isomorphism Theorem. Using the formalism of smooth profinite groups, this proof presents it as a consequence of Kummer theory for fields.


title: The Probabilistic Serial and Random Priority Mechanisms with Minimum Quotas

abstract: Consider the problem of assigning indivisible objects to agents with strict ordinal preferences over objects, where each agent is interested in consuming at most one object, and objects have integer minimum and maximum quotas. We define an assignment to be feasible if it satisfies all quotas and assume such an assignment always exists. The Probabilistic Serial (PS) and Random Priority (RP) mechanisms are generalised based on the same intuitive idea: Allow agents to consume their most preferred available object until the total mass of agents yet to be allocated is exactly equal to the remaining amount of unfilled lower quotas; in this case, we restrict agents' menus to objects which are yet to fill their minimum quotas. We show the mechanisms satisfy the same criteria as their classical counterparts: PS is ordinally efficient, envy-free and weakly strategy-proof; RP is strategy-proof, weakly envy-free but not ordinally efficient.


title: Explicit Soft Supersymmetry Breaking in the Heterotic M-Theory $B-L$ MSSM

abstract: The strongly coupled heterotic M-theory vacuum for both the observable and hidden sectors of the $B-L$ MSSM theory is reviewed, including a discussion of the "bundle" constraints that both the observable sector $SU(4)$ vector bundle and the a hidden sector bundle induced from a line bundle must satisfy. Gaugino condensation is then introduced within this context, and the hidden sector bundles that exhibit gaugino condensation are presented. The condensation scale is computed, singling out one line bundle whose associated condensation scale is low enough to be compatible with the energy scales available at the LHC. The corresponding region of K\"ahler moduli space where all bundle constraints are satisfied is presented. The generic form of the moduli dependent $F$-terms due to a gaugino superpotential - which spontaneously break $N=1$ supersymmetry in this sector - is presented and then given explicitly for the unique line bundle associated with the low condensation scale. The moduli dependent coefficients for each of the gaugino and scalar field soft supersymmetry breaking terms are computed leading to a low-energy effective Lagrangian for the observable sector matter fields. We then show that at a large number of points in K\"ahler moduli space that satisfy all "bundle" constraints, these coefficients are initial conditions for the renormalization group equations which, at low energy, lead to completely realistic physics satisfying all phenomenological constraints. Finally, we show that a substantial number of these initial points also satisfy a final constraint arising from the quadratic Higgs-Higgs conjugate soft supersymmetry breaking term.


title: Weakly linked embeddings of pairs of complete graphs in $\mathbb{R}^3$

abstract: Let $G$ and $H$ be disjoint embeddings of complete graphs $K_m$ and $K_n$ in $\mathbb{R}^3$ such that some cycle in $G$ links a cycle in $H$ with non-zero linking number. We say that $G$ and $H$ are *weakly linked* if the absolute value of the linking number of any cycle in $G$ with a cycle in $H$ is $0$ or $1$. Our main result is an algebraic characterisation of when a pair of disjointly embedded complete graphs is weakly linked. As a step towards this result, we show that if $G$ and $H$ are weakly linked, then each contains either a vertex common to all triangles linking the other or a triangle which shares an edge with all triangles linking the other. All families of weakly linked pairs of complete graphs are then characterised by which of these two cases holds in each complete graph.


title: Local Coloring Problems on Smooth Graphs

abstract: We construct a smooth locally finite Borel graph $G$ and a local coloring problem $\Pi$ such that $G$ has a coloring $V(G) \to \mathbb{N}$ that solves $\Pi$, but no such coloring can be Borel.


title: Fredholm theory in quaternionic Banach algebras

abstract: Muraleetharan and Thirulogasanthan in (J. Math. phys. 59, No. 10, 103506, 27p. (2018)) introduced the concept of Calkin Sspectrum of a bounded quaternionic linear operators. The study of this spectrum is establisched using the Fredholm operators theory. Motivated by this, we study the general framework of the Fredholm element with respect to a quaternionic Banach algebra homomorphism. First, we investigate the Fredholm S-spectrum of the sum of two elements in quaternionic Banach algebra by means of the Fredholm S-spectrum of the two elements. Next, we prove a perturbation result on this spectrum. We also study the boundary S-spectrum. As application, we investigate the Fredholm and Weyl S-spectra of bounded right quaternionic linear operators.


title: Fast dynamics of radiofrequency emission in plasmas with runaway electrons

abstract: Radiofrequency emission in the 0.4 - 3 GHz range from FTU plasmas in presence of runaway electrons (RE) has been measured with unprecedentedly high time resolution. Rapid emission bursts associated with enhanced RE pitch angle scattering reveal kinetic instabilities affecting evolution of the RE population from the buildup phase. Such measurements also provide a sensitive monitor for instabilities during early RE formation. The leading edge of radio bursts is much shorter than interleaving periods of low emission; spectral broadening during growth indicates nonlinear wave coupling as an explanation for the observed intermittency. Radiofrequency emission disappears at the beginning of post-disruption RE plateaus, and subsequently reappears in the shape of very intense bursts accompanied by strong rises of suprathermal electron cyclotron emission.


title: Weil-\'{e}tale cohomology and duality for arithmetic schemes in negative weights

abstract: Flach and Morin constructed in (Doc. Math. 23 (2018), 1425--1560) Weil-\'etale cohomology $H^i_\text{W,c} (X, \mathbb{Z} (n))$ for a proper, regular arithmetic scheme $X$ (i.e. separated and of finite type over $\operatorname{Spec} \mathbb{Z}$) and $n \in \mathbb{Z}$. In the case when $n < 0$, we generalize their construction to an arbitrary arithmetic scheme $X$, thus removing the proper and regular assumption. The construction assumes finite generation of suitable \'etale motivic cohomology groups.


title: Contraction of $E_\gamma$-Divergence and Its Applications to Privacy

abstract: We investigate the contraction coefficients derived from strong data processing inequalities for the $E_\gamma$-divergence. By generalizing the celebrated Dobrushin's coefficient from total variation distance to $E_\gamma$-divergence, we derive a closed-form expression for the contraction of $E_\gamma$-divergence. This result has fundamental consequences in two privacy settings. First, it implies that local differential privacy can be equivalently expressed in terms of the contraction of $E_\gamma$-divergence. This equivalent formula can be used to precisely quantify the impact of local privacy in (Bayesian and minimax) estimation and hypothesis testing problems in terms of the reduction of effective sample size. Second, it leads to a new information-theoretic technique for analyzing privacy guarantees of online algorithms. In this technique, we view such algorithms as a composition of amplitude-constrained Gaussian channels and then relate their contraction coefficients under $E_\gamma$-divergence to the overall differential privacy guarantees. As an example, we apply our technique to derive the differential privacy parameters of gradient descent. Moreover, we also show that this framework can be tailored to batch learning algorithms that can be implemented with one pass over the training dataset.


title: A Quantum Edge Detection Algorithm

abstract: The application of quantum computing to the field of image processing has produced several promising applications: quantum image representation techniques have been developed showing how, by taking advantage of quantum properties like entanglement and superposition, many image processing algorithms could have an exponential speed-up in comparison to their "classical" counterparts. In this paper, after briefly discussing some of the main quantum image representation methods, we propose an improved version of a quantum edge detection algorithm.


title: Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag-Solitar groups $BS(1,n)$

abstract: We present a technique to lift some tilings of the discrete hyperbolic plane -- tilings defined by a 1D substitution -- into a zero entropy subshift of finite type (SFT) on non-abelian amenable Baumslag-Solitar groups $BS(1,n)$ for $n\geq2$. For well chosen hyperbolic tilings, this SFT is also aperiodic and minimal. As an application we construct a strongly aperiodic SFT on $BS(1,n)$ with a hierarchical structure, which is an analogue of Robinson's construction on $\mathbb{Z}^2$ or Goodman-Strauss's on $\mathbb{H}_2$.


title: Growth and performance of the periodic orbits of a nonlinear driven oscillator

abstract: Periodic orbits are fundamental to understand the dynamics of nonlinear systems. In this work, we focus on two aspects of interest regarding periodic orbits, in the context of a dissipative mapping, derived from a prototype model of a non-linear driven oscillator with fast relaxation and a limit cycle. For this map, we show numerically the exponential growth of periodic orbits quantity in certain regions of the parameter space and provide an analytical bound for such growth rate, by making use of the transition matrix associated with a given periodic orbit. Furthermore, we give numerical evidence to support that optimal orbits, those that maximize time averages, are often unstable periodic orbits with low period, by numerically comparing their performance under a family of sinusoidal functions.


title: Sharp discrete isoperimetric inequalities in periodic graphs via discrete PDE and Semidiscrete Optimal Transport

abstract: We develop criteria based on a calibration argument via discrete PDE and semidiscrete optimal transport, for finding sharp isoperimetric inequalities of the form $(\sharp \Omega)^{d-1} \le C (\sharp \overrightarrow{\partial\Omega})^d$ where $\Omega$ is a subset of vertices of a graph and $\overrightarrow{\partial\Omega}$ is the oriented edge-boundary of $\Omega$, as well as the optimum isoperimetric shapes $\Omega$. The method is a discrete counterpart to Optimal Transport and ABP method proofs valid in the continuum, and answers a question appearing in Hamamuki \cite{hamamuki}, extending that work valid for rectangular grids, to a larger class of graphs, including graphs dual to simplicial meshes of equal volume. We also connect the problem to the theory Voronoi tessellations and of Aleksandrov solutions from semidiscrete optimal transport. The role of the geometric-arithmetic inequality that was used in previous works in the continuum case and in the $\mathbb Z^d$-graph case is now played by a geometric cell-optimization constant, where the optimization problem is like in Minkowski's proof of his classical theorem for convex polyhedra. Finally, we study the optimal constant in the related discrete Neumann boundary problem, and present a series of possible directions for a further classification of discrete edge-isoperimetric constants and shapes.


title: Coherent control of an Helium-Ion ensemble

abstract: Attosecond pulses can ionize atoms in a coherent process. Since the emerging fragments are entangled, however, each preserves only a fraction of the initial coherence, thus limiting the chance of guiding the ion subsequent evolution. In this work, we use \emph{ab initio} simulations of pump-probe ionization of helium above the $2s/2p$ threshold to demonstrate how this loss of coherence can be controlled. Thanks to the participation of $2\ell n\ell'$ states, coherence between the ionic $2s$ and $2p$ states, which are degenerate in the non-relativistic limit, results in a stationary, delay-dependent electric dipole. From the picosecond real-time beating of the dipole, caused by the fine-structure splitting of the $n=2$ manifold, it is possible to reconstruct all original ion coherences, including between antiparallel-spin states, which are sensitive probe of relativistic effects in attosecond photoemission.


title: Reconstructing phase-resolved hysteresis loops from first-order reversal curves

abstract: The first order reversal curve (FORC) method is a magnetometry based technique used to capture nanoscale magnetic phase separation and interactions with macroscopic measurements using minor hysteresis loop analysis. This makes the FORC technique a powerful tool in the analysis of complex systems which cannot be effectively probed using localized techniques. However, recovering quantitative details about the identified phases which can be compared to traditionally measured metrics remains an enigmatic challenge. We demonstrate a technique to reconstruct phase-resolved magnetic hysteresis loops by selectively integrating the measured FORC distribution. From these minor loops, the traditional metrics - including the coercivity and saturation field, and the remanent and saturation magnetization - can be determined. In order to perform this analysis, special consideration must be paid to the accurate quantitative management of the so-called reversible features. This technique is demonstrated on three representative materials systems, high anisotropy FeCuPt thin-films, Fe nanodots, and SmCo/Fe exchange spring magnet films, and shows excellent agreement with the direct measured major loop, as well as the phase separated loops.


title: Numerical solution of an inverse random source problem for the time fractional diffusion equation via PhaseLift

abstract: This paper is concerned with the inverse random source problem for a stochastic time fractional diffusion equation, where the source is assumed to be driven by a Gaussian random field. The direct problem is shown to be well-posed by examining the well-posedness and regularity of the solution for the equivalent stochastic two-point boundary value problem in the frequency domain. For the inverse problem, the Fourier modulus of the diffusion coefficient of the random source is proved to be uniquely determined by the variance of the Fourier transform of the boundary data. As a phase retrieval for the inverse problem, the PhaseLift method with random masks is applied to recover the diffusion coefficient from its Fourier modulus. Numerical experiments are reported to demonstrate the effectiveness of the proposed method.


title: Spatial Scales of Population Synchrony generally increases as fluctuations propagate in a Two Species Ecosystem

abstract: The spatial scale of population synchrony gives the characteristic distance at which the population fluctuations are correlated. Therefore, it gives also the characteristic size of the regions of simultaneous population depletion, or even extinction. Single-species previous results imply that the spatial scale of population synchrony is equal or greater (due to dispersion) than the spatial scale of synchrony of environmental fluctuations. Theoretical results on multispecies ecosystems points that interspecies interactions modify the spatial scale of population synchrony. In particular, recent results on two species ecosystems, for two competitors and for predator-prey, point that the spatial scale of population synchrony generally increases as the fluctuations propagates through the food web, i.e., the species more directly affected by environmental fluctuations presents the smaller spatial scale of population synchrony. Here, we found that this behaviour is generally true for a two species ecosystem. The exception to this behaviour are the particular cases where the population fluctuations of one of the species does not damp by its own, but requires a strong transfer of the fluctuation to the other species to be damped. These analytical results illustrate the importance of applying an ecosystem rather than a single-species perspective when developing sustainable harvestings or assessing the extinction risk of endangered species.


title: Experimental Study of Through-the-Wall Respiration Sign Detection Using Ultra-wideband Impulse Radar

abstract: The through-the-wall human being detection and localization in the complex environments by using the radar system has many possible applications such as for law enforcement, and search and rescue missions in disaster-stricken areas. This paper discusses the experimental study of ultra-wideband impulse radar for obscured human respiration detection through spectrum analysis. We investigate the effect of the range of human-wall and radar-wall to the peak factor value of human respiration sign power spectrum. This result will be useful as a reference for analyzing the possibility of the sign to be detected by the radar with respect to the distance from both sides. According to the experimental results, longer both distance increases gradually the peak factor value. However, the peak became narrower. Besides, at a very short distance between areas and walls, the peak factor became very small because of the strong reflection of both objects. Therefore, an adaptive threshold technique and background suppression are needed in order to maintain the detection performance against any possible conditions.


title: Monte-Carlo Graph Search for AlphaZero

abstract: The AlphaZero algorithm has been successfully applied in a range of discrete domains, most notably board games. It utilizes a neural network, that learns a value and policy function to guide the exploration in a Monte-Carlo Tree Search. Although many search improvements have been proposed for Monte-Carlo Tree Search in the past, most of them refer to an older variant of the Upper Confidence bounds for Trees algorithm that does not use a policy for planning. We introduce a new, improved search algorithm for AlphaZero which generalizes the search tree to a directed acyclic graph. This enables information flow across different subtrees and greatly reduces memory consumption. Along with Monte-Carlo Graph Search, we propose a number of further extensions, such as the inclusion of Epsilon-greedy exploration, a revised terminal solver and the integration of domain knowledge as constraints. In our evaluations, we use the CrazyAra engine on chess and crazyhouse as examples to show that these changes bring significant improvements to AlphaZero.


title: Policy Transforms and Learning Optimal Policies

abstract: We study the problem of choosing optimal policy rules in uncertain environments using models that may be incomplete and/or partially identified. We consider a policymaker who wishes to choose a policy to maximize a particular counterfactual quantity called a policy transform. We characterize learnability of a set of policy options by the existence of a decision rule that closely approximates the maximin optimal value of the policy transform with high probability. Sufficient conditions are provided for the existence of such a rule. However, learnability of an optimal policy is an ex-ante notion (i.e. before observing a sample), and so ex-post (i.e. after observing a sample) theoretical guarantees for certain policy rules are also provided. Our entire approach is applicable when the distribution of unobservables is not parametrically specified, although we discuss how semiparametric restrictions can be used. Finally, we show possible applications of the procedure to a simultaneous discrete choice example and a program evaluation example.


title: Bayesian Optimization of Area-based Road Pricing

abstract: This study presents a Bayesian Optimization framework for area- and distance-based time-of-day pricing (TODP) for urban networks. The road pricing optimization problem can reach high level of complexity depending on the pricing scheme considered, its associated detailed network properties and the affected heterogeneous demand features. We consider heterogeneous travellers with individual-specific trip attributes and departure-time choice parameters together with a Macroscopic Fundamental Diagram (MFD) model for the urban network. Its mathematical formulation is presented and an agent-based simulation framework is constructed as evaluation function for the TODP optimization problem. The latter becomes highly nonlinear and relying on an expensive-to-evaluate objective function. We then present and test a Bayesian Optimization approach to compute different time-of-day pricing schemes by maximizing social welfare. Our proposed method learns the relationship between the prices and welfare within a few iterations and is able to find good solutions even in scenarios with high dimensionality in the decision variables space, setting a path for complexity reduction in more realistic road pricing optimization problems. Furthermore and as expected, the simulation results show that TODP improves the social welfare against the no-pricing case.


title: Bayesian Crowdsourcing with Constraints

abstract: Crowdsourcing has emerged as a powerful paradigm for efficiently labeling large datasets and performing various learning tasks, by leveraging crowds of human annotators. When additional information is available about the data, semi-supervised crowdsourcing approaches that enhance the aggregation of labels from human annotators are well motivated. This work deals with semi-supervised crowdsourced classification, under two regimes of semi-supervision: a) label constraints, that provide ground-truth labels for a subset of data; and b) potentially easier to obtain instance-level constraints, that indicate relationships between pairs of data. Bayesian algorithms based on variational inference are developed for each regime, and their quantifiably improved performance, compared to unsupervised crowdsourcing, is analytically and empirically validated on several crowdsourcing datasets.


title: Fusing CNNs and statistical indicators to improve image classification

abstract: Convolutional Networks have dominated the field of computer vision for the last ten years, exhibiting extremely powerful feature extraction capabilities and outstanding classification performance. The main strategy to prolong this trend relies on further upscaling networks in size. However, costs increase rapidly while performance improvements may be marginal. We hypothesise that adding heterogeneous sources of information may be more cost-effective to a CNN than building a bigger network. In this paper, an ensemble method is proposed for accurate image classification, fusing automatically detected features through Convolutional Neural Network architectures with a set of manually defined statistical indicators. Through a combination of the predictions of a CNN and a secondary classifier trained on statistical features, better classification performance can be cheaply achieved. We test multiple learning algorithms and CNN architectures on a diverse number of datasets to validate our proposal, making public all our code and data via GitHub. According to our results, the inclusion of additional indicators and an ensemble classification approach helps to increase the performance in 8 of 9 datasets, with a remarkable increase of more than 10% precision in two of them.


title: Probing the internal magnetism of stars using asymptotic magneto-asteroseismology

abstract: Our knowledge of the dynamics of stars has undergone a revolution thanks to the simultaneous large amount of high-quality photometric observations collected by space-based asteroseismology and ground-based high-precision spectropolarimetry. They allowed us to probe the internal rotation of stars and their surface magnetism in the whole Hertzsprung-Russell diagram. However, new methods should still be developed to probe the deep magnetic fields in those stars. Our goal is to provide seismic diagnoses that allow us to sound the internal magnetism of stars. Here, we focus on asymptotic low-frequency gravity modes and high-frequency acoustic modes. Using a first-order perturbative theory, we derive magnetic splittings of their frequencies as explicit functions of stellar parameters. As in the case of rotation, we show how asymptotic gravity and acoustic modes can allow us to probe the different components of the magnetic field in the cavities where they propagate. This demonstrates again the high potential of using mixed-modes when this is possible.


title: Mappings preserving product $ab\pm ba^{*}$ on alternative $W^{*}$-factors

abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be two alternative $W^{*}$-factors. In this paper, we proved that a bijective mapping $\Phi :\mathcal{A}\rightarrow \mathcal{B}$ satisfies $\Phi (ab+ba^{*})=\Phi (a)\Phi (b)+\Phi (b)\Phi (a)^{*}$ (resp., $\Phi (ab-ba^{*})=\Phi (a)\Phi (b)-\Phi (b)\Phi (a)^{*}$), for all elements $a,b\in \mathcal{A}$, if and only if $\Phi $ is a $\ast $-ring isomorphism.


title: A note on fractional covers of a graph

abstract: A fractional colouring of a graph $G$ is a function that assigns a non-negative real value to all possible colour-classes of $G$ containing any vertex of $G$, such that the sum of these values is at least one for each vertex. The fractional chromatic number is the minimum sum of the values assigned by a fractional colouring over all possible such colourings of $G$. Introduced by Bosica and Tardif, fractional covers are an extension of fractional colourings whereby the real-valued function acts on all possible subgraphs of $G$ belonging to a given class of graphs. The fractional chromatic number turns out to be a special instance of the fractional cover number. In this work we investigate fractional covers acting on $(k+1)$-clique-free subgraphs of $G$ which, although sharing some similarities with fractional covers acting on $k$-colourable subgraphs of $G$, they exhibit some peculiarities. We first show that if a simple graph $G_2$ is a homomorphic image of a simple graph $G_1$, then the fractional cover number defined on the $(k+1)$-clique-free subgraphs of $G_1$ is bounded above by the corresponding number of $G_2$. We make use of this result to obtain bounds for the associated fractional cover number of graphs that are either $n$-colourable or $a\!\!:\!\!b$-colourable.


title: Julia sets of Zorich maps

abstract: The Julia set of the exponential family $E_{\kappa}:z\mapsto\kappa e^z$, $\kappa>0$ was shown to be the entire complex plane when $\kappa>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<\kappa\leq1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the entire $\mathbb{R}^3$ generalizing Misiurewicz's result. Moreover, we show that the periodic points of the Zorich map are dense in $\mathbb{R}^3$ and that its escaping set is connected, generalizing a result of Rempe. We also generalize a theorem of Ghys, Sullivan and Goldberg on the measurable dynamics of the exponential.


title: Invariant Conformal Killing-Yano $2$-forms on five dimensional Lie Groups

abstract: We study left invariant conformal Killing-Yano (CKY) $2$-forms on Lie groups endowed with a left invariant metric. We classify all $5$-dimensional metric Lie algebras carrying CKY tensors that are obtained as a one-dimensional central extension of 4-dimensional metric Lie algebras endowed with a invertible parallel skew-symmetric tensor. On the other hand, we also classify $5$-dimensional metric Lie algebras with center of dimension greater than one admitting strict CKY tensors. In addition, we determine all possible CKY tensors on these metric Lie algebras. In particular, we exhibit the first examples of CKY $2$-forms on metric Lie algebras which do not admit any Sasakian structure.


title: Social Media COVID-19 Misinformation Interventions Viewed Positively, But Have Limited Impact

abstract: Amidst COVID-19 misinformation spreading, social media platforms like Facebook and Twitter rolled out design interventions, including banners linking to authoritative resources and more specific "false information" labels. In late March 2020, shortly after these interventions began to appear, we conducted an exploratory mixed-methods survey (N = 311) to learn: what are social media users' attitudes towards these interventions, and to what extent do they self-report effectiveness? We found that most participants indicated a positive attitude towards interventions, particularly post-specific labels for misinformation. Still, the majority of participants discovered or corrected misinformation through other means, most commonly web searches, suggesting room for platforms to do more to stem the spread of COVID-19 misinformation.


title: Quantum Amplitude Arithmetic

abstract: Quantum algorithm involves the manipulation of amplitudes and computational basis, of which manipulating basis is largely a quantum analogue of classical computing that is always a major contributor to the complexity. In order to make full use of quantum mechanical speedup, more transformation should be implemented on amplitudes. Here we propose the notion of quantum amplitude arithmetic (QAA) that intent to evolve the quantum state by performing arithmetic operations on amplitude. Based on the basic design of multiplication and addition operations, QAA can be applied to solve the black-box quantum state preparation problem and the quantum linear system problem with fairly low complexity, and evaluate nonlinear functions on amplitudes directly. QAA is expected to find applications in a variety of quantum algorithms.


title: On the multiplier problem for the ball on graded Lie groups

abstract: In this note, we consider a non-commutative analogy of the classical Fefferman multiplier problem for the ball. More precisely, if $\chi$ is the characteristic function of the unit interval $I=[0,1],$ we investigate a family of differential operators $\mathcal{R}$ on a graded Lie group $G,$ for which the multipliers $\chi(\mathcal{R})$ are bounded on $L^p(G),$ if and only if $p=2.$


title: A Bayesian methodology for localising acoustic emission sources in complex structures

abstract: In the field of structural health monitoring (SHM), the acquisition of acoustic emissions to localise damage sources has emerged as a popular approach. Despite recent advances, the task of locating damage within composite materials and structures that contain non-trivial geometrical features, still poses a significant challenge. Within this paper, a Bayesian source localisation strategy that is robust to these complexities is presented. Under this new framework, a Gaussian process is first used to learn the relationship between source locations and the corresponding difference-in-time-of-arrival values for a number of sensor pairings. As an acoustic emission event with an unknown origin is observed, a mapping is then generated that quantifies the likelihood of the emission location across the surface of the structure. The new probabilistic mapping offers multiple benefits, leading to a localisation strategy that is more informative than deterministic predictions or single-point estimates with an associated confidence bound. The performance of the approach is investigated on a structure with numerous complex geometrical features and demonstrates a favourable performance in comparison to other similar localisation methods.


title: On the consistency of the Lagrange multiplier method in classical mechanics

abstract: Problems involving rolling without slipping or no sideways skidding, to name a few, introduce velocity-dependent constraints that can be efficiently treated by the method of Lagrange multipliers in the Lagrangian formulation of the classical equations of motion. In doing so one finds, as a bonus, the constraint forces, which must be independent of the solution of the equations of motion, and can only depend on the generalized coordinates and velocities, as well as time. In this paper we establish the conditions the Lagrangian should obey that guarantee that the constraint forces can be obtained consistently.


title: Adversarial Patch Generation for Automated Program Repair

abstract: Automated Program Repair has attracted significant research in recent years, leading to diverse techniques that focus on two main directions: search-based and semantic-based program repair. The former techniques often face challenges due to the vast search space, resulting in difficulties in identifying correct solutions, while the latter approaches are constrained by the capabilities of the underlying semantic analyser, limiting their scalability. In this paper, we propose NEVERMORE, a novel learning-based mechanism inspired by the adversarial nature of bugs and fixes. NEVERMORE is built upon the Generative Adversarial Networks architecture and trained on historical bug fixes to generate repairs that closely mimic human-produced fixes. Our empirical evaluation on 500 real-world bugs demonstrates the effectiveness of NEVERMORE in bug-fixing, generating repairs that match human fixes for 21.2% of the examined bugs. Moreover, we evaluate NEVERMORE on the Defects4J dataset, where our approach generates repairs for 4 bugs that remained unresolved by state-of-the-art baselines. NEVERMORE also fixes another 8 bugs which were only resolved by a subset of these baselines. Finally, we conduct an in-depth analysis of the impact of input and training styles on NEVERMORE's performance, revealing where the chosen style influences the model's bug-fixing capabilities.


title: Relative Tur\'an Numbers for Hypergraph Cycles

abstract: For an $r$-uniform hypergraph $H$ and a family of $r$-uniform hypergraphs $\mathcal{F}$, the relative Tur\'{a}n number $\mathrm{ex}(H,\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $H$. In this paper we give lower bounds on $\mathrm{ex}(H,\mathcal{F})$ for certain families of hypergraph cycles $\mathcal{F}$ such as Berge cycles and loose cycles. In particular, if $\mathcal{C}_\ell^3$ denotes the set of all $3$-uniform Berge $\ell$-cycles and $H$ is a 3-uniform hypergraph with maximum degree $\Delta$, we prove \[\mathrm{ex}(H,\mathcal{C}_4^{3})\ge \Delta^{-3/4-o(1)}e(H),\] \[\mathrm{ex}(H,\mathcal{C}_5^{3})\ge \Delta^{-3/4-o(1)}e(H),\] and these bounds are tight up to the $o(1)$ term.


title: Efficient Segment Folding is Hard

abstract: We introduce a computational origami problem which we call the segment folding problem: given a set of $n$ line-segments in the plane the aim is to make creases along all segments in the minimum number of folding steps. Note that a folding might alter the relative position between the segments, and a segment could split into two. We show that it is NP-hard to determine whether $n$ line segments can be folded in $n$ simple folding operations.


title: On a weighted sum of multiple T-values of fixed weight and depth

abstract: The multiple T-value, which is a variant of multiple zeta value of level two, is introduced by Kaneko and Tsumura. We show that the generating function of a weighted sum of the multiple T-values of fixed weight and depth is given in terms of the multiple T-values of depth one by solving a differential equation of Heun type.


title: Data-Driven Geometric System Identification for Shape-Underactuated Dissipative Systems

abstract: Systems whose movement is highly dissipative provide an opportunity to both identify models easily and quickly optimize motions. Geometric mechanics provides means for reduction of the dynamics by environmental homogeneity, while the dissipative nature minimizes the role of second order (inertial) features in the dynamics. Here we extend the tools of geometric system identification to ``Shape-Underactuated Dissipative Systems (SUDS)'' -- systems whose motions are more dissipative than inertial, but whose actuation is restricted to a subset of the body shape coordinates. Many animal motions are SUDS, including micro-swimmers such as nematodes and flagellated bacteria, and granular locomotors such as snakes and lizards. Many soft robots are also SUDS, particularly those robots using highly damped series elastic actuators. Whether involved in locomotion or manipulation, these robots are often used to interface less rigidly with the environment. We motivate the use of SUDS models, and validate their ability to predict motion of a variety of simulated viscous swimming platforms. For a large class of SUDS, we show how the shape velocity actuation inputs can be directly converted into torque inputs suggesting that systems with soft pneumatic actuators or dielectric elastomers can be modeled with the tools presented. Based on fundamental assumptions in the physics, we show how our model complexity scales linearly with the number of passive shape coordinates. This offers a large reduction on the number of trials needed to identify the system model from experimental data, and may reduce overfitting. The sample efficiency of our method suggests its use in modeling, control, and optimization in robotics, and as a tool for the study of organismal motion in friction dominated regimes.


title: HERMES: Persistent spectral graph software

abstract: Persistent homology (PH) is one of the most popular tools in topological data analysis (TDA), while graph theory has had a significant impact on data science. Our earlier work introduced the persistent spectral graph (PSG) theory as a unified multiscale paradigm to encompass TDA and geometric analysis. In PSG theory, families of persistent Laplacians (PLs) corresponding to various topological dimensions are constructed via a filtration to sample a given dataset at multiple scales. The harmonic spectra from the null spaces of PLs offer the same topological invariants, namely persistent Betti numbers, at various dimensions as those provided by PH, while the non-harmonic spectra of PLs give rise to additional geometric analysis of the shape of the data. In this work, we develop an open-source software package, called highly efficient robust multidimensional evolutionary spectra (HERMES), to enable broad applications of PSGs in science, engineering, and technology. To ensure the reliability and robustness of HERMES, we have validated the software with simple geometric shapes and complex datasets from three-dimensional (3D) protein structures. We found that the smallest non-zero eigenvalues are very sensitive to data abnormality.


title: Fairness, Welfare, and Equity in Personalized Pricing

abstract: We study the interplay of fairness, welfare, and equity considerations in personalized pricing based on customer features. Sellers are increasingly able to conduct price personalization based on predictive modeling of demand conditional on covariates: setting customized interest rates, targeted discounts of consumer goods, and personalized subsidies of scarce resources with positive externalities like vaccines and bed nets. These different application areas may lead to different concerns around fairness, welfare, and equity on different objectives: price burdens on consumers, price envy, firm revenue, access to a good, equal access, and distributional consequences when the good in question further impacts downstream outcomes of interest. We conduct a comprehensive literature review in order to disentangle these different normative considerations and propose a taxonomy of different objectives with mathematical definitions. We focus on observational metrics that do not assume access to an underlying valuation distribution which is either unobserved due to binary feedback or ill-defined due to overriding behavioral concerns regarding interpreting revealed preferences. In the setting of personalized pricing for the provision of goods with positive benefits, we discuss how price optimization may provide unambiguous benefit by achieving a "triple bottom line": personalized pricing enables expanding access, which in turn may lead to gains in welfare due to heterogeneous utility, and improve revenue or budget utilization. We empirically demonstrate the potential benefits of personalized pricing in two settings: pricing subsidies for an elective vaccine, and the effects of personalized interest rates on downstream outcomes in microcredit.


title: On Relating 'Why?' and 'Why Not?' Explanations

abstract: Explanations of Machine Learning (ML) models often address a 'Why?' question. Such explanations can be related with selecting feature-value pairs which are sufficient for the prediction. Recent work has investigated explanations that address a 'Why Not?' question, i.e. finding a change of feature values that guarantee a change of prediction. Given their goals, these two forms of explaining predictions of ML models appear to be mostly unrelated. However, this paper demonstrates otherwise, and establishes a rigorous formal relationship between 'Why?' and 'Why Not?' explanations. Concretely, the paper proves that, for any given instance, 'Why?' explanations are minimal hitting sets of 'Why Not?' explanations and vice-versa. Furthermore, the paper devises novel algorithms for extracting and enumerating both forms of explanations.


title: Sustained Kozai-Lidov oscillations in misaligned circumstellar gas disks

abstract: A disk around one component of a binary star system with sufficiently high inclination can undergo Kozai-Lidov (KL) oscillations during which the disk inclination and disk eccentricity are exchanged. Previous studies show that without a source of accretion, KL unstable disks exhibit damped oscillations, due to viscous dissipation, that leave the disk stable near or below the critical inclination for KL oscillations. With three-dimensional hydrodynamical simulations we show that a highly misaligned circumbinary disk that flows onto the binary components forms highly inclined circumstellar disks around each component. We show that a continuous infall of highly inclined material allows the KL oscillations to continue. The KL disk oscillations produce shocks and eccentricity growth in the circumstellar disks that affect the conditions for planet formation.


title: Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,R)$ cocycles

abstract: We prove that if the frequency of the quasi-periodic $\mathrm{SL}(2,\R)$ cocycle is Diophantine, then the following properties are dense in the subcritical regime: for any $\frac{1}{2}<\kappa<1$, the Lyapunov exponent is exactly $\kappa$-H\"older continuous; the extended eigenstates of the potential have optimal sub-linear growth; and the dual operator associated a subcritical potential has power-law decay eigenfunctions. The proof is based on fibered Anosov-Katok constructions for quasi-periodic $\mathrm{SL}(2,\R)$ cocycles.


title: Energy Efficient Federated Learning over Heterogeneous Mobile Devices via Joint Design of Weight Quantization and Wireless Transmission

abstract: Federated learning (FL) is a popular collaborative distributed machine learning paradigm across mobile devices. However, practical FL over resource constrained mobile devices confronts multiple challenges, e.g., the local on-device training and model updates in FL are power hungry and radio resource intensive for mobile devices. To address these challenges, in this paper, we attempt to take FL into the design of future wireless networks and develop a novel joint design of wireless transmission and weight quantization for energy efficient FL over mobile devices. Specifically, we develop flexible weight quantization schemes to facilitate on-device local training over heterogeneous mobile devices. Based on the observation that the energy consumption of local computing is comparable to that of model updates, we formulate the energy efficient FL problem into a mixed-integer programming problem where the quantization and spectrum resource allocation strategies are jointly determined for heterogeneous mobile devices to minimize the overall FL energy consumption (computation + transmissions) while guaranteeing model performance and training latency. Since the optimization variables of the problem are strongly coupled, an efficient iterative algorithm is proposed, where the bandwidth allocation and weight quantization levels are derived. Extensive simulations are conducted to verify the effectiveness of the proposed scheme.


title: Stabilization of cycles for difference equations with a noisy PF control

abstract: Difference equations, such as a Ricker map, for an increased value of the parameter, experience instability of the positive equilibrium and transition to deterministic chaos. To achieve stabilization, various methods can be applied. Proportional Feedback control suggests a proportional reduction of the state variable at every $k$th step. First, if $k \neq 1$, a cycle is stabilized rather than an equilibrium. Second, the equation can incorporate an additive noise term, describing the variability of the environment, as well as multiplicative noise corresponding to possible deviations in the control intensity. The present paper deals with both issues, it justifies a possibility of getting a stable blurred $k$-cycle. Presented examples include the Ricker model, as well as equations with unbounded $f$, such as the bobwhite quail population models. Though the theoretical results justify stabilization for either multiplicative or additive noise only, numerical simulations illustrate that a blurred cycle can be stabilized when both multiplicative and additive noises are involved.


title: A Secured Protocol for IoT Networks

abstract: Researchers in the past have shown that Symmetric key cryptography is generally considered infeasible and public key cryptography, at times, fails to provide sufficient security and integrity to data. In contrast to this prejudice, our paper presents a novel approach that establishes security to data through encryption techniques like RSA and more importantly it identifies a randomized path to route messages from source to the destination and ensures that packets are delivered safely even when intermediate nodes are attacked by identifying alternate paths between source and the destination.


title: Regularization in network optimization via trimmed stochastic gradient descent with noisy label

abstract: Regularization is essential for avoiding over-fitting to training data in network optimization, leading to better generalization of the trained networks. The label noise provides a strong implicit regularization by replacing the target ground truth labels of training examples by uniform random labels. However, it can cause undesirable misleading gradients due to the large loss associated with incorrect labels. We propose a first-order optimization method (Label-Noised Trim-SGD) that uses the label noise with the example trimming in order to remove the outliers based on the loss. The proposed algorithm is simple yet enables us to impose a large label-noise and obtain a better regularization effect than the original methods. The quantitative analysis is performed by comparing the behavior of the label noise, the example trimming, and the proposed algorithm. We also present empirical results that demonstrate the effectiveness of our algorithm using the major benchmarks and the fundamental networks, where our method has successfully outperformed the state-of-the-art optimization methods.


title: Reduction of quantum noise using the quantum locking with an optical spring for gravitational wave detectors

abstract: In our previous research, simulation showed that a quantum locking scheme with homodyne detection in sub-cavities is effective in surpassing the quantum noise limit for Deci-hertz Interferometer Gravitational Wave Observatory (DECIGO) in a limited frequency range. This time we have simulated an optical spring effect in the sub-cavities of the quantum locking scheme. We found that the optimized total quantum noise is reduced in a broader frequency band, compared to the case without the optical spring effect significantly improving the sensitivity of DECIGO to the primordial gravitational waves.


title: Well-balanced lattice Boltzmann equation for two-phase flows

abstract: The standard lattice Boltzmann equation (LBE) method usually fails to capture the physical equilibrium state of a two-phase fluid system, i.e., zero velocity and constant chemical potential. Consequently, spurious velocities and inconsistent thermodynamic density properties are frequently encountered in LBE simulations. In this work, based on a rigorous analysis of the discrete balance equation of LBE, we identify the structure of the force imbalance due to discretization errors from different parts. Then a well-balanced LBE is proposed which can achieve the discrete equilibrium state. The well-balanced properties of the LBE are confirmed by some numerical tests of a flat interface problem and a droplet system.

categories: physics.flu-dyn cs.NA math.NA physics.comp-ph


title: Efficient Parallel Schemes for Cell-free Massive MIMO Using Radio Stripes

abstract: Cell-free massive MIMO provides ubiquitous connectivity for multiple users, and implementation using radio stripes is very efficient. This paper proposes a parallel scheme for radio stripes to allow access point to do signal processing simultaneously. Simple maximum ratio (MR) processing works in this scheme, but its performance is bad. Therefore, this paper further proposes two efficient parallel schemes to gain better performance. The first is interference-aware MR processing with a tailored user-centric strategy. The second is distributed regularized zero-forcing (D-RZF) algorithm which derives from LMMSE. Simulation results show that the proposed parallel schemes gain better performance than existing works.


title: Optimized 2D CA-CFAR for Drone-Mounted Radar Signal Processing Using Integral Image Algorithm

abstract: Buried survivor detection in the post-disaster environment by employing radar as sensor is an appealing approach. However, the implementation in the real field is challenging especially for large observation missions. Mounting the radar on the flying drone is the most promising solution. In this case, since the limitations of drones such as low computer specification and limited power resources, an efficient radar data processing is crucially required. Hence, this paper study about the implementation of the integral image technique to optimize the computation of the signal processing step of ultra-wideband impulse radar signatures. The evaluation was held on the single board computer mounted on the developed multisensory drone. The results confirm that the developed method can relatively reduce the data processing time.


title: DynamicHS: Streamlining Reiter's Hitting-Set Tree for Sequential Diagnosis

abstract: Given a system that does not work as expected, Sequential Diagnosis (SD) aims at suggesting a series of system measurements to isolate the true explanation for the system's misbehavior from a potentially exponential set of possible explanations. To reason about the best next measurement, SD methods usually require a sample of possible fault explanations at each step of the iterative diagnostic process. The computation of this sample can be accomplished by various diagnostic search algorithms. Among those, Reiter's HS-Tree is one of the most popular due its desirable properties and general applicability. Usually, HS-Tree is used in a stateless fashion throughout the SD process to (re)compute a sample of possible fault explanations in each iteration, each time given the latest (updated) system knowledge including all so-far collected measurements. At this, the built search tree is discarded between two iterations, although often large parts of the tree have to be rebuilt in the next iteration, involving redundant operations and calls to costly reasoning services. As a remedy to this, we propose DynamicHS, a variant of HS-Tree that maintains state throughout the diagnostic session and additionally embraces special strategies to minimize the number of expensive reasoner invocations. In this vein, DynamicHS provides an answer to a longstanding question posed by Raymond Reiter in his seminal paper from 1987. Extensive evaluations on real-world diagnosis problems prove the reasonability of the DynamicHS and testify its clear superiority to HS-Tree wrt. computation time. More specifically, DynamicHS outperformed HS-Tree in 96% of the executed sequential diagnosis sessions and, per run, the latter required up to 800% the time of the former. Remarkably, DynamicHS achieves these performance improvements while preserving all desirable properties as well as the general applicability of HS-Tree.


title: Study of $e^+e^- \to 2(p\bar{p})$ at center-of-mass energies between 4.0 and 4.6 GeV

abstract: Using data taken at 23 center-of-mass energies between 4.0 and 4.6 GeV with the BESIII detector at the BEPCII collider and with a total integrated luminosity of approximately $15$ fb$^{-1}$, the process $e^+e^-\to 2(p \bar{p})$ is studied for the first time. The Born cross sections for $e^+e^-\to 2(p \bar{p})$ are measured, and no significant structure is observed in the lineshape. The baryon pair ($pp$ and $\bar{p}\bar{p}$) invariant mass spectra are consistent with phase space, therefore no hexaquark or di-baryon state is found.


title: OGLE-2017-BLG-1049: Another giant planet microlensing event

abstract: We report a giant exoplanet discovery in the microlensing event OGLE-2017-BLG-1049, which is a planet-host star mass ratio of $q=9.53\pm0.39\times10^{-3}$ and has a caustic crossing feature in the Korea Microlensing Telescope Network (KMTNet) observations. The caustic crossing feature yields an angular Einstein radius of $\theta_{\rm E}=0.52 \pm 0.11\ {\rm mas}$. However, the microlens parallax is not measured because of the time scale of the event $t_{\rm E}\simeq 29\ {\rm days}$, which is not long enough in this case to determine the microlens parallax. Thus, we perform a Bayesian analysis to estimate physical quantities of the lens system. From this, we find that the lens system has a star with mass $M_{\rm h}=0.55^{+0.36}_{-0.29} \ M_{\odot}$ hosting a giant planet with $M_{\rm p}=5.53^{+3.62}_{-2.87} \ M_{\rm Jup}$, at a distance of $D_{\rm L}=5.67^{+1.11}_{-1.52}\ {\rm kpc}$. The projected star-planet separation in units of the Einstein radius $(\theta_{\rm E})$ corresponding to the total mass of the lens system is $a_{\perp}=3.92^{+1.10}_{-1.32}\ \rm{au}$. This means that the planet is located beyond the snow line of the host. The relative lens-source proper motion is $\mu_{\rm rel}\sim 7 \ \rm{mas \ yr^{-1}}$, thus the lens and source will be separated from each other within 10 years. Then the flux of the host star can be measured by a 30m class telescope with high-resolution imaging in the future, and thus its mass can be determined.


title: To count clean triangles we count on $imph(n)$

abstract: A clean lattice triangle in ${\mathbb R}^2$ is a triangle that does not contain any lattice points on its sides other than its vertices. The central goal of this paper is to count the number of clean triangles of a given area up to unimodular equivalence. In doing so we use a variant of the Euler phi function which we call $imph(n)$ (imitation phi).


title: Phonon Casimir effect in polyatomic systems

abstract: The phonon Casimir effect describes the phonon-mediated interaction between defects in condensed-matter systems. Using the path-integral formalism, we derive a general method for calculating the Helmholtz free energy due to vibrational modes in systems of arbitrary dimensionality and composition. Our results make it possible to extract the defect interaction energy at any temperature for various defect configurations. We demonstrate our approach in action by performing numerical calculations for mono- and diatomic chains, as well as a diatomic molecule, at zero and finite temperatures and validate our results using exact diagonalization.


title: A Note on Graph-Based Nearest Neighbor Search

abstract: Nearest neighbor search has found numerous applications in machine learning, data mining and massive data processing systems. The past few years have witnessed the popularity of the graph-based nearest neighbor search paradigm because of its superiority over the space-partitioning algorithms. While a lot of empirical studies demonstrate the efficiency of graph-based algorithms, not much attention has been paid to a more fundamental question: why graph-based algorithms work so well in practice? And which data property affects the efficiency and how? In this paper, we try to answer these questions. Our insight is that "the probability that the neighbors of a point o tends to be neighbors in the KNN graph" is a crucial data property for query efficiency. For a given dataset, such a property can be qualitatively measured by clustering coefficient of the KNN graph. To show how clustering coefficient affects the performance, we identify that, instead of the global connectivity, the local connectivity around some given query q has more direct impact on recall. Specifically, we observed that high clustering coefficient makes most of the k nearest neighbors of q sit in a maximum strongly connected component (SCC) in the graph. From the algorithmic point of view, we show that the search procedure is actually composed of two phases - the one outside the maximum SCC and the other one in it, which is different from the widely accepted single or multiple paths search models. We proved that the commonly used graph-based search algorithm is guaranteed to traverse the maximum SCC once visiting any point in it. Our analysis reveals that high clustering coefficient leads to large size of the maximum SCC, and thus provides good answer quality with the help of the two-phase search procedure. Extensive empirical results over a comprehensive collection of datasets validate our findings.


title: Maximum deconstructibility in module categories

abstract: We prove that Vop\v{e}nka's Principle implies that for every class $\mathfrak{X}$ of modules over any ring, the class of \textbf{$\boldsymbol{\mathfrak{X}}$-Gorenstein Projective modules} (\textbf{$\boldsymbol{\mathfrak{X}}$-$\boldsymbol{\mathcal{GP}}$}) is a special precovering class. In particular, it is not possible to prove (unless Vop\v{e}nka's Principle is inconsistent) that there is a ring over which the \textbf{Ding Projectives} ($\boldsymbol{\mathcal{DP}}$) or the \textbf{Gorenstein Projectives} ($\boldsymbol{\mathcal{GP}}$) do not form a precovering class (\v{S}aroch previously obtained this result for the class $\mathcal{GP}$, using different methods). The key innovation is a new "top-down" characterization of \emph{deconstructibility}, which is a well-known sufficient condition for a class to be precovering. We also prove that Vop\v{e}nka's Principle implies, in some sense, the maximum possible amount of deconstructibility in module categories.


title: Non-Kolmogorov turbulence in multiphase intracluster medium driven by cold gas precipitation and AGN jets

abstract: AGN feedback is responsible for maintaining plasma in global thermal balance in extended halos of elliptical galaxies and galaxy clusters. Local thermal instability in the hot gas leads to the formation of precipitating cold gas clouds that feed the central supermassive black holes, thus heating the hot gas and maintaining global thermal equilibrium. We perform three dimensional MHD simulations of self-regulated AGN feedback in a Perseus-like galaxy cluster with the aim of understanding the impact of the feedback physics on the turbulence properties of the hot and cold phases of the ICM. We find that, in general, the cold phase velocity structure function (VSF) is steeper than the prediction from Kolmogorov's theory. We attribute the physical origin of the steeper slope of the cold phase VSF to the driving of turbulent motions primarily by the gravitational acceleration acting on the ballistic clouds. We demonstrate that, in the pure hydrodynamical case, the precipitating cold filaments may be the dominant agent driving turbulence in the hot ICM. The arguments in favor of this hypothesis are that: (i) the cold phase mass dominates over hot gas mass in the inner cool core; (ii) hot and cold gas velocities are spatially correlated; (iii) both the cold and hot phase velocity distributions are radially biased. We show that, in the MHD case, the turbulence in the ambient hot medium (excluding the jet cone regions) can also be driven by the AGN jets. The driving is then facilitated by enhanced coupling due to magnetic fields of the ambient gas and the AGN jets. In the MHD case, turbulence may thus be driven by a combination of AGN jet stirring and filament motions. We conclude that future observations, including those from high spatial and spectral resolution X-ray missions, may help to constrain self-regulated AGN feedback by quantifying the multi-temperature VSF in the ICM.


title: Stabilization of cycles with stochastic prediction-based and target-oriented control

abstract: We stabilize a prescribed cycle or an equilibrium of the difference equation using pulsed stochastic control. Our technique, inspired by the Kolmogorov's Law of Large Numbers, activates a stabilizing effect of stochastic perturbation and allows for stabilization using a much wider range for the control parameter than would be possible in the absence of noise. Our main general result applies to both Prediction-Based and Target-Oriented Controls. This analysis is the first to make use of the stabilizing effects of noise for Prediction-Based Control; the stochastic version has been examined in the literature, but only the destabilizing effect of noise was demonstrated. A stochastic variant of Target-Oriented Control has never been considered, to the best of our knowledge, and we propose a specific form that uses a point equilibrium or one point on a cycle as a target. We demonstrate our results numerically on the logistic, Ricker and Maynard Smith models from population biology.


title: Observations on BPS observables in 6d

abstract: We study possible geometries and R-symmetry breaking patterns that lead to globally BPS surface operators in the six dimensional $\mathcal{N}=(2,0)$ theory. We find four main classes of solutions in different subspaces of $\mathbb{R}^6$ and a multitude of subclasses and specific examples. We prove that these constructions lead to supersymmety preserving observables and count the number of preserved supercharges. We discuss the underlying geometry, calculate their anomalies and present analogous structures for the holographic dual M2-branes in $AdS_7\times S^4$. We also comment on the dimensional reduction of these observables to line and surface operators in 4d and 5d theories. This rich spectrum of operators are proposed as the simplest and most natural observables of this mysterious theory.


title: Efficient qubit phase estimation using adaptive measurements

abstract: Estimating correctly the quantum phase of a physical system is a central problem in quantum parameter estimation theory due to its wide range of applications from quantum metrology to cryptography. Ideally, the optimal quantum estimator is given by the so-called quantum Cram\'er-Rao bound, so any measurement strategy aims to obtain estimations as close as possible to it. However, more often than not, the current state-of-the-art methods to estimate quantum phases fail to reach this bound as they rely on maximum likelihood estimators of non-identifiable likelihood functions. In this work we thoroughly review various schemes for estimating the phase of a qubit, identifying the underlying problem which prohibits these methods to reach the quantum Cram\'er-Rao bound, and propose a new adaptive scheme based on covariant measurements to circumvent this problem. Our findings are carefully checked by Monte Carlo simulations, showing that the method we propose is both mathematically and experimentally more realistic and more efficient than the methods currently available.


title: Structure of centralizer algebras

abstract: Given an $n\times n$ matrix $c$ over a unitary ring $R$, the centralizer of $c$ in the full $n\times n$ matrix ring $M_n(R)$ is called a principal centralizer matrix ring, denoted by $S_n(c,R)$. We investigate its structure and prove: $(1)$ If $c$ is an invertible matrix with a $c$-free point, or if $R$ has no zero-divisors and $c$ is a Jordan-similar matrix with all eigenvalues in the center of $R$, then $M_n(R)$ is a separable Frobenius extension of $S_{n}(c,R)$ in the sense of Kasch. $(2)$ If $R$ is an integral domain and $c$ is a Jordan-similar matrix, then $S_n(c,R)$ is a cellular $R$-algebra in the sense of Graham and Lehrer. In particular, if $R$ is an algebraically closed field and $c$ is an arbitrary matrix in $M_n(R)$, then $S_n(c,R)$ is always a cellular algebra, and the extension $S_n(c,R)\subseteq M_n(R)$ is always a separable Frobenius extension.


title: $F$-rationality of two-dimensional graded rings with a rational singularity

abstract: It is known that a two-dimensional $F$-rational ring has a rational singularity. However a two-dimensional ring with a rational singularity is not $F$-rational in general. In this paper, we investigate $F$-rationality of a two-dimensional graded ring with a rational singularity in terms of the multiplicity. Moreover, we determine when a two-dimensional graded ring with a rational singularity and a small multiplicity is $F$-rational.


title: (2,3)-Cordial Oriented Hypercubes

abstract: In this article we investigate the existence of (2,3)-cordial labelings of oriented hypercubes. In this investigation, we determine that there exists a (2,3)-cordial oriented hypercube for any dimension divisible by 3. Next, we provide examples of (2,3)-cordial oriented hypercubes of dimension not divisible by 3 and state a conjecture on existence for dimension 3k + 1. We close by presenting the only 3D oriented hypercubes up to isomorphism that are not (2,3)-cordial.


title: Intrinsic properties of strongly continuous fractional semigroups in normed vector spaces

abstract: Norm estimates for strongly continuous semigroups have been successfully studied in numerous settings, but at the moment there are no corresponding studies in the case of solution operators of singular integral equations. Such equations have recently garnered a large amount of interest due to their potential to model numerous physically relevant phenomena with increased accuracy by incorporating so-called non-local effects. In this article, we provide the first step in the direction of providing such estimates for a particular class of operators which serve as solutions to certain integral equations. The provided results hold in arbitrary normed vector spaces and include the classical results for strongly continuous semigroups as a special case.


title: Anisotropic Polarizability of Ultracold Ground-state $^{23}$Na$^{87}$Rb Molecules

abstract: We report measurements of the ac polarizabilities of ultracold ground-state $^{23}\rm{Na}^{87}\rm{Rb}$ molecules. While the polarizability of the ground rotational state $J = 0$ is isotropic, that of the first excited rotational state $J = 1$ is anisotropic and depends strongly on the light polarization angle. We obtain both polarizabilities precisely by combining trap oscillation frequency measurement and high resolution rotational spectroscopy driven by microwave. With the optimized light polarization angle and intensity combination, the nonuniformity of the differential ac Stark shift between the two rotational states is minimized and the rotational coherence time is observed to be the longest.


title: Complexity of zigzag sampling algorithm for strongly log-concave distributions

abstract: We study the computational complexity of zigzag sampling algorithm for strongly log-concave distributions. The zigzag process has the advantage of not requiring time discretization for implementation, and that each proposed bouncing event requires only one evaluation of partial derivative of the potential, while its convergence rate is dimension independent. Using these properties, we prove that the zigzag sampling algorithm achieves $\varepsilon$ error in chi-square divergence with a computational cost equivalent to $O\bigl(\kappa^2 d^\frac{1}{2}(\log\frac{1}{\varepsilon})^{\frac{3}{2}}\bigr)$ gradient evaluations in the regime $\kappa \ll \frac{d}{\log d}$ under a warm start assumption, where $\kappa$ is the condition number and $d$ is the dimension.


title: Optimal Decoding of Convolutional Codes using a Linear State Space Control Formulation

abstract: The equivalence of a systematic convolutional encoder as linear state-space control system is first realized and presented through an example. Then, utilizing this structure, a new optimal state-sequence estimator is derived, in the spirit of the Viterbi algorithm. Afterwords, a novel way to perform optimal decoding is achieved, named the Bowyer Decoder, which is a fully deterministic decoder in that the full FSM is known to the decoding algorithm.


title: Topological pressure of free semigroup actions for non-compact sets and Bowen's equation, II

abstract: Inspired to the work of Ma and Wu\cite{Ma} and Climenhaga\cite{Climenhaga}, we introduce the new nation of topological pressure of a semigroup of maps by using the Carath\'{e}odory-Pesin structure (C-P structure) with respect to arbitrary subset in this paper. Moreover, by Bowen's equation, we characterize the Hausdorff dimension of an arbitrary subset, where the points of the subset have the positive lower Lyapunov exponents and satisfy a so called tempered contraction condition.


title: DeepKeyGen: A Deep Learning-based Stream Cipher Generator for Medical Image Encryption and Decryption

abstract: The need for medical image encryption is increasingly pronounced, for example to safeguard the privacy of the patients' medical imaging data. In this paper, a novel deep learning-based key generation network (DeepKeyGen) is proposed as a stream cipher generator to generate the private key, which can then be used for encrypting and decrypting of medical images. In DeepKeyGen, the generative adversarial network (GAN) is adopted as the learning network to generate the private key. Furthermore, the transformation domain (that represents the "style" of the private key to be generated) is designed to guide the learning network to realize the private key generation process. The goal of DeepKeyGen is to learn the mapping relationship of how to transfer the initial image to the private key. We evaluate DeepKeyGen using three datasets, namely: the Montgomery County chest X-ray dataset, the Ultrasonic Brachial Plexus dataset, and the BraTS18 dataset. The evaluation findings and security analysis show that the proposed key generation network can achieve a high-level security in generating the private key.


title: Sublinear Maximum Inner Product Search using Concomitants of Extreme Order Statistics

abstract: We propose a novel dimensionality reduction method for maximum inner product search (MIPS), named CEOs, based on the theory of concomitants of extreme order statistics. Utilizing the asymptotic behavior of these concomitants, we show that a few dimensions associated with the extreme values of the query signature are enough to estimate inner products. Since CEOs only uses the sign of a small subset of the query signature for estimation, we can precompute all inner product estimators accurately before querying. These properties yield a sublinear MIPS algorithm with an exponential indexing space complexity. We show that our exponential space is optimal for the $(1 + \epsilon)$-approximate MIPS on a unit sphere. The search recall of CEOs can be theoretically guaranteed under a mild condition. To deal with the exponential space complexity, we propose two practical variants, including sCEOs-TA and coCEOs, that use linear space for solving MIPS. sCEOs-TA exploits the threshold algorithm (TA) and provides superior search recalls to competitive MIPS solvers. coCEOs is a data and dimension co-reduction technique and outperforms sCEOs-TA on high recall requirements. Empirically, they are very simple to implement and achieve at least 100x speedup compared to the bruteforce search while returning top-10 MIPS with accuracy at least 90% on many large-scale data sets.


title: A Graph Reasoning Network for Multi-turn Response Selection via Customized Pre-training

abstract: We investigate response selection for multi-turn conversation in retrieval-based chatbots. Existing studies pay more attention to the matching between utterances and responses by calculating the matching score based on learned features, leading to insufficient model reasoning ability. In this paper, we propose a graph-reasoning network (GRN) to address the problem. GRN first conducts pre-training based on ALBERT using next utterance prediction and utterance order prediction tasks specifically devised for response selection. These two customized pre-training tasks can endow our model with the ability of capturing semantical and chronological dependency between utterances. We then fine-tune the model on an integrated network with sequence reasoning and graph reasoning structures. The sequence reasoning module conducts inference based on the highly summarized context vector of utterance-response pairs from the global perspective. The graph reasoning module conducts the reasoning on the utterance-level graph neural network from the local perspective. Experiments on two conversational reasoning datasets show that our model can dramatically outperform the strong baseline methods and can achieve performance which is close to human-level.


title: Two-directional simultaneous inference for high-dimensional models

abstract: This paper proposes a general two directional simultaneous inference (TOSI) framework for high-dimensional models with a manifest variable or latent variable structure, for example, high-dimensional mean models, high-dimensional sparse regression models, and high-dimensional latent factors models. TOSI performs simultaneous inference on a set of parameters from two directions, one to test whether the assumed zero parameters indeed are zeros and one to test whether exist zeros in the parameter set of nonzeros. As a result, we can exactly identify whether the parameters are zeros, thereby keeping the data structure fully and parsimoniously expressed. We theoretically prove that the proposed TOSI method asymptotically controls the Type I error at the prespecified significance level and that the testing power converges to one. Simulations are conducted to examine the performance of the proposed method in finite sample situations and two real datasets are analyzed. The results show that the TOSI method is more predictive and has more interpretable estimators than existing methods.


title: ResizeMix: Mixing Data with Preserved Object Information and True Labels

abstract: Data augmentation is a powerful technique to increase the diversity of data, which can effectively improve the generalization ability of neural networks in image recognition tasks. Recent data mixing based augmentation strategies have achieved great success. Especially, CutMix uses a simple but effective method to improve the classifiers by randomly cropping a patch from one image and pasting it on another image. To further promote the performance of CutMix, a series of works explore to use the saliency information of the image to guide the mixing. We systematically study the importance of the saliency information for mixing data, and find that the saliency information is not so necessary for promoting the augmentation performance. Furthermore, we find that the cutting based data mixing methods carry two problems of label misallocation and object information missing, which cannot be resolved simultaneously. We propose a more effective but very easily implemented method, namely ResizeMix. We mix the data by directly resizing the source image to a small patch and paste it on another image. The obtained patch preserves more substantial object information compared with conventional cut-based methods. ResizeMix shows evident advantages over CutMix and the saliency-guided methods on both image classification and object detection tasks without additional computation cost, which even outperforms most costly search-based automatic augmentation methods.


title: Unfolded Algorithms for Deep Phase Retrieval

abstract: Exploring the idea of phase retrieval has been intriguing researchers for decades, due to its appearance in a wide range of applications. The task of a phase retrieval algorithm is typically to recover a signal from linear phaseless measurements. In this paper, we approach the problem by proposing a hybrid model-based data-driven deep architecture, referred to as Unfolded Phase Retrieval (UPR), that exhibits significant potential in improving the performance of state-of-the art data-driven and model-based phase retrieval algorithms. The proposed method benefits from versatility and interpretability of well-established model-based algorithms, while simultaneously benefiting from the expressive power of deep neural networks. In particular, our proposed model-based deep architecture is applied to the conventional phase retrieval problem (via the incremental reshaped Wirtinger flow algorithm) and the sparse phase retrieval problem (via the sparse truncated amplitude flow algorithm), showing immense promise in both cases. Furthermore, we consider a joint design of the sensing matrix and the signal processing algorithm and utilize the deep unfolding technique in the process. Our numerical results illustrate the effectiveness of such hybrid model-based and data-driven frameworks and showcase the untapped potential of data-aided methodologies to enhance the existing phase retrieval algorithms.


title: Numerical calculation of dipolar quantum droplet stationary states

abstract: We describe and benchmark a method to accurately calculate the quantum droplet states that can be produced from a dipolar Bose-Einstein condensate. Our approach also allows us to consider vortex states, where the atoms circulate around the long-axis of the filament shaped droplet. We apply our approach to determine a phase diagram showing where self-bound droplets are stable against evaporation, and to quantify the energetics related to the fission of a vortex droplet into two non-vortex droplets.


title: Optimal single-shot discrimination of optical modes

abstract: Retrieving classical information encoded in optical modes is at the heart of many quantum information processing tasks, especially in the field of quantum communication and sensing. Yet, despite its importance, the fundamental limits of optical mode discrimination have been studied only in few specific examples. Here we present a toolbox to find the optimal discrimination of any set of optical modes. The toolbox uses linear and semi-definite programming techniques, which provide rigorous (not heuristic) bounds, and which can be efficiently solved on standard computers. We study both probabilistic and unambiguous single-shot discrimination in two scenarios: the "channel-discrimination scenario", typical of metrology, in which the verifier holds the light source and can set up a reference frame for the phase; and the "source-discrimination scenario", more frequent in cryptography, in which the verifier only sees states that are diagonal in the photon-number basis. Our techniques are illustrated with several examples. Among the results, we find that, for many sets of modes, the optimal state for mode discrimination is a superposition or mixture of at most two number states; but this is not general, and we also exhibit counter-examples.


title: Resting-state EEG sex classification using selected brain connectivity representation

abstract: Effective analysis of EEG signals for potential clinical applications remains a challenging task. So far, the analysis and conditioning of EEG have largely remained sex-neutral. This paper employs a machine learning approach to explore the evidence of sex effects on EEG signals, and confirms the generality of these effects by achieving successful sex prediction of resting-state EEG signals. We have found that the brain connectivity represented by the coherence between certain sensor channels are good predictors of sex.


title: Measurement of the absolute branching fraction of $\Lambda_c^+\to p K^0_{\mathrm{S}}\eta$ decays

abstract: Based on 586 $\rm{pb^{-1}}$ of $e^+e^-$ annihilation data collected at a center-of-mass energy of $\sqrt{s}=4.6~\rm{GeV}$ with the BESIII detector at the BEPCII collider, the absolute branching fraction of $\Lambda_c^+ \to p K^0_{\mathrm{S}}\eta$ decays is measured for the first time to be $\mathcal{B}(\Lambda_c^+ \to p K^0_{\mathrm{S}}\eta) = (0.414 \pm 0.084 \pm 0.028)\%$, where the first uncertainty is statistical and the second is systematic. The result is compatible with a previous CLEO result on the relative branching fraction $\frac{\mathcal{B}(\Lambda_c^+ \to p K^0_{\mathrm{S}}\eta)}{\mathcal{B}(\Lambda_c^+ \to p K^-\pi^+)}$, and consistent with theoretical predictions of SU(3) flavor symmetry.