title: A general anomaly detection framework for fleet-based condition monitoring of machines

abstract: Machine failures decrease up-time and can lead to extra repair costs or even to human casualties and environmental pollution. Recent condition monitoring techniques use artificial intelligence in an effort to avoid time-consuming manual analysis and handcrafted feature extraction. Many of these only analyze a single machine and require a large historical data set. In practice, this can be difficult and expensive to collect. However, some industrial condition monitoring applications involve a fleet of similar operating machines. In most of these applications, it is safe to assume healthy conditions for the majority of machines. Deviating machine behavior is then an indicator for a machine fault. This work proposes an unsupervised, generic, anomaly detection framework for fleet-based condition monitoring. It uses generic building blocks and offers three key advantages. First, a historical data set is not required due to online fleet-based comparisons. Second, it allows incorporating domain expertise by user-defined comparison measures. Finally, contrary to most black-box artificial intelligence techniques, easy interpretability allows a domain expert to validate the predictions made by the framework. Two use-cases on an electrical machine fleet demonstrate the applicability of the framework to detect a voltage unbalance by means of electrical and vibration signatures.


title: 'Place-cell' emergence and learning of invariant data with restricted Boltzmann machines: breaking and dynamical restoration of continuous symmetries in the weight space

abstract: Distributions of data or sensory stimuli often enjoy underlying invariances. How and to what extent those symmetries are captured by unsupervised learning methods is a relevant question in machine learning and in computational neuroscience. We study here, through a combination of numerical and analytical tools, the learning dynamics of Restricted Boltzmann Machines (RBM), a neural network paradigm for representation learning. As learning proceeds from a random configuration of the network weights, we show the existence of, and characterize a symmetry-breaking phenomenon, in which the latent variables acquire receptive fields focusing on limited parts of the invariant manifold supporting the data. The symmetry is restored at large learning times through the diffusion of the receptive field over the invariant manifold; hence, the RBM effectively spans a continuous attractor in the space of network weights. This symmetry-breaking phenomenon takes place only if the amount of data available for training exceeds some critical value, depending on the network size and the intensity of symmetry-induced correlations in the data; below this 'retarded-learning' threshold, the network weights are essentially noisy and overfit the data.


title: The Cauchy Problem for Dissipative Benjamin-Ono equation in Weighted Sobolev spaces

abstract: We study the well-posedness in weighted Sobolev spaces, for the initial value problem (IVP) associated with the dissipative Benjamin-Ono (dBO) equation. We establish persistence properties of the solution flow in the weighted Sobolev spaces $\z_{s,r}=H^s(\R)\cap L^2(|x|^{2r}dx)$, $s\geq r>0$. We also prove some unique continuation properties in these spaces. In particular, such results of unique continuation show that our results of well posedness are sharp.


title: Admissibility versus $A_p$-conditions on regular trees

abstract: We show that the combination of doubling and $(1,p)$-Poincare inequality is equivalent to a version of the $A_p$-condition on rooted K-ary trees.


title: Localized Debiased Machine Learning: Efficient Inference on Quantile Treatment Effects and Beyond

abstract: We consider estimating a low-dimensional parameter in an estimating equation involving high-dimensional nuisances that depend on the parameter. A central example is the efficient estimating equation for the (local) quantile treatment effect ((L)QTE) in causal inference, which involves as a nuisance the covariate-conditional cumulative distribution function evaluated at the quantile to be estimated. Debiased machine learning (DML) is a data-splitting approach to estimating high-dimensional nuisances using flexible machine learning methods, but applying it to problems with parameter-dependent nuisances is impractical. For (L)QTE, DML requires we learn the whole covariate-conditional cumulative distribution function. We instead propose localized debiased machine learning (LDML), which avoids this burdensome step and needs only estimate nuisances at a single initial rough guess for the parameter. For (L)QTE, LDML involves learning just two regression functions, a standard task for machine learning methods. We prove that under lax rate conditions our estimator has the same favorable asymptotic behavior as the infeasible estimator that uses the unknown true nuisances. Thus, LDML notably enables practically-feasible and theoretically-grounded efficient estimation of important quantities in causal inference such as (L)QTEs when we must control for many covariates and/or flexible relationships, as we demonstrate in empirical studies.


title: Asymptotics of twisted Alexander polynomials and hyperbolic volume

abstract: For a hyperbolic knot and a natural number n, we consider the Alexander polynomial twisted by the n-th symmetric power of a lift of the holonomy. We establish the asymptotic behavior of these twisted Alexander polynomials evaluated at unit complex numbers, yielding the volume of the knot exterior. More generally, we prove the asymptotic behavior for cusped hyperbolic manifolds of finite volume. The proof relies on results of M\"uller, and Menal-Ferrer and the last author. Using the uniformity of the convergence, we also deduce a similar asymptotic result for the Mahler measures of those polynomials.


title: On the Frobenius functor for symmetric tensor categories in positive characteristic

abstract: We develop a theory of Frobenius functors for symmetric tensor categories (STC) $\mathcal{C}$ over a field $\bf k$ of characteristic $p$, and give its applications to classification of such categories. Namely, we define a twisted-linear symmetric monoidal functor $F: \mathcal{C}\to \mathcal{C}\boxtimes {\rm Ver}_p$, where ${\rm Ver}_p$ is the Verlinde category (the semisimplification of ${\rm Rep}_{\bf k}(\mathbb{Z}/p)$). This generalizes the usual Frobenius twist functor in modular representation theory and also one defined in arXiv:1503.01492, where it is used to show that if $\mathcal{C}$ is finite and semisimple then it admits a fiber functor to ${\rm Ver}_p$. The main new feature is that when $\mathcal{C}$ is not semisimple, $F$ need not be left or right exact, and in fact this lack of exactness is the main obstruction to the existence of a fiber functor $\mathcal{C}\to {\rm Ver}_p$. We show, however, that there is a 6-periodic long exact sequence which is a replacement for the exactness of $F$, and use it to show that for categories with finitely many simple objects $F$ does not increase the Frobenius-Perron dimension. We also define the notion of a Frobenius exact category, which is a STC on which $F$ is exact, and define the canonical maximal Frobenius exact subcategory $\mathcal{C}_{\rm ex}$ inside any STC $\mathcal{C}$ with finitely many simple objects. Namely, this is the subcategory of all objects whose Frobenius-Perron dimension is preserved by $F$. We prove that a finite STC is Frobenius exact if and only if it admits a (necessarily unique) fiber functor to ${\rm Ver}_p$. We also show that a sufficiently large power of $F$ lands in $\mathcal{C}_{\rm ex}$. Also, in characteristic 2 we introduce a slightly weaker notion of an almost Frobenius exact category and show that a STC with Chevalley property is (almost) Frobenius exact.


title: Causal Diamonds, Cluster Polytopes and Scattering Amplitudes

abstract: The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $\phi^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.


title: Realistic thermal heat engine model and its generalized efficiency

abstract: We identify a realistic model of thermal heat engines and obtain the generalized efficiency, $\eta= 1- \left(\frac{T_c}{T_h}\right)^{1/\delta}$, where $\delta=1+\frac{1}{\gamma}$ and $\gamma$ is the ratio of thermal heat capacities of working substance at two thermal stages of the hot heat reservoir temperature, $T_h$ and the cold heat reservoir temperature, $T_c$. We find that the observed efficiency of practical heat engines satisfy the above generalized efficiency with $1/\delta=0.35594$ $\pm$ $0.07$. The Curzon-Ahlborn efficiency, $\eta_{CA}=1-\left(\frac{T_c}{T_h}\right)^{1/2}$ is obtained for the symmetric case, $\gamma=1$. The generalized efficiency approaches the Carnot efficiency, $\eta_C=1-\frac{T_c}{T_h}$, in the asymmetric limit, $\gamma \to \infty$.


title: Stabilization of a Majorana Zero Mode through Quantum Frustration

abstract: We analyze a system in which a topological Majorana zero mode (tMZM) combines with a Majorana produced by quantum frustration (fMZM) to produce a novel ground state. The system that we study combines two parts, a grounded topological superconducting wire that hosts two tMZMs at its ends, and an on-resonant quantum dot connected to two dissipative leads. The quantum dot with dissipative leads creates an effective two-channel Kondo (2CK) state in which quantum frustration yields an isolated fMZM at the dot. We find that coupling the dot to one end of the topological wire stabilizes the tMZM at the other end. Three routes are used to obtain these results: (i) calculation of the conductance through an auxiliary detector quantum dot, (ii) renormalization group (RG) arguments and the g-theorem, and (iii) a fully non-equilibrium calculation of the I(V ) curve and shot noise S(V ) through the detector dot. In addition to providing a route to achieving an unpaired Majorana zero mode, this scheme provides a clear signature of the presence of the 2CK frustration-induced Majorana.


title: Hot Accelerated Qubits: Decoherence, Thermalization, Secular Growth and Reliable Late-time Predictions

abstract: We compute how an accelerating qubit coupled to a scalar field - i.e. an Unruh-DeWitt detector - evolves in flat space, with an emphasis on its late-time behaviour. When calculable, the qubit evolves towards a thermal state for a field prepared in the Minkowski vacuum, with the approach to this limit controlled by two different time-scales. For a free field we compute both of these as functions of the difference between qubit energy levels, the dimensionless qubit/field coupling constant, the scalar field mass and the qubit's proper acceleration. Both time-scales differ from the Candelas-Deutsch-Sciama transition rate traditionally computed for Unruh-DeWitt detectors, which we show describes the qubit's early-time evolution away from the vacuum rather than its late-time approach to equilibrium. For small enough couplings and sufficiently late times the evolution is Markovian and described by a Lindblad equation, which we derive in detail from first principles as a special instance of Open EFT methods designed to handle a breakdown of late-time perturbative predictions due to the presence of secular growth. We show how this growth is resummed in this example to give reliable information about late-time evolution including both qubit/field interactions and field self-interactions. By allowing very explicit treatment, the qubit/field system allows a systematic assessment of the approximations needed when exploring late-time evolution, in a way that lends itself to gravitational applications. It also allows a comparison of these approximations with those - e.g. the `rotating-wave' approximation - widely made in the open-system literature (which is aimed more at atomic transitions and lasers).


title: Hybrid distance-angle rigidity theory with signed constraints and its applications to formation shape control

abstract: In this paper, we develop a hybrid distance-angle rigidity theory that involves heterogeneous distances (or unsigned angles) and signed constraints for a framework in the 2-D and 3-D space. The new rigidity theory determines a (locally) unique formation shape up to a translation and a rotation by a set of distance and signed constraints, or up to a translation, a rotation and additionally a scaling factor by a set of unsigned angle and signed constraints. Under this new rigidity theory, we have a clue to resolve the flip (or reflection) and flex ambiguity for a target formation with hybrid distance-angle constraints. In particular, we can completely eliminate the ambiguity issues if formations are under a specific construction which is called \myemph{signed Henneberg construction} in this paper. We then apply the rigidity theory to formation shape control and develop a gradient-based control system that guarantees an exponential convergence close to a desired formation by inter-neighbor measurements. Several numerical simulations on formation shape control with hybrid distance-angle constraints are provided to validate the theoretical results.


title: RecNMP: Accelerating Personalized Recommendation with Near-Memory Processing

abstract: Personalized recommendation systems leverage deep learning models and account for the majority of data center AI cycles. Their performance is dominated by memory-bound sparse embedding operations with unique irregular memory access patterns that pose a fundamental challenge to accelerate. This paper proposes a lightweight, commodity DRAM compliant, near-memory processing solution to accelerate personalized recommendation inference. The in-depth characterization of production-grade recommendation models shows that embedding operations with high model-, operator- and data-level parallelism lead to memory bandwidth saturation, limiting recommendation inference performance. We propose RecNMP which provides a scalable solution to improve system throughput, supporting a broad range of sparse embedding models. RecNMP is specifically tailored to production environments with heavy co-location of operators on a single server. Several hardware/software co-optimization techniques such as memory-side caching, table-aware packet scheduling, and hot entry profiling are studied, resulting in up to 9.8x memory latency speedup over a highly-optimized baseline. Overall, RecNMP offers 4.2x throughput improvement and 45.8% memory energy savings.


title: Beyond brane-Higgs regularisation: clarifying the method and model

abstract: The class of higher-dimensional scenarios, based on a brane-localised Higgs boson coupled to bulk fermions, can address both the flavour puzzle and gauge hierarchy problem. A key question arises due to the possibility of fermion profile discontinuities at the Higgs boundary: how to calculate rigorously the fermion mass spectrum and effective four-dimensional (4D) Yukawa couplings? We show that the proper treatment, leading to physically consistent solutions, does not rely on any Higgs peak regularisation but requires the presence of certain Bilinear Brane Terms (BBT). In particular, no profile jump should appear and the Higgs regularisations turn out to suffer from mathematical discrepancies reflected in two non-commutativities of calculation steps debated in the literature. The introduction of BBT can by replaced by vanishing conditions for probability currents at the considered flat interval boundaries. Both contribute to the definition of the field geometrical configuration of the model, even in the free case. The BBT could allow to elaborate an ultra-violet origin of the chiral nature of the Standard Model and of its chirality distribution among quarks/leptons. The current conditions are implemented via essential boundary conditions to be contrasted with the natural boundary conditions derived from the action variation. All these theoretical conclusions are confirmed in particular by the converging exact results of the 4D versus 5D approaches. The analysis is completed by a description of the appropriate energy cut-off procedure. The new calculation methods presented, implying the independence of excited fermion masses and 4D Yukawa couplings on the 'wrong-chirality' Yukawa terms, have impacts on phenomenological results like the relaxing of previously obtained strong bounds on Kaluza-Klein masses induced by flavour changing reactions generated through exchanges of the Higgs field.


title: Hot Cosmic Qubits: Late-Time de Sitter Evolution and Critical Slowing Down

abstract: Temporal evolution of a comoving qubit coupled to a scalar field in de Sitter space is studied with an emphasis on reliable extraction of late-time behaviour. The phenomenon of critical slowing down is observed if the effective mass is chosen to be sufficiently close to zero, which narrows the window of parameter space in which the Markovian approximation is valid. The dynamics of the system in this case are solved in a more general setting by accounting for non-Markovian effects in the evolution of the qubit state. Self-interactions for the scalar field are also incorporated, and reveal a breakdown of late-time perturbative predictions due to the presence of secular growth.


title: KATRIN bound on 3+1 active-sterile neutrino mixing and the reactor antineutrino anomaly

abstract: We present the bounds on 3+1 active-sterile neutrino mixing obtained from the first results of the KATRIN experiment. We show that the KATRIN data extend the Mainz and Troitsk bound to smaller values of $\Delta{m}^2_{41}$ for large mixing and improves the exclusion of the large-$\Delta{m}^2_{41}$ solution of the Huber-Muller reactor antineutrino anomaly. We also show that the combined bound of the Mainz, Troitsk, and KATRIN tritium experiments and the Bugey-3, NEOS, PROSPECT, and DANSS reactor spectral ratio measurements exclude most of the region in the ($\sin^2\!2\vartheta_{ee},\Delta{m}^2_{41}$) plane allowed by the Huber-Muller reactor antineutrino anomaly. Considering two new calculations of the reactor neutrino fluxes, we show that one, that predicts a lower $^{235}\text{U}$ neutrino flux, is in agreement with the tritium and reactor spectral ratio measurements, whereas the other leads to a larger tension than the Huber-Muller prediction. We also show that the combined reactor spectral ratio and tritium measurements disfavor the Neutrino-4 indication of large active-sterile mixing. We finally discuss the constraints on the gallium neutrino anomaly.


title: Using ConceptNet to Teach Common Sense to an Automated Theorem Prover

abstract: The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge. This background knowledge plays a crucial role in solving commonsense reasoning problems. In this paper we present different ways to use knowledge graphs as background knowledge and discuss challenges that arise.


title: Boldly Going Where No Prover Has Gone Before

abstract: I argue that the most interesting goal facing researchers in automated reasoning is being able to solve problems that cannot currently be solved by existing tools and methods. This may appear obvious, and is clearly not an original thought, but focusing on this as a primary goal allows us to examine other goals in a new light. Many successful theorem provers employ a portfolio of different methods for solving problems. This changes the landscape on which we perform our research: solving problems that can already be solved may not improve the state of the art and a method that can solve a handful of problems unsolvable by current methods, but generally performs poorly on most problems, can be very useful. We acknowledge that forcing new methods to compete against portfolio solvers can stifle innovation. However, this is only the case when comparisons are made at the level of total problems solved. We propose a movement towards focussing on unique solutions in evaluation and competitions i.e. measuring the potential contribution to a portfolio solver. This state of affairs is particularly prominent in first-order logic, which is undecidable. When reasoning in a decidable logic there can be a focus on optimising a decision procedure and measuring average solving times. But in a setting where solutions are difficult to find, average solving times lose meaning, and whilst improving the efficiency of a technique can move potential solutions within acceptable time limits, in general, complementary strategies may be more successful.


title: On Quantified Modal Theorem Proving for Modeling Ethics

abstract: In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems. Logics for modeling ethical theories, and their automated reasoners, have requirements that are different from modal logics used for other purposes, e.g. for temporal reasoning. Meeting these requirements necessitates investigation of new approaches for proof automation. Particularly, a quantified modal logic, the deontic cognitive event calculus (DCEC), has been used to model various versions of the doctrine of double effect, akrasia, and virtue ethics. Using a fragment of DCEC, we outline these distinct characteristics and present a sketches of an algorithm that can help with some aspects proof automation for DCEC.


title: One-loop CHY-Integrand of Bi-adjoint Scalar Theory

abstract: In this paper, the one-loop CHY-integrands of bi-adjoint scalar theory has been reinvestigated. Differing from previous constructions, we have explicitly removed contributions from tadpole and massless bubbles when taking the forward limit of corresponding tree-level amplitudes. The way to remove those singular contributions is to exploit the idea of 'picking poles', which is to multiply a special cross ratio factor with the role of isolating terms having a particular pole structure.


title: On positivity of the CM line bundle on K-moduli spaces

abstract: In this paper, we consider the CM line bundle on the K-moduli space, i.e., the moduli space parametrizing K-polystable Fano varieties. We prove it is ample on any proper subspace parametrizing reduced uniformly K-stable Fano varieties which conjecturally should be the entire moduli space. As a corollary, we prove that the moduli space parametrizing smoothable K-polystable Fano varieties is projective. During the course of proof, we develop a new invariant for filtrations which can be used to test various K-stability notions of Fano varieties.


title: Indiscernible pairs of countable sets of reals at a given projective level

abstract: Using an invariant modification of Jensen's "minimal $\varPi^1_2$ singleton" forcing, we define a model of ZFC, in which, for a given $n\ge2$, there exists a lightface $\varPi^1_n$ unordered pair of non-OD (hence, OD-indiscernible) countable sets of reals, but there is no $\varSigma^1_n$ unordered pairs of this kind.


title: The Minimal UV-induced Effective QCD Axion Theory

abstract: The characteristic axion couplings could be generated via effective couplings between the Standard Model (SM) fermions to a pseudo-Goldstone from a high-scale $U(1)$ Peccei-Quinn (PQ) symmetry breaking. Assuming that the UV-induced effective operators generate necessary couplings before the PQ symmetry breaking, and any low-scale couplings to the SM are restricted to the Yukawa sector, three minimal natural scenarios can be formulated, which provides a connection between the QCD-axions and mediators at the GUT/string scales. We find that the PQ symmetry breaking scale could be about $10^{15}$ GeV, higher than the classical QCD dark matter axion window but possible if the anthropic window is considered. We also propose an experiment to probe such scenarios. If the dark matter axion is discovered, they might suggest that we live in an atypical Hubble volume.


title: A Computer Code for Topological Quantum Spin Systems over Triangulated Surfaces

abstract: We derive explicit closed-form matrix representations of Hamiltonians drawn from tensored algebras, such as quantum spin Hamiltonians. These formulas enable us to soft-code generic Hamiltonian systems and to systematize the input data for uniformly structured as well as for un-structured Hamiltonians. The result is an optimal computer code that can be used as a black box that takes in certain input files and returns spectral information about the Hamiltonian. The code is tested on Kitaev's toric code deployed on triangulated surfaces of genus 0 and 1. The input file corresponding to the minimal triangulation of genus 2 is also supplied.


title: Kinematic signatures of reverberation mapping of close binaries of supermassive black holes in active galactic nuclei. II. Atlas of two-dimensional transfer functions

abstract: Most large galaxies harbor supermassive black holes (SMBHs) in their centers, and galaxies merge. Consequently, binary SMBHs should be common in galactic nuclei. However, close binaries of SMBH (CB-SMBHs) with sub-parsec separation cannot be imaged directly using current facilities. Some indirect signatures, such as periodic signals in light curves and double peaks in emission-line profile, have been used to find CB-SMBH candidates, but ambiguities still exist and no definitive conclusions can be made. We have recently proposed a new method focusing on kinematic signatures that can be derived from reverberation mapping of CB-SMBHs, one that offers a promising avenue to address this important problem. In this paper, we calculated models for a wide range of parameters, but BLRs of two BHs are close but still not merged. The purpose of this supplementary paper is to provide an atlas of two-dimensional transfer functions of CB-SMBHs with a wide range of orbital and geometrical parameters to aid more efficient identification of CB-SMBH candidates in reverberation mapping data.


title: The Challenge of Unifying Semantic and Syntactic Inference Restrictions

abstract: While syntactic inference restrictions don't play an important role for SAT, they are an essential reasoning technique for more expressive logics, such as first-order logic, or fragments thereof. In particular, they can result in short proofs or model representations. On the other hand, semantically guided inference systems enjoy important properties, such as the generation of solely non-redundant clauses. I discuss to what extend the two paradigms may be unifiable.


title: Multifractal signatures of gravitational waves detected by LIGO

abstract: We analyze the data from the 6 gravitational waves signals detected by LIGO through the lens of multifractal formalism using the MFDMA method, as well as shuffled and surrogate procedures. We identified two regimes of multifractality in the strain measure of the time series by examining long memory and the presence of nonlinearities. The moment used to divide the series into two parts separates these two regimes and can be interpreted as the moment of collision between the black holes. An empirical relationship between the variation in left side diversity and the chirp mass of each event was also determined.


title: Determination of Chemical Freeze-out Parameters from Net-kaon Fluctuations at RHIC

abstract: We calculate the mean-over-variance ratio of the net-kaon fluctuations in the Hadron Resonance Gas (HRG) Model for the five highest energies of the RHIC Beam Energy Scan (BES) for different particle data lists. We compare these results with the latest experimental data from the STAR collaboration in order to extract sets of chemical freeze-out parameters for each list. We focused on the PDG2012 and PDG2016+ particle lists, which differ largely in the number of resonant states. Our analysis determines the effect of the amount of resonances included in the HRG on the freeze-out conditions.


title: Prediction of wall-bounded turbulence from wall quantities using convolutional neural networks

abstract: A fully-convolutional neural-network model is used to predict the streamwise velocity fields at several wall-normal locations by taking as input the streamwise and spanwise wall-shear-stress planes in a turbulent open channel flow. The training data are generated by performing a direct numerical simulation (DNS) at a friction Reynolds number of $Re_{\tau}=180$. Various networks are trained for predictions at three inner-scaled locations ($y^+ = 15,~30,~50$) and for different time steps between input samples $\Delta t^{+}_{s}$. The inherent non-linearity of the neural-network model enables a better prediction capability than linear methods, with a lower error in both the instantaneous flow fields and turbulent statistics. Using a dataset with higher $\Delta t^+_{s}$ improves the generalization at all the considered wall-normal locations, as long as the network capacity is sufficient to generalize over the dataset. The use of a multiple-output network, with parallel dedicated branches for two wall-normal locations, does not provide any improvement over two separated single-output networks, other than a moderate saving in training time. Training time can be effectively reduced, by a factor of 4, via a transfer learning method that initializes the network parameters using the optimized parameters of a previously-trained network.


title: Pontryagin Differentiable Programming: An End-to-End Learning and Control Framework

abstract: This paper develops a Pontryagin Differentiable Programming (PDP) methodology, which establishes a unified framework to solve a broad class of learning and control tasks. The PDP distinguishes from existing methods by two novel techniques: first, we differentiate through Pontryagin's Maximum Principle, and this allows to obtain the analytical derivative of a trajectory with respect to tunable parameters within an optimal control system, enabling end-to-end learning of dynamics, policies, or/and control objective functions; and second, we propose an auxiliary control system in the backward pass of the PDP framework, and the output of this auxiliary control system is the analytical derivative of the original system's trajectory with respect to the parameters, which can be iteratively solved using standard control tools. We investigate three learning modes of the PDP: inverse reinforcement learning, system identification, and control/planning. We demonstrate the capability of the PDP in each learning mode on different high-dimensional systems, including multi-link robot arm, 6-DoF maneuvering quadrotor, and 6-DoF rocket powered landing.


title: Introduction to the theory of elliptic hypergeometric integrals

abstract: We give a brief account of the key properties of elliptic hypergeometric integrals -- a relatively recently discovered top class of transcendental special functions of hypergeometric type. In particular, we describe an elliptic generalization of Euler's and Selberg's beta integrals, elliptic analogue of the Euler-Gauss hypergeometric function and some multivariable elliptic hypergeometric functions on root systems. The elliptic Fourier transformation and corresponding integral Bailey lemma technique is outlined together with a connection to the star-triangle relation and Coxeter relations for a permutation group. We review also the interpretation of elliptic hypergeometric integrals as superconformal indices of four dimensional supersymmetric quantum field theories and corresponding applications to Seiberg type dualities.


title: Topological Hall effect in the Shastry-Sutherland lattice

abstract: We study the classical Heisenberg model on the geometrically frustrated Shastry-Sutherland (SS) lattice with additional Dzyaloshinskii-Moriya (DM) interaction in the presence of an external magnetic field. We show that several noncollinear and noncoplanar magnetic phases, such as the flux, all-in/all-out, 3in-1out/3out-1in, and canted-flux phases are stabilized over wide ranges of parameters in the presence of the DM interaction. We discuss the role of DM interaction in stabilizing these complex magnetic phases. When coupled to these noncoplanar magnetic phases, itinerant electrons experience a finite Berry phase, which manifests in the form of topological Hall effect, whereby a non-zero transverse conductivity is observed even in the absence of a magnetic field. We study this anomalous magneto-transport by calculating the electron band structure and transverse conductivity for a wide range of parameter values, and demonstrate the existence of topological Hall effect in the SS lattice. We explore the role of the strength of itinerant electron-local moment coupling on electron transport and show that the topological Hall features evolve significantly from strong to intermediate values of the coupling strength, and are accompanied by the appearance of a finite spin Hall conductivity.


title: Geometry and Analytics of the Multifacility Weber Problem

abstract: For the Weber problem of construction of the minimal cost planar weighted network connecting four terminals with two extra facilities, the solution by radicals is proposed. The conditions for the existence of the network in the assumed topology and the explicit formulae for coordinates of the facilities are presented. The obtained results are utilized for investigation of the network dynamics under variation of parameters. Extension of the results to the general Weber problem is also discussed.


title: Exponentially small expansions related to the parabolic cylinder function

abstract: The refined asymptotic expansion of the confluent hypergeometric function $M(a,b,z)$ on the Stokes line $\arg\,z=\pi$ given in {\it Appl. Math. Sci.} {\bf 7} (2013) 6601--6609 is employed to derive the correct exponentially small contribution to the asymptotic expansion for the even and odd solutions of a second-order differential equation related to Weber's equation. It is demonstrated that the standard asymptotics of the parabolic cylinder function $U(a,z)$ yield an incorrect exponentially small contribution to these solutions. Numerical results verifying the accuracy of the new expansions are given.


title: Regularity of weak solution of variational problems modeling the Cosserat micropolar elasticity

abstract: In this paper, we consider weak solutions of the Euler-Lagrange equation to a variational energy functional modeling the geometrically nonlinear Cosserat micropolar elasticity of continua in dimension three, which is a system coupling between the Poisson equation and the equation of $p$-harmonic maps ($2\le p\le 3$). We show that if a weak solutions is stationary, then its singular set is discrete for $2<p<3$ and has zero $1$-dimensional Hausdorff measure for $p=2$. If, in addition, it is a stable-stationary weak solution, then it is regular everywhere when $p\in [2, \frac{32}{15}]$.


title: Incorporating physical constraints in a deep probabilistic machine learning framework for coarse-graining dynamical systems

abstract: Data-based discovery of effective, coarse-grained (CG) models of high-dimensional dynamical systems presents a unique challenge in computational physics and particularly in the context of multiscale problems. The present paper offers a data-based, probablistic perspective that enables the quantification of predictive uncertainties. One of the outstanding problems has been the introduction of physical constraints in the probabilistic machine learning objectives. The primary utility of such constraints stems from the undisputed physical laws such as conservation of mass, energy etc. that they represent. Furthermore and apart from leading to physically realistic predictions, they can significantly reduce the requisite amount of training data which for high-dimensional, multiscale systems are expensive to obtain (Small Data regime). We formulate the coarse-graining process by employing a probabilistic state-space model and account for the aforementioned equality constraints as virtual observables in the associated densities. We demonstrate how probabilistic inference tools can be employed to identify the coarse-grained variables in combination with deep neural nets and their evolution model without ever needing to define a fine-to-coarse (restriction) projection and without needing time-derivatives of state variables. Furthermore, it is capable of reconstructing the evolution of the full, fine-scale system and therefore the observables of interest need not be selected a priori. We demonstrate the efficacy of the proposed framework by applying it to systems of interacting particles and an image-series of a nonlinear pendulum.


title: Preheating in radiative corrections to $\phi^4$ inflation with non-minimal coupling in Palatini formulation

abstract: We discuss the impact of the preheating stage in radiative corrections due to interaction of the inflaton to fermions to $\phi^4$ inflation with non-minimal coupling in Palatini formulation. In Palatini inflation with large non-minimal coupling the field is allow to return to the plateau region during the reheating stage, so the average equation of state per oscillations is closer to $-1$ than to $1/3$. The incursion in the plateau leads, however, to a highly efficient tachyonic instability able to reheat the Universe in less than one e-fold. By taking into account prescription II discussed in the literature, in the wide range of $\kappa-\xi$, we figure out spectral index $n_s$ and tensor-to-scalar ratio $r$ which are compatible with the data given by the Keck Array/BICEP2 and Planck collaborations.


title: Image retrieval approach based on local texture information derived from predefined patterns and spatial domain information

abstract: With the development of Information technology and communication, a large part of the databases is dedicated to images and videos. Thus retrieving images related to a query image from a large database has become an important area of research in computer vision. Until now, there are various methods of image retrieval that try to define image contents by texture, color or shape properties. In this paper, a method is presented for image retrieval based on a combination of local texture information derived from two different texture descriptors. First, the color channels of the input image are separated. The texture information is extracted using two descriptors such as evaluated local binary patterns and predefined pattern units. After extracting the features, the similarity matching is done based on distance criteria. The performance of the proposed method is evaluated in terms of precision and recall on the Simplicity database. The comparative results showed that the proposed approach offers higher precision rate than many known methods.


title: Discriminative Clustering with Representation Learning with any Ratio of Labeled to Unlabeled Data

abstract: We present a discriminative clustering approach in which the feature representation can be learned from data and moreover leverage labeled data. Representation learning can give a similarity-based clustering method the ability to automatically adapt to an underlying, yet hidden, geometric structure of the data. The proposed approach augments the DIFFRAC method with a representation learning capability, using a gradient-based stochastic training algorithm and an optimal transport algorithm with entropic regularization to perform the cluster assignment step. The resulting method is evaluated on several real datasets when varying the ratio of labeled data to unlabeled data and thereby interpolating between the fully unsupervised regime and the fully supervised regime. The experimental results suggest that the proposed method can learn powerful feature representations even in the fully unsupervised regime and can leverage even small amounts of labeled data to improve the feature representations and to obtain better clusterings of complex datasets.


title: Versatile emulation of spiking neural networks on an accelerated neuromorphic substrate

abstract: We present first experimental results on the novel BrainScaleS-2 neuromorphic architecture based on an analog neuro-synaptic core and augmented by embedded microprocessors for complex plasticity and experiment control. The high acceleration factor of 1000 compared to biological dynamics enables the execution of computationally expensive tasks, by allowing the fast emulation of long-duration experiments or rapid iteration over many consecutive trials. The flexibility of our architecture is demonstrated in a suite of five distinct experiments, which emphasize different aspects of the BrainScaleS-2 system.


title: Compensated compactness and corrector stress tensor for the Einstein equations in T2 symmetry

abstract: We consider the Einstein equations in T2 symmetry, either for vacuum spacetimes or coupled to the Euler equations for a compressible fluid, and we introduce the notion of T2 areal flows on T3 with finite total energy. By uncovering a hidden structure of the Einstein equations, we establish a compensated compactness framework and solve the global evolution problem for vacuum spacetimes as well as for self-gravitating compressible fluids. We study the stability and instability of such flows and prove that, when the initial data are well-prepared, any family of T2 areal flows is sequentially compact in a natural topology. In order to handle general initial data we propose a relaxed notion of T2 areal flows endowed with a corrector stress tensor (as we call it) which is a bounded measure generated by geometric oscillations and concentrations propagating at the speed of light. This generalizes a result for vacuum spacetimes in: Le Floch B. and LeFloch P.G., Arch. Rational Mech. Anal. 233 (2019), 45-86. In addition, we determine the global geometry of the corresponding future Cauchy developments and we prove that the area of the T2 orbits generically approaches infinity in the future-expanding regime. In the future-contracting regime, the volume of the T3 spacelike slices approaches zero and, for generic initial data, the area of the orbits of symmetry approaches zero in Gowdy symmetric matter spacetimes and in T2 vacuum spacetimes.


title: Scalable Online Vetting of Android Apps for Measuring Declared SDK Versions and Their Consistency with API Calls

abstract: Android has been the most popular smartphone system with multiple platform versions active in the market. To manage the application's compatibility with one or more platform versions, Android allows apps to declare the supported platform SDK versions in their manifest files. In this paper, we conduct a systematic study of this modern software mechanism. Our objective is to measure the current practice of declared SDK versions (which we term as DSDK versions afterwards) in real apps, and the (in)consistency between DSDK versions and their host apps' API calls. To successfully analyze a modern dataset of 22,687 popular apps (with an average app size of 25MB), we design a scalable approach that operates on the Android bytecode level and employs a lightweight bytecode search for app analysis. This approach achieves a good performance suitable for online vetting in app markets, requiring only around 5 seconds to process an app on average. Besides shedding light on the characteristics of DSDK in the wild, our study quantitatively measures two side effects of inappropriate DSDK versions: (i) around 35% apps under-set the minimum DSDK versions and could incur runtime crashes, but fortunately, only 11.3% apps could crash on Android 6.0 and above; (ii) around 2% apps, due to under-claiming the targeted DSDK versions, are potentially exploitable by remote code execution, and half of them invoke the vulnerable API via embedded third-party libraries. These results indicate the importance and difficulty of declaring correct DSDK, and our work can help developers fulfill this goal.


title: A Consistently Oriented Basis for Eigenanalysis

abstract: Repeated application of machine-learning, eigen-centric methods to an evolving dataset reveals that eigenvectors calculated by well-established computer implementations are not stable along an evolving sequence. This is because the sign of any one eigenvector may point along either the positive or negative direction of its associated eigenaxis, and for any one eigen call the sign does not matter when calculating a solution. This work reports an algorithm that creates a consistently oriented basis of eigenvectors. The algorithm postprocesses any well-established eigen call and is therefore agnostic to the particular implementation of the latter. Once consistently oriented, directional statistics can be applied to the eigenvectors in order to track their motion and summarize their dispersion. When a consistently oriented eigensystem is applied to methods of machine-learning, the time series of training weights becomes interpretable in the context of the machine-learning model. Ordinary linear regression is used to demonstrate such interpretability. A reference implementation of the algorithm reported herein has been written in Python and is freely available, both as source code and through the thucyd Python package.


title: On the ideal structure of the tensor product of nearly simple algebras

abstract: We define a unital algebra $A$ over a field $\mathbb{F}$ to be nearly simple if $A$ contains a unique non-trivial ideal $I_A$ such that $I_A^2 \neq \{0\}$. If $A$ and $B$ are two nearly simple algebras, we consider the ideal structure of their tensor product $A \otimes B$. The obvious non-trivial ideals of $A \otimes B$ are: $$I_A \otimes I_B, \quad I_A \otimes B, \quad A \otimes I_B, \quad \mbox{and} \quad I_A \otimes B + A \otimes I_B.$$ The purpose of this paper is to characterize when are all non-trivial ideals of $A \otimes B$ of the above form.


title: Planning on Discrete Event Systems Using Parallelism Maximization

abstract: This work deals with the production planning problem in Discrete Event Systems, using the Supervisory Control Theory to delimit the search universe and developing two heuristics based on the maximization of the parallelism to find sequences that minimize makespan. The role of the Supervisory Control Theory is to provide the set of all safe production sequences, given by the closed loop behavior. Although the use of heuristics does not provide necessarily the absolute optimal solution in general, we present a case study where it happens for all batch sizes. The efficiency in terms of computation time is also illustrated by the case study.


title: Curvature constrained on base for $(2+m)$-Einstein warped product manifolds

abstract: For the studied cases in [10], the author showed that having the {\textit {$f$-curvature-Base}} ($R_{f_B}$) is equal to requiring a flat metric on the base-manifold. In [11] the authors introduced a new kind of Einstein warped product manifold, composed by positive-dimensional manifold and negative-dimensional manifold, the so called \textit{PNDP-manifolds} The aim of this paper is to extend the work done in [10] to $m$-dimensional fiber showing if the value of $m$ can influence the result, i.e., finding base-manifolds with non-flat metric for $dimF \neq 2$, and doing some considerations of the $(2, m)$-PNDP manifolds with $R_{f_B}$. As a result, we find out that the dimension of fiber-manifold does not change the result of [10].


title: Characteristic Regularisation for Super-Resolving Face Images

abstract: Existing facial image super-resolution (SR) methods focus mostly on improving artificially down-sampled low-resolution (LR) imagery. Such SR models, although strong at handling artificial LR images, often suffer from significant performance drop on genuine LR test data. Previous unsupervised domain adaptation (UDA) methods address this issue by training a model using unpaired genuine LR and HR data as well as cycle consistency loss formulation. However, this renders the model overstretched with two tasks: consistifying the visual characteristics and enhancing the image resolution. Importantly, this makes the end-to-end model training ineffective due to the difficulty of back-propagating gradients through two concatenated CNNs. To solve this problem, we formulate a method that joins the advantages of conventional SR and UDA models. Specifically, we separate and control the optimisations for characteristics consistifying and image super-resolving by introducing Characteristic Regularisation (CR) between them. This task split makes the model training more effective and computationally tractable. Extensive evaluations demonstrate the performance superiority of our method over state-of-the-art SR and UDA models on both genuine and artificial LR facial imagery data.


title: Outlier Detection and Data Clustering via Innovation Search

abstract: The idea of Innovation Search was proposed as a data clustering method in which the directions of innovation were utilized to compute the adjacency matrix and it was shown that Innovation Pursuit can notably outperform the self representation based subspace clustering methods. In this paper, we present a new discovery that the directions of innovation can be used to design a provable and strong robust (to outlier) PCA method. The proposed approach, dubbed iSearch, uses the direction search optimization problem to compute an optimal direction corresponding to each data point. iSearch utilizes the directions of innovation to measure the innovation of the data points and it identifies the outliers as the most innovative data points. Analytical performance guarantees are derived for the proposed robust PCA method under different models for the distribution of the outliers including randomly distributed outliers, clustered outliers, and linearly dependent outliers. In addition, we study the problem of outlier detection in a union of subspaces and it is shown that iSearch provably recovers the span of the inliers when the inliers lie in a union of subspaces. Moreover, we present theoretical studies which show that the proposed measure of innovation remains stable in the presence of noise and the performance of iSearch is robust to noisy data. In the challenging scenarios in which the outliers are close to each other or they are close to the span of the inliers, iSearch is shown to remarkably outperform most of the existing methods. The presented method shows that the directions of innovation are useful representation of the data which can be used to perform both data clustering and outlier detection.


title: Homogenization of the time-dependent heat equation on planar one-dimensional periodic structures

abstract: In this paper we consider the homogenization of a time-dependent heat conduction problem on a planar one-dimensional periodic structure. On the edges of a graph the one-dimensional heat equation is posed, while the Kirchhoff junction condition is applied at all (inner) vertices. Using the two-scale convergence adapted to homogenization of lower-dimensional problems we obtain the limit homogenized problem defined on a two-dimensional domain that is occupied by the mesh when the mesh period $\delta$ tends to $0$. The homogenized model is given by the classical heat equation with the conductivity tensor depending on the unit cell graph only through the topology of the graph and lengthes of its edges. We show the well-posedness of the limit problem and give a purely algebraic formula for the computation of the homogenized conductivity tensor. The analysis is completed by numerical experiments showing a convergence to the limit problem where the convergence order in $\delta$.


title: Correcting the effect of magnetic tongues on the tilt angle of bipolar active regions

abstract: The magnetic polarities of bipolar active regions (ARs) exhibit elongations in line-of-sight magnetograms during their emergence. These elongations are referred to as magnetic tongues and attributed to the presence of twist in the emerging magnetic flux-ropes (FRs) that form ARs. The presence of magnetic tongues affects the measurement of any AR characteristic that depends on its magnetic flux distribution. The AR tilt-angle is one of them. We aim to develop a method to isolate and remove the flux associated with the tongues to determine the AR tilt-angle with as much precision as possible. As a first approach, we used a simple emergence model of a FR. This allowed us to develop and test our aim based on a method to remove the effects of magnetic tongues. Then, using the experience gained from the analysis of the model, we applied our method to photospheric observations of bipolar ARs that show clear magnetic tongues. Using the developed procedure on the FR model, we can reduce the deviation in the tilt estimation by more than 60%. Next we illustrate the performance of the method with four examples of bipolar ARs selected for their large magnetic tongues. The new method efficiently removes the spurious rotation of the bipole. This correction is mostly independent of the method input parameters and significant since it is larger than all the estimated tilt errors. We have developed a method to isolate the magnetic flux associated with the FR core during the emergence of bipolar ARs. This allows us to compute the AR tilt-angle and its evolution as precisely as possible. We suggest that the high dispersion observed in the determination of AR tilt-angles in studies that massively compute them from line-of sight magnetograms can be partly due to the existence of magnetic tongues whose presence is not sufficiently acknowledged.


title: Sequences of lower bounds for entropic uncertainty relations from bistochastic maps

abstract: Given two orthornormal bases A and B, the basic form of the entropic uncertainty principle is stated in terms of the sum of the Shannon entropies of the probabilities of measuring A and B onto a given quantum state. State independent lower bounds for this sum encapsulate the degree of incompatibility of the observables diagonal in the A and B bases, and are usually derived by extracting as much information as possible from the unitary operator U connecting the two bases. Here we show a strategy to derive sequences of lower bounds based on alternating sequences of measurements onto A and B. The problem can be mapped into the multiple application of bistochastic processes that can be described by the powers of the unistochastic matrices directly derivable from U. By means of several examples we study the applicability of the method. The results obtained show that the strategy can allow for an advantage both in the pure state and in the mixed state scenario. The sequence of lower bounds is obtained with resources which are polynomial in the dimension of the underlying Hilbert space, and it is thus suitable for studying high dimensional cases.


title: A Note on the Parallel Cleaning of Cliques

abstract: We disprove a conjecture proposed in [Gaspers et al., Discrete Applied Mathematics, 2010] and provide a new upper bound for the minimum number of brushes required to continually parallel clean a clique.


title: Adiabatic quantum decoherence in many non-interacting subsystems induced by the coupling with a common boson bath

abstract: This work addresses quantum adiabatic decoherence of many-body spin systems coupled with a boson field in the framework of open quantum systems theory. We generalize the traditional spin-boson model by considering a system-environment interaction Hamiltonian that represents a partition of non-interacting subsystems and highlights the collective correlation that appears exclusively due to the coupling with a common environment. Remarkably, this simple, exactly solvable model encompasses relevant aspects of a many-body open quantum system and features the subtle quantum effects that arise when the size scales up to a macroscopic level. We derive an analytical expression for the time dependence of the density matrix without assuming coarse-graining. The resulting decoherence function is eigen-selective and is a complex exponential whose exponent has a real part that introduces a decay similar to that in the spin-boson model. On the contrary, the imaginary part depends on the quantum numbers and geometry of the whole partition and does not reflect the system temperature. Motivated by decoherence in solid-state NMR we apply the theoretical results to a partition of dipole-coupled spin pairs in contact with a common phonon bath, using typical parameters of hydrated salts. The proposal allows estimating the decoherence time scale in terms of the system physical constants. As a significant novelty, the decoherence function phase depends on the eigenvalue distribution throughout the sample. It plays the leading role, overshadowing the mechanism associated with the bath thermal state. Finally, we apply the formalism to describe decoherence in the "magic echo" NMR reversal experiment. We find that the system-environment correlation explains the origin of irreversibility, and both the decoherence rate value and its dependence on the dipolar frequency, are remarkably similar to the experiment.


title: Be and Bn stars: Balmer discontinuity and stellar-class relationship

abstract: A significant number of Be stars show a second Balmer discontinuity (sBD) attributed to an extended circumstellar envelope (CE). The fast rotational velocity of Be stars undoubtedly plays a significant role in the formation of the CE. However, Bn stars, which are also B-type rapidly rotating stars, do not all present clear evidence of being surrounded by circumstellar material. We aim to characterize the populations of Be and Bn stars, and discuss the appearance of the sBD as a function of the stellar parameters. We expect to find new indices characterizing the properties of CEs in Be stars and properties relating Be and Bn stars. Correlations of the aspect and intensity of the sBD and the emission in the H$\alpha$ line with the stellar parameters and the $V\!\sin i$ are presented. Some Bn stars exhibit the sBD in absorption, which may indicate the presence of rather dense CEs. Six Bn stars show emission in the H$\alpha$ line, so they are reclassified as Be stars. The sBD in emission appears in Be stars with $V\!\sin i \lesssim 250$ km\,s$^{-1}$, and in absorption in both Be and Bn stars with \mbox{$V\!\sin i \gtrsim 50$ km\,s$^{-1}$}. Low-mass Be and Bn stars share the same region in the Hertzsprung-Russell diagram. The distributions of rotational to critical velocity ratios of Be and Bn stars corresponding to the current stellar evolutionary stage are similar, while distributions inferred for the zero-age main sequence have different skewness. We found emission in the H$\alpha$ line and signs of a CE in some Bn stars, which motivated us to think that Bn and Be stars probably belong to the same population. It should be noted that some of the most massive Bn stars could display the Be phenomenon at any time. The similarities found among Be and Bn stars deserve to be more deeply pursued.


title: A Positive Mass Theorem for Static Causal Fermion Systems

abstract: Asymptotically flat static causal fermion systems are introduced. Their total mass is defined as a limit of surface layer integrals which compare the measures describing the asymptotically flat spacetime and a vacuum spacetime near spatial infinity. Our definition does not involve any regularity assumptions; it even applies to singular or generalized "quantum" spacetimes. A positive mass theorem is proven. Our methods and results explain why and how the causal action principle incorporates the nonlinear effects of gravity for static systems.


title: Rotating Black Holes in AdS, Extremality and Chaos

abstract: Extremal black holes have vanishing Hawking temperatures. In this article, we argue that for asymptotically AdS black holes, at extremality, a particular class of correlators in the dual CFT can exhibit exponential, maximally chaotic growth with a non-vanishing temperature. Our approach, at extremality, is two-fold. First, we geometrically investigate the modes that are responsible for chaos. Secondly, we study the dynamics of a probe string to capture chaos in worldsheet correlators. For rotating BTZ at extremality, the corresponding Lyapunov exponent is determined by the left-moving temperature. In higher dimensional AdS-Kerr geometries, on the other hand, the corresponding Lyapunov exponent becomes a non-trivial function of the Frolov-Thorne temperatures.


title: On the Optimal Regularity Implied by the Assumptions of Geometry I: Connections on Tangent Bundles

abstract: We resolve the problem of optimal regularity and Uhlenbeck compactness for affine connections in General Relativity and Mathematical Physics. First, we prove that any affine connection $\Gamma$, with components $\Gamma \in L^{2p}$ and components of its Riemann curvature ${\rm Riem}(\Gamma)$ in $L^p$, in some coordinate system, can be smoothed by coordinate transformation to optimal regularity, $\Gamma \in W^{1,p}$ (one derivative smoother than the curvature), $p> \max\{n/2,2\}$, dimension $n\geq 2$. For Lorentzian metrics in General Relativity this implies that shock wave solutions of the Einstein-Euler equations are non-singular -- geodesic curves, locally inertial coordinates and the Newtonian limit, all exist in a classical sense, and the Einstein equations hold in the strong sense. The proof is based on an $L^p$ existence theory for the Regularity Transformation (RT) equations, a system of elliptic partial differential equations (introduced by the authors) which determine the Jacobians of the regularizing coordinate transformations. Secondly, this existence theory gives the first extension of Uhlenbeck compactness from Riemannian metrics, to general affine connections bounded in $L^\infty$, with curvature in $L^{p}$, $p>n$, including semi-Riemannian metrics, and Lorentzian metric connections of relativistic Physics. We interpret this as a "geometric" improvement of the generalized Div-Curl Lemma. Our theory shows that Uhlenbeck compactness and optimal regularity are pure logical consequences of the rule which defines how connections transform from one coordinate system to another -- what one could take to be the "starting assumption of geometry".


title: Time regularity for local weak solutions of the heat equation on local Dirichlet spaces

abstract: We study the time regularity of local weak solutions of the heat equation in the context of local regular symmetric Dirichlet spaces. Under two basic and rather minimal assumptions, namely, the existence of certain cut-off functions and a very weak $L^2$ Gaussian type upper-bound for the heat semigroup, we prove that the time derivatives of a local weak solution of the heat equation are themselves local weak solutions. This applies, for instance, to local weak solutions of parabolic equations with uniformly elliptic symmetric divergence form second order operators with measurable coefficients. We describe some applications to the structure of ancient local weak solutions of such equations which generalize recent results of [8] and [33].


title: AutoDiscern: Rating the Quality of Online Health Information with Hierarchical Encoder Attention-based Neural Networks

abstract: Patients increasingly turn to search engines and online content before, or in place of, talking with a health professional. Low quality health information, which is common on the internet, presents risks to the patient in the form of misinformation and a possibly poorer relationship with their physician. To address this, the DISCERN criteria (developed at University of Oxford) are used to evaluate the quality of online health information. However, patients are unlikely to take the time to apply these criteria to the health websites they visit. We built an automated implementation of the DISCERN instrument (Brief version) using machine learning models. We compared the performance of a traditional model (Random Forest) with that of a hierarchical encoder attention-based neural network (HEA) model using two language embeddings, BERT and BioBERT. The HEA BERT and BioBERT models achieved average F1-macro scores across all criteria of 0.75 and 0.74, respectively, outperforming the Random Forest model (average F1-macro = 0.69). Overall, the neural network based models achieved 81% and 86% average accuracy at 100% and 80% coverage, respectively, compared to 94% manual rating accuracy. The attention mechanism implemented in the HEA architectures not only provided 'model explainability' by identifying reasonable supporting sentences for the documents fulfilling the Brief DISCERN criteria, but also boosted F1 performance by 0.05 compared to the same architecture without an attention mechanism. Our research suggests that it is feasible to automate online health information quality assessment, which is an important step towards empowering patients to become informed partners in the healthcare process.


title: Recognizing Instagram Filtered Images with Feature De-stylization

abstract: Deep neural networks have been shown to suffer from poor generalization when small perturbations are added (like Gaussian noise), yet little work has been done to evaluate their robustness to more natural image transformations like photo filters. This paper presents a study on how popular pretrained models are affected by commonly used Instagram filters. To this end, we introduce ImageNet-Instagram, a filtered version of ImageNet, where 20 popular Instagram filters are applied to each image in ImageNet. Our analysis suggests that simple structure preserving filters which only alter the global appearance of an image can lead to large differences in the convolutional feature space. To improve generalization, we introduce a lightweight de-stylization module that predicts parameters used for scaling and shifting feature maps to "undo" the changes incurred by filters, inverting the process of style transfer tasks. We further demonstrate the module can be readily plugged into modern CNN architectures together with skip connections. We conduct extensive studies on ImageNet-Instagram, and show quantitatively and qualitatively, that the proposed module, among other things, can effectively improve generalization by simply learning normalization parameters without retraining the entire network, thus recovering the alterations in the feature space caused by the filters.


title: The gluon-fusion production of Higgs boson pair: N$^3$LO QCD corrections and top-quark mass effects

abstract: The Higgs boson pair production via gluon fusion at high-energy hadron colliders, such as the LHC, is vital in deciphering the Higgs potential and in pinning down the electroweak symmetry breaking mechanism. We carry out the next-to-next-to-next-to-leading order (N$^3$LO) QCD calculations in the infinite top-quark mass limit and present predictions for both the inclusive and differential cross sections, albeit the differential distributions other than the invariant mass distribution of the Higgs boson pair are approximated at N$^3$LO. Such corrections are indispensable in stabilising the perturbative expansion of the cross section in the strong coupling $\alpha_s$. At the inclusive level, the scale uncertainties are reduced by a factor of four compared with the next-to-next-to-leading order (NNLO) results. Given that the inclusion of the top-quark mass effects is essential for the phenomenological applications, we use several schemes to incorporate the N$^3$LO results in the infinite top-quark mass limit and the next-to-leading order (NLO) results with full top-quark mass dependence, and present theoretical predictions for the (differential) cross sections in the proton-proton collisions at the centre-of-mass energies $\sqrt{s}=13,14,27$ and $100$ TeV. Our results provide one of the most precise theoretical inputs for the analyses of the Higgs boson pair events.


title: Opytimizer: A Nature-Inspired Python Optimizer

abstract: Optimization aims at selecting a feasible set of parameters in an attempt to solve a particular problem, being applied in a wide range of applications, such as operations research, machine learning fine-tuning, and control engineering, among others. Nevertheless, traditional iterative optimization methods use the evaluation of gradients and Hessians to find their solutions, not being practical due to their computational burden and when working with non-convex functions. Recent biological-inspired methods, known as meta-heuristics, have arisen in an attempt to fulfill these problems. Even though they do not guarantee to find optimal solutions, they usually find a suitable solution. In this paper, we proposed a Python-based meta-heuristic optimization framework denoted as Opytimizer. Several methods and classes are implemented to provide a user-friendly workspace among diverse meta-heuristics, ranging from evolutionary- to swarm-based techniques.


title: Topological Valley Hall Edge State Lasing

abstract: Topological lasers based on topologically protected edge states offer unique features and enhanced robustness of operation in comparison with conventional lasers, even in the presence of disorder, edge deformation, and localized defects. Here we propose a new class of topological lasers arising from the valley Hall edge states, which does not require external magnetic fields or dynamical modulations of the device parameters. Specifically, topological lasing occurs at domain walls between two honeycomb waveguide arrays with broken spatial inversion symmetry. Two types of valley Hall edge lasing modes are found by shaping the gain landscape along the domain walls. In the presence of uniform losses and two-photon absorption, lasing in edge states results in the formation of stable nonlinear dissipative excitations localized on the edge of the structure, even if it has complex geometry and even if it is finite. Robustness of lasing states is demonstrated in both periodic and finite structures, where such states can circumvent sharp corners without scattering loss or radiation into the bulk. The photonic structure and mechanism proposed here for topological lasing is fundamentally different from those previously demonstrated topological lasers and can be used for fabrication of practical topological lasers of various geometries.


title: A Parameter Choice Rule for Tikhonov Regularization Based on Predictive Risk

abstract: In this work, we propose a new criterion for choosing the regularization parameter in Tikhonov regularization when the noise is white Gaussian. The criterion minimizes a lower bound of the predictive risk, when both data norm and noise variance are known, and the parameter choice involves minimizing a function whose solution depends only on the signal-to-noise ratio. Moreover, when neither noise variance nor data norm is given, we propose an iterative algorithm which alternates between a minimization step of finding the regularization parameter and an estimation step of estimating signal-to-noise ratio. Simulation studies on both small- and large-scale datasets suggest that the approach can provide very accurate and stable regularized inverse solutions and, for small sized samples, it outperforms discrepancy principle, balancing principle, unbiased predictive risk estimator, L-curve method generalized cross validation, and quasi-optimality criterion, and achieves excellent stability hitherto unavailable.


title: Global redistribution and local migration in semi-discrete host-parasitoid population dynamic models

abstract: Host-parasitoid population dynamics is often probed using a semi-discrete/hybrid modeling framework. Here, the update functions in the discrete-time model connecting year-to-year changes in the population densities are obtained by solving ordinary differential equations that mechanistically describe interactions when hosts become vulnerable to parasitoid attacks. We use this semi-discrete formalism to study two key spatial effects: local movement (migration) of parasitoids between patches during the vulnerable period; and yearly redistribution of populations across patches outside the vulnerable period. Our results show that in the absence of any redistribution, constant density-independent migration and parasitoid attack rates are unable to stabilize an otherwise unstable host-parasitoid population dynamics. Interestingly, inclusion of host redistribution (but not parasitoid redistribution) before the start of the vulnerable period can lead to stable coexistence of both species. Next, we consider a Type-III functional response (parasitoid attack rate increases with host density), where the absence of any spatial effects leads to a neutrally stable host-parasitoid equilibrium. As before, density-independent parasitoid migration by itself is again insufficient to stabilize the population dynamics and host redistribution provides a stabilizing influence. Finally, we show that a Type-III functional response combined with density-dependent parasitoid migration leads to stable coexistence, even in the absence of population redistributions. In summary, we have systematically characterized parameter regimes leading to stable/unstable population dynamics with different forms of spatial heterogeneity coupled to the parasitoid's functional response using mechanistically formulated semi-discrete models.


title: Empirical estimate of the unpolarized dihadron fragmentation functions

abstract: We estimate the unpolarized dihadron fragmentation functions (uDiFFs) within the framework of the single-cascade jet algorithm. We first obtain the elementary fragmentation functions generating the single hadron fragmentation functions by using the single-cascade jet algorithm. These results are very close to the empirical parametrizations of the single hadron fragmentation functions which are extracted from the experimental data of the $e^+e^-$ annihiliation and semi-inclusive deeply inelastic scatterings (SIDIS). We then use those elementary fragmentation functions to generate the dihadron fragmentation functions by the help of the single-cascade jet algorithm again. The comparison between our empirical results with the results of the Nambu-Jona-Lasinio model and the non-local chiral quark model (NL$\chi$QM) is also presented.


title: World Programs for Model-Based Learning and Planning in Compositional State and Action Spaces

abstract: Some of the most important tasks take place in environments which lack cheap and perfect simulators, thus hampering the application of model-free reinforcement learning (RL). While model-based RL aims to learn a dynamics model, in a more general case the learner does not know a priori what the action space is. Here we propose a formalism where the learner induces a world program by learning a dynamics model and the actions in graph-based compositional environments by observing state-state transition examples. Then, the learner can perform RL with the world program as the simulator for complex planning tasks. We highlight a recent application, and propose a challenge for the community to assess world program-based planning.


title: Approximating Gromov-Hausdorff Distance in Euclidean Space

abstract: The Gromov-Hausdorff distance $(d_{GH})$ proves to be a useful distance measure between shapes. In order to approximate $d_{GH}$ for compact subsets $X,Y\subset\mathbb{R}^d$, we look into its relationship with $d_{H,iso}$, the infimum Hausdorff distance under Euclidean isometries. As already known for dimension $d\geq 2$, the $d_{H,iso}$ cannot be bounded above by a constant factor times $d_{GH}$. For $d=1$, however, we prove that $d_{H,iso}\leq\frac{5}{4}d_{GH}$. We also show that the bound is tight. In effect, this gives rise to an $O(n\log{n})$-time algorithm to approximate $d_{GH}$ with an approximation factor of $\left(1+\frac{1}{4}\right)$.


title: A Bj\"orling Representation for Jacobi Fields on Minimal Surfaces and Soap Film Instabilities

abstract: We develop a general framework for the description of instabilities on soap films using the Bj\"orling representation of minimal surfaces. The construction is naturally geometric and the instability has the interpretation as being specified by its amplitude and transverse gradient along any curve lying in the minimal surface. When the amplitude vanishes, the curve forms part of the boundary to a critically stable domain, while when the gradient vanishes the Jacobi field is maximal along the curve. In the latter case, we show that the Jacobi field is maximally localised if its amplitude is taken to be the lowest eigenfunction of a one-dimensional Schr\"odinger operator. We present examples for the helicoid, catenoid, circular helicoids and planar Enneper minimal surfaces, and emphasise that the geometric nature of the Bj\"orling representation allows direct connection with instabilities observed in soap films.


title: Renormalization Group as a Koopman Operator

abstract: Koopman operator theory is shown to be directly related to the renormalization group. This observation allows us, with no assumption of translational invariance, to compute the critical exponents $\eta$ and $\delta$, as well as ratios of critical exponents, of classical spin systems from single observables alone. This broadens the types of problems that the renormalization group framework can be applied to and establish universality classes of. In addition, this connection may allow for a new, data-driven way in which to find the renormalization group fixed point(s), and their relevant and irrelevant directions.


title: Crossover times in bipartite networks with activity constraints and time-varying switching rates

abstract: In this paper we study the performance of a bipartite network in which customers arrive at the nodes of the network, but not all nodes are able to serve their customers at all times. Each node can be either active or inactive, and two nodes connected by a bond cannot be active simultaneously. This situation arises in wireless random-access networks where, due to destructive interference, stations that are close to each other cannot use the same frequency band. We consider a model where the network is bipartite, the active nodes switch themselves off at rate 1, and the inactive nodes switch themselves on at a rate that depends on time and on which half of the bipartite network they are in. An inactive node cannot become active when one of the nodes it is connected to by a bond is active. The switching protocol allows the nodes to share activity among each other. In the limit as the activation rate becomes large, we compute the crossover time between the two states where one half of the network is active and the other half is inactive. This allows us to assess the overall activity of the network depending on the switching protocol. Our results make use of the metastability analysis for hard-core interacting particle models on finite bipartite graphs derived in an earlier paper. They are valid for a large class of bipartite networks, subject to certain assumptions. Proofs rely on a comparison with switching protocols that are not time-varying, through coupling techniques.


title: Quantum optics with giant atoms -- the first five years

abstract: In quantum optics, it is common to assume that atoms can be approximated as point-like compared to the wavelength of the light they interact with. However, recent advances in experiments with artificial atoms built from superconducting circuits have shown that this assumption can be violated. Instead, these artificial atoms can couple to an electromagnetic field at multiple points, which are spaced wavelength distances apart. In this chapter, we present a survey of such systems, which we call \textit{giant atoms}. The main novelty of giant atoms is that the multiple coupling points give rise to interference effects that are not present in quantum optics with ordinary, small atoms. We discuss both theoretical and experimental results for single and multiple giant atoms, and show how the interference effects can be used for interesting applications. We also give an outlook for this emerging field of quantum optics.


title: Rank One Hilbert Geometries

abstract: We develop a notion of rank one properly convex domains (or Hilbert geometries) in the real projective space. This is in the spirit of rank one non-positively curved Riemannian manifolds and CAT(0) spaces. We define rank one isometries for Hilbert geometries and characterize them as being equivalent to contracting elements (in the sense of geometric group theory). We prove that if a discrete subgroup of automorphisms of a Hilbert geometry contains a rank one isometry, then the subgroup is either virtually cyclic or acylindrically hyperbolic. This leads to several applications like infinite-dimensionality of the space of quasi-morphisms, counting results for conjugacy classes and genericity results for rank one isometries.


title: SUSY shields the scaling symmetry of conformal quantum mechanics

abstract: Renormalization of the inverse square potential usually breaks its classical conformal invariance. In a strongly attractive potential, the scaling symmetry is broken to a discrete subgroup while, in a strongly repulsive potential, it is preserved at quantum level. In the intermediate, weak-medium range of the coupling, an anomalous length scale appears due to a flow of the renormalization group away from a critical point. We show that potentials with couplings in the strongly-repulsive and in the weak-medium ranges can be related by a dynamical supersymmetry. Imposing SUSY invariance unifies these two ranges, and fixes the anomalous scale to zero, thus restoring the continuous scaling symmetry.


title: Scaling of Loschmidt echo in boundary driven critical Z-3 Potts model

abstract: Low frequency perturbations at the boundary of critical quantum chains can be understood in terms of the sequence of boundary conditions imposed by them, as has been previously demonstrated in the Ising and related fermion models. Using extensive numerical simulations, we explore the scaling behavior of the Loschmidt echo under longitudinal field perturbations at the boundary of a critical $\mathbb{Z}_3$ Potts model. We show that at times much larger than the relaxation time after a boundary quench, the Loschmidt-echo has a power-law scaling as expected from interpreting the quench as insertion of boundary condition changing operators. Similar scaling is observed as a function of time-period under a low frequency square-wave pulse. We present numerical evidence which indicate that under a sinusoidal or triangular pulse, scaling with time period is modified by Kibble-Zurek effect, again similar to the case of the Ising model. Results confirm the validity, beyond the Ising model, of the treatment of the boundary perturbations in terms of the effect on boundary conditions.


title: Global optimization of multivariable functions satisfying the Vanderbei condition

abstract: We propose two algorithms for solving global optimization problems on a hyperrectangle with an objective function satisfying the Vanderbei condition (this function is also called an $\varepsilon$-Lipschitz continuous function). The algorithms belong to the class of non-uniform cover-ings methods. For the algorithms we prove propositions about convergence to an $\varepsilon$-solution in terms of the objective function. We illustrate the performance of the algorithms using several test numerical examples with non-Lipschitz continuous objective functions.


title: Information costs in the control of protein synthesis

abstract: Efficient protein synthesis depends on the availability of charged tRNA molecules. With 61 different codons, shifting the balance among the tRNA abundances can lead to large changes in the protein synthesis rate. Previous theoretical work has asked about the optimization of these abundances, and there is some evidence that regulatory mechanisms bring cells close to this optimum, on average. We formulate the tradeoff between the precision of control and the efficiency of synthesis, asking for the maximum entropy distribution of tRNA abundances consistent with a desired mean rate of protein synthesis. Our analysis, using data from E. coli, indicates that reasonable synthesis rates are consistent only with rather low entropies, so that the cell's regulatory mechanisms must encode a large amount of information about the "correct" tRNA abundances.


title: Thermal approximation of the equilibrium measure and obstacle problem

abstract: We consider the probability measure minimizing a free energy functional equal to the sum of a Coulomb interaction, a confinement potential and an entropy term, which arises in the statistical mechanics of Coulomb gases. In the limit where the inverse temperature $\beta$ tends to $\infty$ the entropy term disappears and the measure, which we call the "thermal equilibrium measure" tends to the well-known equilibrium measure, which can also be interpreted as a solution to the classical obstacle problem. We provide quantitative estimates on the convergence of the thermal equilibrium measure to the equilibrium measure in strong norms in the bulk of the latter, with a sequence of explicit correction terms in powers of $1/\beta$, as well as an analysis of the tail after the boundary layer of size $\beta^{-1/2}$.


title: Heegaard genus and complexity of fibered knots

abstract: We prove that if a fibered knot $K$ with genus greater than one in a three-manifold $M$ has a sufficiently complicated monodromy, then $K$ induces a minimal genus Heegaard splitting $P$ that is unique up to isotopy, and small genus Heegaard splittings of $M$ are stabilizations of $P$. We provide a complexity bound in terms of the Heegaard genus of $M$. We also provide global complexity bounds for fibered knots in the three-sphere and lens spaces.


title: Gluon TMDs and Opportunities at an EIC

abstract: We show how transverse momentum dependent gluon distributions could be probed at a future Electron-Ion Collider through the analysis of transverse momentum spectra and azimuthal asymmetries in the inclusive electroproduction of $J/\psi$ and $\Upsilon$ mesons. The maximum values of these asymmetries, obtained in a model-independent way by imposing the positivity bounds of the polarized gluon distributions, suggest the feasibility of the proposed measurements.


title: The trace embedding lemma and spinelessness

abstract: We demonstrate new applications of the trace embedding lemma to the study of piecewise-linear surfaces and the detection of exotic phenomena in dimension four. We provide infinitely many pairs of homeomorphic 4-manifolds $W$ and $W'$ homotopy equivalent to $S^2$ which have smooth structures distinguished by several formal properties: $W'$ is diffeomorphic to a knot trace but $W$ is not, $W'$ contains $S^2$ as a smooth spine but $W$ does not even contain $S^2$ as a piecewise-linear spine, $W'$ is geometrically simply connected but $W$ is not, and $W'$ does not admit a Stein structure but $W$ does. In particular, the simple spineless 4-manifolds $W$ provide an alternative to Levine and Lidman's recent solution to Problem 4.25 in Kirby's list. We also show that all smooth 4-manifolds contain topological locally flat surfaces that cannot be approximated by piecewise-linear surfaces.


title: Impact of a colored vector resonance on the collider constraints for top-like top partner

abstract: In this work we reappraise the collider constraints from leptonic final states on the vectorlike colored top partners taking into account the impact of exotic colored vector resonances. These colored states are intrinsic to a broad class of models that employ a strongly interacting sector to drive electroweak symmetry breaking. We translate the recent results in the {\sl monolepton + jets} channel as reported by CMS with an integrated luminosity of 35.8 fb$^{-1}$, and {\sl dilepton + jets} and {\sl trilepton + jets} channels as reported by ATLAS with an integrated luminosity of 36.1 fb$^{-1}$ to constrain the parameter space of these class of models. We also comment on the impact and modification of the derived constraints due to the expected fatness of the colored vector resonance, when accounted for beyond the narrow-width approximation by simulating the full one-particle irreducible resummed propagator.


title: A Hierarchical Self-Attentive Model for Recommending User-Generated Item Lists

abstract: User-generated item lists are a popular feature of many different platforms. Examples include lists of books on Goodreads, playlists on Spotify and YouTube, collections of images on Pinterest, and lists of answers on question-answer sites like Zhihu. Recommending item lists is critical for increasing user engagement and connecting users to new items, but many approaches are designed for the item-based recommendation, without careful consideration of the complex relationships between items and lists. Hence, in this paper, we propose a novel user-generated list recommendation model called AttList. Two unique features of AttList are careful modeling of (i) hierarchical user preference, which aggregates items to characterize the list that they belong to, and then aggregates these lists to estimate the user preference, naturally fitting into the hierarchical structure of item lists; and (ii) item and list consistency, through a novel self-attentive aggregation layer designed for capturing the consistency of neighboring items and lists to better model user preference. Through experiments over three real-world datasets reflecting different kinds of user-generated item lists, we find that AttList results in significant improvements in NDCG, Precision@k, and Recall@k versus a suite of state-of-the-art baselines. Furthermore, all code and data are available at https://github.com/heyunh2015/AttList.


title: Manifold Approximations via Transported Subspaces: Model reduction for transport-dominated problems

abstract: This work presents a method for constructing online-efficient reduced models of large-scale systems governed by parametrized nonlinear scalar conservation laws. The solution manifolds induced by transport-dominated problems such as hyperbolic conservation laws typically exhibit nonlinear structures, which means that traditional model reduction methods based on linear approximations are inefficient when applied to these problems. In contrast, the approach introduced in this work derives reduced approximations that are nonlinear by explicitly composing global transport dynamics with locally linear approximations of the solution manifolds. A time-stepping scheme evolves the nonlinear reduced models by transporting local approximation spaces along the characteristic curves of the governing equations. The proposed computational procedure allows an offline/online decomposition and is online-efficient in the sense that the complexity of accurately time-stepping the nonlinear reduced model is independent of that of the full model. Numerical experiments with transport through heterogeneous media and the Burgers' equation show orders of magnitude speedups of the proposed nonlinear reduced models based on transported subspaces compared to traditional linear reduced models and full models.


title: Semi-Supervised Learning with Normalizing Flows

abstract: Normalizing flows transform a latent distribution through an invertible neural network for a flexible and pleasingly simple approach to generative modelling, while preserving an exact likelihood. We propose FlowGMM, an end-to-end approach to generative semi supervised learning with normalizing flows, using a latent Gaussian mixture model. FlowGMM is distinct in its simplicity, unified treatment of labelled and unlabelled data with an exact likelihood, interpretability, and broad applicability beyond image data. We show promising results on a wide range of applications, including AG-News and Yahoo Answers text data, tabular data, and semi-supervised image classification. We also show that FlowGMM can discover interpretable structure, provide real-time optimization-free feature visualizations, and specify well calibrated predictive distributions.


title: The skewness of z=0.5 redshift-space galaxy distribution in Modified Gravity

abstract: We study the reduced skewness, $S_{3,g}\equiv\bar{\xi}_{3,g}/\bar{\xi}_{2,g}^2$ of galaxy distribution at $z=0.5$ in two families of modfied gravity models: the Hu-Sawicki $f(R)$-gravity and normal-branch of Dvali-Gabadadze-Porrati (nDGP) models. We use a set of mock galaxy catalogues specifally designed to match CMASS spectroscopic galaxy sample. For the first time we investigate the third reduced moment of such galaxy distributions both in the redshift space. Our analysis confirms that the signal previously indicated only for dark matter halo catalogues persists also in realistic mock galaxy samples. This result offers a possibility to extract a potential modified gravity signal in $S_3$ from spectroscopic galaxy data without a need for a very precise and self-consistent RSD models constructed for each and every modified gravity scenario separately. We show that the relative deviations from $\Lambda$CDM~ $S_{3,g}$ of various modified gravity models can vary from $7$ down to $\sim 2-3\%$ effects. Albeit, the effect looks small, we show that for considered models it can foster a $2-3\sigma$ falsification. Finally we argue that galaxy sample of a significantly higher number density should provide even stronger constraints by limiting shot-noise effects affecting the $S_{3,g}$ estimates at small comoving separations.


title: All-or-Nothing Phenomena: From Single-Letter to High Dimensions

abstract: We consider the linear regression problem of estimating a $p$-dimensional vector $\beta$ from $n$ observations $Y = X \beta + W$, where $\beta_j \stackrel{\text{i.i.d.}}{\sim} \pi$ for a real-valued distribution $\pi$ with zero mean and unit variance, $X_{ij} \stackrel{\text{i.i.d.}}{\sim} \mathcal{N}(0,1)$, and $W_i\stackrel{\text{i.i.d.}}{\sim} \mathcal{N}(0, \sigma^2)$. In the asymptotic regime where $n/p \to \delta$ and $ p/ \sigma^2 \to \mathsf{snr}$ for two fixed constants $\delta, \mathsf{snr}\in (0, \infty)$ as $p \to \infty$, the limiting (normalized) minimum mean-squared error (MMSE) has been characterized by the MMSE of an associated single-letter (additive Gaussian scalar) channel. In this paper, we show that if the MMSE function of the single-letter channel converges to a step function, then the limiting MMSE of estimating $\beta$ in the linear regression problem converges to a step function which jumps from $1$ to $0$ at a critical threshold. Moreover, we establish that the limiting mean-squared error of the (MSE-optimal) approximate message passing algorithm also converges to a step function with a larger threshold, providing evidence for the presence of a computational-statistical gap between the two thresholds.


title: Thermal signature of Majorana fermions in Josephson junction

abstract: Existence of distinctive correlation between the thermal conductance and the Josephson current across a 1-D topological Josephson junction (T-JJ) is established and an expression connecting the two is derived in the short junction limit. It is shown that the three terminal T-JJ provides us with an ideal set-up for exploiting the distinctive correlations which aid in identifying hallmarks of Majorana bound state localized at the junction. Our approach combines information form sub-gap Cooper pair transport and transport of above-gap thermally excited quasiparticle which is complementary to the existing studies.


title: Design of a Low Noise Amplifier

abstract: A low-noise amplifier (LNA) amplifies a very low-power signal without significantly degrading its signal-to-noise ratio. This paper provides the design of a linear low noise amplifier with the transistor BFP 640 using bilateral approach which is well-matched at the design frequency of 3.20 GHz with maximum transducer gain and low noise figure. Noise is minimized by considering trade-offs that include impedance matching and selecting low-noise biasing conditions.


title: De Rham comparison and Poincar\'e duality for rigid varieties

abstract: Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are compatible with Poincar\'e duality and with the canonical morphisms among such cohomology. We deduce these results from their analogues for rigid analytic varieties that are Zariski open in some proper smooth rigid analytic varieties over $k$. In particular, we prove finiteness of \'etale cohomology with partial compact support of any $\mathbb Z_p$-local systems, and establish the Poincar\'e duality for such cohomology after inverting $p$.