title: Computing base extensions of ordinary abelian varieties over finite fields

abstract: We study base field extensions of ordinary abelian varieties defined over finite fields using the module theoretic description introduced by Deligne. As applications we give algorithms to determine the minimal field of definition of such a variety and to determine whether two such varieties are twists.


title: Thermo-Optic Multi-Stability and Relaxation in Silicon Microring Resonators with Lateral Diodes

abstract: We demonstrate voltage-tunable thermo-optic bi- and tri-stability in silicon photonic microring resonators with lateral p-i-n junctions and present a technique for characterizing the thermo-optic transient response of integrated optical resonators. Our method for thermo-optic transient response measurement is applicable to any integrated photonics platform and uses standard equipment. Thermo-optic relaxation in encapsulated waveguides is found to be approximately logarithmic in time, consistent with the analytic solution for 2D heat diffusion. We develop a model for thermo-optic microring multi-stability and dynamics which agrees with experiment data over a wide range of operating conditions. Our work highlights the fundamental connection in semiconductor waveguides between active free-carrier removal and thermo-optic heating, a result of particular relevance to Kerr soliton state stability and on-chip frequency comb generation. The devices studied here were fabricated in a CMOS foundry process and as a result our model is useful for design of silicon photonic waveguide devices.


title: A Comprehensive Survey on Moving Networks

abstract: The unprecedented increase in the demand for mobile data, fuelled by new emerging applications such as HD video streaming and heightened online activities has caused massive strain on the existing cellular networks. As a solution, the 5G technology has been introduced to improve network performance through various innovative features such as mmWave spectrum and HetNets. In essence, HetNets include several small cells underlaid within macro-cell to serve densely populated regions. Recently, a mobile layer of HetNet has been under consideration by the researchers and is often referred to as moving networks. Moving networks comprise of mobile cells that are primarily introduced to improve QoS for commuting users inside public transport because the QoS is deteriorated due to vehicular penetration losses. Furthermore, the users inside fast moving public transport also exert excessive load on the core network due to large group handovers. To this end, mobile cells will play a crucial role in reducing overall handover count and will help in alleviating these problems by decoupling in-vehicle users from the core network. To date, remarkable research results have been achieved by the research community in addressing challenges linked to moving networks. However, to the best of our knowledge, a discussion on moving networks in a holistic way is missing in the current literature. To fill the gap, in this paper, we comprehensively survey moving networks. We cover the technological aspects and their applications in the futuristic applications. We also discuss the use-cases and value additions that moving networks may bring to future cellular architecture and identify the challenges associated with them. Based on the identified challenges we discuss the future research directions.


title: Koopman-von Neumann Approach to Quantum Simulation of Nonlinear Classical Dynamics

abstract: Quantum computers can be used to simulate nonlinear non-Hamiltonian classical dynamics on phase space by using the generalized Koopman-von Neumann formulation of classical mechanics. The Koopman-von Neumann formulation implies that the conservation of the probability distribution function on phase space, as expressed by the Liouville equation, can be recast as an equivalent Schr\"odinger equation on Hilbert space with a Hermitian Hamiltonian operator and a unitary propagator. This Schr\"odinger equation is linear in the momenta because it derives from a constrained Hamiltonian system with twice the classical phase space dimension. A quantum computer with finite resources can be used to simulate a finite-dimensional approximation of this unitary evolution operator. Quantum simulation of classical dynamics is exponentially more efficient than a deterministic Eulerian discretization of the Liouville equation if the Koopman-von Neumann Hamiltonian is sparse. Utilizing quantum walk techniques for state preparation and amplitude estimation for the calculation of observables leads to a quadratic improvement over classical probabilistic Monte Carlo algorithms.

categories: quant-ph math-ph math.MP physics.class-ph physics.comp-ph


title: On sign-symmetric signed graphs

abstract: A signed graph is said to be sign-symmetric if it is switching isomorphic to its negation. Bipartite signed graphs are trivially sign-symmetric. We give new constructions of non-bipartite sign-symmetric signed graphs. Sign-symmetric signed graphs have a symmetric spectrum but not the other way around. We present constructions of signed graphs with symmetric spectra which are not sign-symmetric. This, in particular answers a problem posed by Belardo, Cioab\u{a}, Koolen, and Wang (2018).


title: Delivery of water and volatiles to the terrestrial planets and the Moon

abstract: From modeling the evolution of disks of planetesimals under the influence of planets, it has been shown that the mass of water delivered to the Earth from beyond Jupiter's orbit could be comparable to the mass of terrestrial oceans. A considerable portion of the water could have been delivered to the Earth's embryo, when its mass was smaller than the current mass of the Earth. While the Earth's embryo mass was growing to half the current mass of the Earth, the mass of water delivered to the embryo could be near 30% of the total amount of water delivered to the Earth from the feeding zone of Jupiter and Saturn. Water of the terrestrial oceans could be a result of mixing the water from several sources with higher and lower D/H ratios. The mass of water delivered to Venus from beyond Jupiter's orbit was almost the same as that for the Earth, if normalized to unit mass of the planet. The analogous per-unit mass of water delivered to Mars was two-three times as much as that for the Earth. The mass of water delivered to the Moon from beyond Jupiter's orbit could be less than that for the Earth by a factor not more than 20.


title: A Multi-Quantile Regression Time Series Model with Interquantile Lipschitz Regularization for Wind Power Probabilistic Forecasting

abstract: Modern decision-making processes require uncertainty-aware models, especially those relying on non-symmetric costs and risk-averse profiles. The objective of this work is to propose a dynamic model for the conditional non-parametric distribution function (CDF) to generate probabilistic forecasts for a renewable generation time series. To do that, we propose an adaptive non-parametric time-series model driven by a regularized multiple-quantile-regression (MQR) framework. In our approach, all regression models are jointly estimated through a single linear optimization problem that finds the global-optimal parameters in polynomial time. An innovative feature of our work is the consideration of a Lipschitz regularization of the first derivative of coefficients in the quantile space, which imposes coefficient smoothness. The proposed regularization induces a coupling effect among quantiles creating a single non-parametric CDF model with improved out-of-sample performance. A case study with realistic wind-power generation data from the Brazilian system shows: 1) the regularization model is capable to improve the performance of MQR probabilistic forecasts, and 2) our MQR model outperforms five relevant benchmarks: two based on the MQR framework, and three based on parametric models, namely, SARIMA, and GAS with Beta and Weibull CDF.


title: Measurement-Level Fusion for OTHR Network Using Message Passing

abstract: Tracking an unknown number of targets based on multipath measurements provided by an over-the-horizon radar (OTHR) network with a statistical ionospheric model is complicated, which requires solving four subproblems: target detection, target tracking, multipath data association and ionospheric height identification. A joint solution is desired since the four subproblems are highly correlated, but suffering from the intractable inference problem of high-dimensional latent variables. In this paper, a unified message passing approach, combining belief propagation (BP) and mean-field (MF) approximation, is developed for simplifying the intractable inference. Based upon the factor graph corresponding to a factorization of the joint probability distribution function (PDF) of the latent variables and a choice for a separation of this factorization into BP region and MF region, the posterior PDFs of continuous latent variables including target kinematic state, target visibility state, and ionospheric height, are approximated by MF due to its simple MP update rules for conjugate-exponential models. With regard to discrete multipath data association which contains one-to-one frame (hard) constraints, its PDF is approximated by loopy BP. Finally, the approximated posterior PDFs are updated iteratively in a closed-loop manner, which is effective for dealing with the coupling issue among target detection, target tracking, multipath data association, and ionospheric height identification. Meanwhile, the proposed approach has the measurement-level fusion architecture due to the direct processing of the raw multipath measurements from an OTHR network, which is benefit to improving target tracking performance. Its performance is demonstrated on a simulated OTHR network multitarget tracking scenario.


title: Sensitivities to secret neutrino interaction at FASER$\nu$

abstract: We study the impact of the coupling of neutrinos with a new light neutral gauge boson, $Z^\prime$, with a mass of less than 500 {\rm MeV} in FASER$\nu$ experiment. Scenarios in which a light gauge boson is coupled to neutrinos are motivated within numerous contexts which are designed to explain various anomalies in particle physics and cosmology. This interaction leads to a new decay mode for charged mesons to a light lepton plus neutrino and $Z^{\prime}$, ($\pi^+(K^+)\to e^+ \nu Z^\prime$) followed by the subsequent decay of $Z^\prime$ into the pair of neutrino and anti-neutrino, ($Z^\prime \to \nu\bar{\nu}$). FASER$\nu$, the Forward Search Experiment at the LHC, has the potential to detect collider neutrinos for the first time. In particular, the FASER$\nu$ emulsion detector will provide the opportunity to detect $\tau$-neutrinos and to measure their energies. Using this ability of FASER$\nu$ emulsion detector, we investigate the potential of FASER$\nu$ experiment and the proposed upgraded version of this experiment, FASER2$\nu$, to constrain the coupling of a neutrino with the light gauge boson.


title: Toward Tag-free Aspect Based Sentiment Analysis: A Multiple Attention Network Approach

abstract: Existing aspect based sentiment analysis (ABSA) approaches leverage various neural network models to extract the aspect sentiments via learning aspect-specific feature representations. However, these approaches heavily rely on manual tagging of user reviews according to the predefined aspects as the input, a laborious and time-consuming process. Moreover, the underlying methods do not explain how and why the opposing aspect level polarities in a user review lead to the overall polarity. In this paper, we tackle these two problems by designing and implementing a new Multiple-Attention Network (MAN) approach for more powerful ABSA without the need for aspect tags using two new tag-free data sets crawled directly from TripAdvisor ({https://www.tripadvisor.com}). With the Self- and Position-Aware attention mechanism, MAN is capable of extracting both aspect level and overall sentiments from the text reviews using the aspect level and overall customer ratings, and it can also detect the vital aspect(s) leading to the overall sentiment polarity among different aspects via a new aspect ranking scheme. We carry out extensive experiments to demonstrate the strong performance of MAN compared to other state-of-the-art ABSA approaches and the explainability of our approach by visualizing and interpreting attention weights in case studies.


title: A Convex-Geometric Approach to Ensemble Control Analysis and Design in a Hilbert Space

abstract: In this paper, we tackle the long-standing challenges of ensemble control analysis and design using a convex-geometric approach in a Hilbert space setting. Specifically, we formulate the control of linear ensemble systems as a convex feasibility problem in a Hilbert space, which can be solved by iterative weighted projections. Such a non-trivial geometric interpretation not only enables a systematic design principle for constructing feasible, optimal, and constrained ensemble control signals, but also makes it possible for numerical examination of ensemble reachability and controllability. Furthermore, we incorporate this geometric approach into an iterative framework and illustrate its capability to derive feasible controls for steering bilinear ensemble systems. We conduct various numerical experiments on the control of linear and bilinear ensembles to validate the theoretical developments and demonstrate the applicability of the proposed convex-geometric approach.


title: Behavior of a Free Quantum Particle in the Poincar\'e Upper Half-Plane Geometry

abstract: Inspired by the recent work of Filho et al., a Hermitian momentum operator is introduced in a general curved space with diagonal metric. The modified Hamiltonian associated with this new momentum is calculated and discussed. Furthermore, granting the validity of the Heisenberg equation in a curved space, the Ehrenfest theorem is generalized and interpreted with the new position-dependent differential operator in a curved space. The modified Hamiltonian leads to a modified time-independent Schr\"odinger equation, which is solved explicitly for a free particle in the Poincar\'e upper half-plane geometry. It is shown that a "free particle" does not behave as it is totally free due to curved background geometry.


title: 365 Dots in 2019: Quantifying Attention of News Sources

abstract: We investigate the overlap of topics of online news articles from a variety of sources. To do this, we provide a platform for studying the news by measuring this overlap and scoring news stories according to the degree of attention in near-real time. This can enable multiple studies, including identifying topics that receive the most attention from news organizations and identifying slow news days versus major news days. Our application, StoryGraph, periodically (10-minute intervals) extracts the first five news articles from the RSS feeds of 17 US news media organizations across the partisanship spectrum (left, center, and right). From these articles, StoryGraph extracts named entities (PEOPLE, LOCATIONS, ORGANIZATIONS, etc.) and then represents each news article with its set of extracted named entities. Finally, StoryGraph generates a news similarity graph where the nodes represent news articles, and an edge between a pair of nodes represents a high degree of similarity between the nodes (similar news stories). Each news story within the news similarity graph is assigned an attention score which quantifies the amount of attention the topics in the news story receive collectively from the news media organizations. The StoryGraph service has been running since August 2017, and using this method, we determined that the top news story of 2018 was the "Kavanaugh hearings" with attention score of 25.85 on September 27, 2018. Similarly, the top news story for 2019 so far (2019-12-12) is "AG William Barr's release of his principal conclusions of the Mueller Report," with an attention score of 22.93 on March 24, 2019.


title: Variations on a Demonic Theme: Szilard's Other Engines

abstract: Szilard's now-famous single-molecule engine was only the first of three constructions he introduced in 1929 to resolve several paradoxes arising from Maxwell's demon. We analyze Szilard's remaining two demon models. We show that the second one, though a markedly different implementation employing a population of distinct molecular species and semi-permeable membranes, is informationally and thermodynamically equivalent to an ideal gas of the single-molecule engines. Since it is a gas of noninteracting particles one concludes, following Boyd and Crutchfield, that (i) it reduces to a chaotic dynamical system---called the Szilard Map, a composite of three piecewise linear maps that implement the thermodynamic transformations of measurement, control, and erasure; (ii) its transitory functioning as an engine that converts disorganized heat energy to work is governed by the Kolmogorov-Sinai entropy rate; (iii) the demon's minimum necessary "intelligence" for optimal functioning is given by the engine's statistical complexity, and (iv) its functioning saturates thermodynamic bounds and so it is a minimal, optimal implementation. We show that Szilard's third model is rather different and addresses the fundamental issue, raised by the first two, of measurement in and by thermodynamic systems and entropy generation. Taken together, Szilard's suite of constructions lays out a range of possible realizations of Maxwellian demons that anticipated by almost two decades Shannon's and Wiener's concept of information as surprise and cybernetics' notion of functional information. This, in turn, gives new insight into engineering implementations of novel nanoscale information engines that leverage microscopic fluctuations and into the diversity of thermodynamic mechanisms and intrinsic computation harnessed in physical, molecular, biochemical, and biological systems.

categories: cond-mat.stat-mech cs.IT math.IT nlin.CD


title: Magnetohydrodynamic modelling of star-planet interaction and associated auroral radio emission

abstract: We present calculations of auroral radio powers of magnetised hot Jupiters orbiting Sun-like stars, computed using global magnetohydrodynamic (MHD) modelling of the magnetospheric and ionospheric convection arising from the interaction between the magnetosphere and the stellar wind. Exoplanetary auroral radio powers are traditionally estimated using empirical or analytically-derived relations, such as the Radiometric Bode's Law (RBL), which relates radio power to the magnetic or kinetic energy dissipated in the stellar wind-planet interaction. Such methods risk an oversimplification of the magnetospheric electrodynamics giving rise to radio emission. As the next step toward a self-consistent picture, we model the stellar wind-magnetosphere-ionosphere coupling currents using a 3D MHD model. We compute electron-cyclotron maser instability-driven emission from the calculated ionospheric field-aligned current density. We show that the auroral radio power is highly sensitive to interplanetary magnetic field (IMF) strength, and that the emission is saturated for plausible hot Jupiter Pedersen conductances, indicating that radio power may be largely independent of ionospheric conductance. We estimate peak radio powers of $10^{14}$ W from a planet exposed to an IMF strength of $10^3$ nT, implying flux densities at a distance of 15 pc from Earth potentially detectable with current and future radio telescopes. We also find a relation between radio power and planetary orbital distance that is broadly consistent with results from previous analytic models of magnetosphere-ionosphere coupling at hot Jupiters, and indicates that the RBL likely overestimates the radio powers by up to two orders of magnitude in the hot Jupiter regime


title: The Igusa quartic and the Prym map, with some rational moduli

abstract: In this paper the ubiquity of the Igusa quartic $B \subset \mathbb P^4$ shows up again, this time related to the Prym map $\mathfrak p : \mathcal R_6 \to \mathcal A_5$. We introduce the moduli space $\mathcal X$ of those quartic threefolds $X$ cutting twice a quadratic section of $B$. A general $X$ is $30$-nodal and the intermediate Jacobian $J(X)$ of its natural desingularization is a $5$-dimensional p.p. abelian variety. Let $\frak j: \mathcal X \to \mathcal A_5$ be the period map sending $X$ to $J(X)$, in the paper we study $\frak j$ and its relation to $\frak p$. As is well known the degree of $\frak p$ is $27$ and its monodromy group endows any smooth fibre $F$ of $\frak p$ with the incidence configuration of $27$ lines of a cubic surface. Then the same monodromy defines a map $ \mathfrak j': \mathcal D_6 \to \mathcal A_5$ of degree $36$, with fibre the configuration of $36$ 'double-six' sets of lines of a cubic surface. We prove that $\frak j = \frak j' \circ \phi$, where $\phi: \mathcal X \to \mathcal D_6$ is birational. This provides a geometric description of $\frak j'$. Finally we describe the relations between the different moduli spaces considered and prove that some, including $\mathcal X$, are rational.


title: A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism

abstract: The algebraic properties of the combination of probabilistic choice and nondeterministic choice have long been a research topic in program semantics. This paper explains a formalization in the Coq proof assistant of a monad equipped with both choices: the geometrically convex monad. This formalization has an immediate application: it provides a model for a monad that implements a non-trivial interface which allows for proofs by equational reasoning using probabilistic and nondeterministic effects. We explain the technical choices we made to go from the literature to a complete Coq formalization, from which we identify reusable theories about mathematical structures such as convex spaces and concrete categories, and that we integrate in a framework for monadic equational reasoning.


title: Orbital stability of the black soliton for the quintic Gross-Pitaevskii equation

abstract: In this work, a rigorous proof of the orbital stability of the black soliton solution of the quintic Gross-Pitaevskii equation in one spatial dimension is obtained. We first build and show explicitly black and dark soliton solutions and we prove that the corresponding Ginzburg-Landau energy is coercive around them by using some orthogonality conditions related to perturbations of the black and dark solitons. The existence of suitable perturbations around black and dark solitons satisfying the required orthogonality conditions is deduced from an Implicit Function Theorem. In fact, these perturbations involve dark solitons with sufficiently small speeds and some proportionality factors ari\-sing from the explicit expression of their spatial derivative. We are also able to control the evolution of the modulation parameters along the quintic Gross-Pitaevskii flow by estimating their growth in time. As a direct consequence, we also prove the orbital stability of the dark soliton in a small speed interval.


title: Gravitational Wave Detection and Information Extraction via Neural Networks

abstract: Laser Interferometer Gravitational-Wave Observatory (LIGO) was the first laboratory to measure the gravitational waves. It was needed an exceptional experimental design to measure distance changes much less than a radius of a proton. In the same way, the data analyses to confirm and extract information is a tremendously hard task. Here, it is shown a computational procedure base on artificial neural networks to detect a gravitation wave event and extract the knowledge of its ring-down time from the LIGO data. With this proposal, it is possible to make a probabilistic thermometer for gravitational wave detection and obtain physical information about the astronomical body system that created the phenomenon. Here, the ring-down time is determined with a direct data measure, without the need to use numerical relativity techniques and high computational power.


title: Analysis and Prediction of Pedestrian Crosswalk Behavior during Automated Vehicle Interactions

abstract: For safe navigation around pedestrians, automated vehicles (AVs) need to plan their motion by accurately predicting pedestrians trajectories over long time horizons. Current approaches to AV motion planning around crosswalks predict only for short time horizons (1-2 s) and are based on data from pedestrian interactions with human-driven vehicles (HDVs). In this paper, we develop a hybrid systems model that uses pedestrians gap acceptance behavior and constant velocity dynamics for long-term pedestrian trajectory prediction when interacting with AVs. Results demonstrate the applicability of the model for long-term (> 5 s) pedestrian trajectory prediction at crosswalks. Further we compared measures of pedestrian crossing behaviors in the immersive virtual environment (when interacting with AVs) to that in the real world (results of published studies of pedestrians interacting with HDVs), and found similarities between the two. These similarities demonstrate the applicability of the hybrid model of AV interactions developed from an immersive virtual environment (IVE) for real-world scenarios for both AVs and HDVs.


title: Monitoring of the formation of strontium molybdate intergrain tunneling barriers in strontium ferromolybdate

abstract: This work is a contribution to the understanding of the electrical resistivity in strontium ferromolybdate (SFMO) ceramics. It demonstrates that an appropriate thermal treatment leads to the formation of dielectric SrMoO4 shells at the surface of SFMO nanograins. In samples without SrMoO4 shells, the sign of the temperature coefficient of resistance changes with increasing temperature from negative at very low temperature to positive at higher temperatures. Samples exhibiting a negative temperature coefficient contain SrMoO4 shells and demonstrate a behavior of the resistivity that can be described in terms of the fluctuation-induced tunneling model, and near room temperature the conductivity mechanism converts to a variable-range hopping one. The results of this work serve as a starting point for the understanding of the low-field magnetoresistance which is very promising for spintronic device application.


title: Efficient Behavior-aware Control of Automated Vehicles at Crosswalks using Minimal Information Pedestrian Prediction Model

abstract: For automated vehicles (AVs) to reliably navigate through crosswalks, they need to understand pedestrians crossing behaviors. Simple and reliable pedestrian behavior models aid in real-time AV control by allowing the AVs to predict future pedestrian behaviors. In this paper, we present a Behavior aware Model Predictive Controller (B-MPC) for AVs that incorporates long-term predictions of pedestrian crossing behavior using a previously developed pedestrian crossing model. The model incorporates pedestrians gap acceptance behavior and utilizes minimal pedestrian information, namely their position and speed, to predict pedestrians crossing behaviors. The BMPC controller is validated through simulations and compared to a rule-based controller. By incorporating predictions of pedestrian behavior, the B-MPC controller is able to efficiently plan for longer horizons and handle a wider range of pedestrian interaction scenarios than the rule-based controller. Results demonstrate the applicability of the controller for safe and efficient navigation at crossing scenarios.


title: Entanglement and Quaternions: The graphical calculus ZQ

abstract: Graphical calculi are vital tools for representing and reasoning about quantum circuits and processes. Some are not only graphically intuitive but also logically complete. The best known of these is the ZX-calculus, which is an industry candidate for an Intermediate Representation; a language that sits between the algorithm designer's intent and the quantum hardware's gate instructions. The ZX calculus, built from generalised Z and X rotations, has difficulty reasoning about arbitrary rotations. This contrasts with the cross-hardware compiler TriQ which uses these arbitrary rotations to exploit hardware efficiencies. In this paper we introduce the graphical calculus ZQ, which uses quaternions to represent these arbitrary rotations, similar to TriQ, and the phase-free Z spider to represent entanglement, similar to ZX. We show that this calculus is sound and complete for qubit quantum computing, while also showing that a fully spider-based representation would have been impossible. This new calculus extends the zoo of qubit graphical calculi, each with different strengths, and we hope it will provide a common language for the optimisation procedures of both ZX and TriQ.


title: The Computational Complexity of Evil Hangman

abstract: The game of Hangman is a classical asymmetric two player game in which one player, the setter, chooses a secret word from a language, that the other player, the guesser, tries to discover through single letter matching queries, answered by all occurrences of this letter if any. In the Evil Hangman variant, the setter can change the secret word during the game, as long as the new choice is consistent with the information already given to the guesser. We show that a greedy strategy for Evil Hangman can perform arbitrarily far from optimal, and most importantly, that playing optimally as an Evil Hangman setter is computationally difficult. The latter result holds even assuming perfect knowledge of the language, for several classes of languages, ranging from Finite to Turing Computable. The proofs are based on reductions to Dominating Set on 3-regular graphs and to the Membership problem, combinatorial problems already known to be computationally hard.


title: Improved Price Oracles: Constant Function Market Makers

abstract: Automated market makers, first popularized by Hanson's logarithmic market scoring rule (or LMSR) for prediction markets, have become important building blocks, called 'primitives,' for decentralized finance. A particularly useful primitive is the ability to measure the price of an asset, a problem often known as the pricing oracle problem. In this paper, we focus on the analysis of a very large class of automated market makers, called constant function market makers (or CFMMs) which includes existing popular market makers such as Uniswap, Balancer, and Curve, whose yearly transaction volume totals to billions of dollars. We give sufficient conditions such that, under fairly general assumptions, agents who interact with these constant function market makers are incentivized to correctly report the price of an asset and that they can do so in a computationally efficient way. We also derive several other useful properties that were previously not known. These include lower bounds on the total value of assets held by CFMMs and lower bounds guaranteeing that no agent can, by any set of trades, drain the reserves of assets held by a given CFMM.


title: Noncompact $\mathbf{CP}^N$ as a phase space of superintegrable systems

abstract: We propose the description of superintegrable models with dynamical $so(1.2)$ symmetry, and of the generic superintegrable deformations of oscillator and Coulomb systems in terms of higher-dimensional Klein model (the non-compact analog of complex projective space) playing the role of phase space. We present the expressions of the constants of motion of these systems via Killing potentials defining the $su(N.1)$ isometries of the K\"ahler structure.


title: Emergent dynamics in excitable flow systems

abstract: Flow networks can describe many natural and artificial systems. We present a model for a flow system that allows for volume accumulation, includes conduits with a non-linear relation between current and pressure difference, and can be applied to networks of arbitrary topology. The model displays complex dynamics, including self-sustained oscillations in the absence of any dynamics in the inputs and outputs. In this work we analytically show the origin of self-sustained oscillations for the 1D case. We numerically study the behavior of systems of arbitrary topology under different conditions: we discuss their excitability, the effect of different boundary conditions and wave propagation when the network has regions of conduits with linear conductance.


title: On Popa's factorial commutant embedding problem

abstract: An open question of Sorin Popa asks whether or not every $R^{\mathcal{U}}$-embeddable factor admits an embedding into $R^{\mathcal{U}}$ with factorial relative commutant. We show that there is a locally universal McDuff II$_1$ factor $M$ such that every property (T) factor admits an embedding into $M^{\mathcal{U}}$ with factorial relative commutant. We also discuss how our strategy could be used to settle Popa's question for property (T) factors if a certain open question in the model theory of operator algebras has a positive solution.


title: Generalized spherical mean value operators on Euclidean space

abstract: We consider the Neumann version of the spherical mean value operator and its variants in the space of smooth functions, distributions and compactly supported ones. Surjectivity and range characterization issues are addressed from the viewpoint of convolution equations.


title: Rapid Reviews in Software Engineering

abstract: Integrating research evidence into practice is one of the main goals of Evidence-Based Software Engineering (EBSE). Secondary studies, one of the main EBSE products, are intended to summarize the best research evidence and make them easily consumable by practitioners. However, recent studies show that some secondary studies lack connections with software engineering practice. In this chapter, we present the concept of Rapid Reviews, which are lightweight secondary studies focused on delivering evidence to practitioners in a timely manner. Rapid reviews support practitioners in their decision-making, and should be conducted bounded to a practical problem, inserted into a practical context. Thus, Rapid Reviews can be easily integrated in a knowledge/technology transfer initiative. After describing the basic concepts, we present the results and experiences of conducting two Rapid Reviews. We also provide guidelines to help researchers and practitioners who want to conduct Rapid Reviews, and we finally discuss topics that my concern the research community about the feasibility of Rapid Reviews as an Evidence-Based method. In conclusion, we believe Rapid Reviews might interest researchers and practitioners working in the intersection between software engineering research and practice.


title: Private Function Computation for Noncolluding Coded Databases

abstract: Private computation in a distributed storage system (DSS) is a generalization of the private information retrieval (PIR) problem. In such setting a user wishes to compute a function of $f$ messages stored in $n$ noncolluding coded databases, i.e., databases storing data encoded with an $[n,k]$ linear storage code, while revealing no information about the desired function to the databases. We consider the problem of private polynomial computation (PPC). In PPC, a user wishes to compute a multivariate polynomial of degree at most $g$ over $f$ variables (or messages) stored in multiple databases. First, we consider the private computation of polynomials of degree $g=1$, i.e., private linear computation (PLC) for coded databases. In PLC, a user wishes to compute a linear combination over the $f$ messages while keeping the coefficients of the desired linear combination hidden from the database. For a linearly encoded DSS, we present a capacity-achieving PLC scheme and show that the PLC capacity, which is the ratio of the desired amount of information and the total amount of downloaded information, matches the maximum distance separable coded capacity of PIR for a large class of linear storage codes. Then, we consider private computation of higher degree polynomials, i.e., $g>1$. For this setup, we construct two novel PPC schemes. In the first scheme, we consider Reed-Solomon coded databases with Lagrange encoding, which leverages ideas from recently proposed star-product PIR and Lagrange coded computation. The second scheme considers the special case of coded databases with systematic Lagrange encoding. Both schemes yield improved rates, while asymptotically, as $f\rightarrow \infty$, the systematic scheme gives a significantly better computation retrieval rate compared to all known schemes up to some storage code rate that depends on the maximum degree of the candidate polynomials.


title: Topological Data Analysis of Collective and Individual Epithelial Cells using Persistent Homology of Loops

abstract: Interacting, self-propelled particles such as epithelial cells can dynamically self-organize into complex multicellular patterns, which are challenging to classify without a priori information. Classically, different phases and phase transitions have been described based on local ordering, which may not capture structural features at larger length scales. Instead, topological data analysis (TDA) determines the stability of spatial connectivity at varying length scales (i.e. persistent homology) and can compare different particle configurations based on the "cost" of reorganizing one configuration into another. Here, we demonstrate a topology-based machine learning approach for unsupervised profiling of individual and collective phases based on large-scale loops. We show that these topological loops (i.e. dimension 1 homology) are robust to variations in particle number and density, particularly in comparison to connected components (i.e. dimension 0 homology). We use TDA to map out phase diagrams for simulated particles with varying adhesion and propulsion, at constant population size as well as when proliferation is permitted. Next, we use this approach to profile our recent experiments on the clustering of epithelial cells in varying growth factor conditions, which are compared to our simulations. Finally, we characterize the robustness of this approach at varying length scales, with sparse sampling, and over time. Overall, we envision TDA will be broadly applicable as a model-agnostic approach to analyze active systems with varying population size, from cytoskeletal motors to motile cells to flocking or swarming animals.


title: Study of collective effects in the CERN FCC-ee top-up booster

abstract: The CERN FCC-ee top-up booster synchrotron will accelerate electrons and positrons from an injection energy of 20 GeV up to an extraction energy between 45.6 GeV and 182.5 GeV depending on the operation mode. These accelerated beams will be used for the initial filling of the high-luminosity FCC-ee collider and for keeping the beam current constant over time using continuous top-up injection. Due to the high-intensities of the circulating beams, collective effects may represent a limitation in the top-up booster. In this work we present a first evaluation of the impedance model and the effects on beam dynamics. Methods to mitigate possible instabilities will be also discussed.


title: One-Shot Informed Robotic Visual Search in the Wild

abstract: We consider the task of underwater robot navigation for the purpose of collecting scientifically relevant video data for environmental monitoring. The majority of field robots that currently perform monitoring tasks in unstructured natural environments navigate via path-tracking a pre-specified sequence of waypoints. Although this navigation method is often necessary, it is limiting because the robot does not have a model of what the scientist deems to be relevant visual observations. Thus, the robot can neither visually search for particular types of objects, nor focus its attention on parts of the scene that might be more relevant than the pre-specified waypoints and viewpoints. In this paper we propose a method that enables informed visual navigation via a learned visual similarity operator that guides the robot's visual search towards parts of the scene that look like an exemplar image, which is given by the user as a high-level specification for data collection. We propose and evaluate a weakly supervised video representation learning method that outperforms ImageNet embeddings for similarity tasks in the underwater domain. We also demonstrate the deployment of this similarity operator during informed visual navigation in collaborative environmental monitoring scenarios, in large-scale field trials, where the robot and a human scientist collaboratively search for relevant visual content.


title: Optimization of Operation Strategy for Primary Torque based hydrostatic Drivetrain using Artificial Intelligence

abstract: A new primary torque control concept for hydrostatics mobile machines was introduced in 2018. The mentioned concept controls the pressure in a closed circuit by changing the angle of the hydraulic pump to achieve the desired pressure based on a feedback system. Thanks to this concept, a series of advantages are expected. However, while working in a Y cycle, the primary torque-controlled wheel loader has worse performance in efficiency compared to secondary controlled earthmover due to lack of recuperation ability. Alternatively, we use deep learning algorithms to improve machines' regeneration performance. In this paper, we firstly make a potential analysis to show the benefit by utilizing the regeneration process, followed by proposing a series of CRDNNs, which combine CNN, RNN, and DNN, to precisely detect Y cycles. Compared to existing algorithms, the CRDNN with bi-directional LSTMs has the best accuracy, and the CRDNN with LSTMs has a comparable performance but much fewer training parameters. Based on our dataset including 119 truck loading cycles, our best neural network shows a 98.2% test accuracy. Therefore, even with a simple regeneration process, our algorithm can improve the holistic efficiency of mobile machines up to 9% during Y cycle processes if primary torque concept is used.


title: Vector Field Guided Path Following Control: Singularity Elimination and Global Convergence

abstract: Vector field guided path following (VF-PF) algorithms are fundamental in robot navigation tasks, but may not deliver the desirable performance when robots encounter singular points where the vector field becomes zero. The existence of singular points prevents the global convergence of the vector field's integral curves to the desired path. Moreover, VF-PF algorithms, as well as most of the existing path following algorithms, fail to enable following a self-intersected desired path. In this paper, we show that such failures are fundamentally related to the mathematical topology of the path, and that by "stretching" the desired path along a virtual dimension, one can remove the topological obstruction. Consequently, this paper proposes a new guiding vector field defined in a higher-dimensional space, in which self-intersected desired paths become free of self-intersections; more importantly, the new guiding vector field does not have any singular points, enabling the integral curves to converge globally to the "stretched" path. We further introduce the extended dynamics to retain this appealing global convergence property for the desired path in the original lower-dimensional space. Both simulations and experiments are conducted to verify the theory.


title: Functional Determinant on Pseudo-Einstein 3-manifolds

abstract: Given a three dimensional pseudo-Einstein CR manifold $(M,T^{1,0}M,\theta)$, we establish an expression for the difference of determinants of the Paneitz type operators $A_{\theta}$, related to the problem of prescribing the $Q'$-curvature, under the conformal change $\theta\mapsto e^{w}\theta$ with $w\in \P$ the space of pluriharmonic functions. This generalizes the expression of the functional determinant in four dimensional Riemannian manifolds established in \cite{BO2}. We also provide an existence result of maximizers for the scaling invariant functional determinant as in \cite{CY}.


title: Reinforcement Learning in Economics and Finance

abstract: Reinforcement learning algorithms describe how an agent can learn an optimal action policy in a sequential decision process, through repeated experience. In a given environment, the agent policy provides him some running and terminal rewards. As in online learning, the agent learns sequentially. As in multi-armed bandit problems, when an agent picks an action, he can not infer ex-post the rewards induced by other action choices. In reinforcement learning, his actions have consequences: they influence not only rewards, but also future states of the world. The goal of reinforcement learning is to find an optimal policy -- a mapping from the states of the world to the set of actions, in order to maximize cumulative reward, which is a long term strategy. Exploring might be sub-optimal on a short-term horizon but could lead to optimal long-term ones. Many problems of optimal control, popular in economics for more than forty years, can be expressed in the reinforcement learning framework, and recent advances in computational science, provided in particular by deep learning algorithms, can be used by economists in order to solve complex behavioral problems. In this article, we propose a state-of-the-art of reinforcement learning techniques, and present applications in economics, game theory, operation research and finance.


title: General Optimal Polynomial Approximants, Stabilization, and Projections of Unity

abstract: For various Hilbert spaces of analytic functions on the unit disk, we characterize when a function $f$ has optimal polynomial approximants given by truncations of a single power series. We also introduce a generalized notion of optimal approximant and use this to explicitly compute orthogonal projections of 1 onto certain shift invariant subspaces.


title: Self-Supervised 2D Image to 3D Shape Translation with Disentangled Representations

abstract: We present a framework to translate between 2D image views and 3D object shapes. Recent progress in deep learning enabled us to learn structure-aware representations from a scene. However, the existing literature assumes that pairs of images and 3D shapes are available for training in full supervision. In this paper, we propose SIST, a Self-supervised Image to Shape Translation framework that fulfills three tasks: (i) reconstructing the 3D shape from a single image; (ii) learning disentangled representations for shape, appearance and viewpoint; and (iii) generating a realistic RGB image from these independent factors. In contrast to the existing approaches, our method does not require image-shape pairs for training. Instead, it uses unpaired image and shape datasets from the same object class and jointly trains image generator and shape reconstruction networks. Our translation method achieves promising results, comparable in quantitative and qualitative terms to the state-of-the-art achieved by fully-supervised methods.


title: An empirical algorithm to forecast the evolution of the number of COVID-19 symptomatic patients after social distancing interventions

abstract: We present an empirical algorithm to forecast the evolution of the number of COVID-19 symptomatic patients in the early stages of the pandemic spread and after strict social distancing interventions. The algorithm is based on a low dimensional model for the variation of the exponential growth rate that decreases after the implementation of strict social distancing measures. From the observable data given by the number of tested positive, our model estimates the number of infected hindcast introducing in the model formulation the incubation time. We also use the model to follow the number of infected patients who later die using the registered number of deaths and the distribution time from infection to death. The relationship of the proposed model with the SIR models is studied. Model parameters fitting is done by minimizing a quadratic error between the data and the model forecast. An extended model is also proposed that allows a longer term forecast. An online implementation of the model is avalaible at www.ctim.es/covid19


title: Navigation Systems May Deteriorate Stability in Traffic Networks

abstract: Advanced traffic navigation systems, which provide routing recommendations to drivers based on real-time congestion information, are nowadays widely adopted by roadway transportation users. Yet, the emerging effects on the traffic dynamics originating from the widespread adoption of these tools have remained largely unexplored until now. In this paper, we propose a dynamic model where drivers imitate the path preferences of previous drivers, and we study the properties of its equilibrium points. Our model is a dynamic generalization of the classical traffic assignment framework, and extends it by accounting for dynamics both in the path decision process and in the network's traffic flows. We show that when travelers learn shortest paths by imitating other travelers, the overall traffic system benefits from this mechanism and transfers the maximum admissible amount of traffic demand. On the other hand, we demonstrate that when the travel delay functions are not sufficiently steep or the rates at which drivers imitate previous travelers are not adequately chosen, the trajectories of the traffic system may fail to converge to an equilibrium point, thus failing asymptotic stability. Illustrative numerical simulations combined with empirical data from highway sensors illustrate our findings.


title: CP asymmetry from hadronic charm rescattering in $B^\pm \to \pi^-\pi^+\pi^\pm$ decays at the high mass region

abstract: A model for the $B^\pm \to \pi^-\pi^+\pi^\pm$ decay amplitude is proposed to study the large CP violation observed at the high mass region of the Dalitz plane. A short distance $ b \to u $ amplitude with the weak phase $\gamma$ is considered together with the contribution of a hadronic charm loop and a s-wave $D\bar{D}\to \pi\pi$ rescattering. In the model, the $\chi_c^0$ appears as a narrow resonant state of the $D\bar D$ system below threshold. It is introduced in an unitary two channel S-matrix model of the coupled $D\bar D$ and $\pi\pi$ channels, where the $\chi_c^0$ complex pole in $D\bar D$ channel shows its signature in the off-diagonal matrix element and in the associated $D\bar{D}\to \pi\pi$ transition amplitude. The strong phase of the resulting decay amplitude has a sharp sign change at the $D\bar D$ threshold, changing the sign of the CP asymmetry, as it is observed in the data. We conclude that the hadronic charm loop and rescattering mechanism are relevant to the broadening of the CP asymmetry around the $\chi_c^0$ resonance in the $\pi\pi$ channel. This novel mechanism provides a possible interpretation of the CP asymmetry defier experimental result presented by the LHCb collaboration for the $B^\pm \to \pi^-\pi^+\pi^\pm$ decay in the high mass region.


title: Programmable quantum Hall bisector: towards a novel resistance standard for quantum metrology

abstract: We demonstrate a programmable quantum Hall circuit that implements a novel iterative voltage bisection scheme and allows obtaining any binary fraction $(k/2^n)$ of the fundamental resistance quantum $R_K/2=h/2e^2$. The circuit requires a number $n$ of bisection stages that only scales logarithmically with the precision of the fraction. The value of $k$ can be set to any integer between 1 and $2^n$ by proper gate configuration. The architecture exploits gate-controlled routing, mixing and equilibration of edge modes of robust quantum Hall states. The device does not contain {\em any} internal ohmic contact potentially leading to spurious voltage drops. Our scheme addresses key critical aspects of quantum Hall arrays of resistance standards, which are today widely studied and used to create custom calibration resistances. The approach is demonstrated in a proof-of-principle two-stage bisection circuit built on a high-mobility GaAs/AlGaAs heterostructure operating at a temperature of $260\,{\rm mK}$ and a magnetic field of $4.1\,{\rm T}$.


title: Proofs of non-optimality of the standard least-squares method for track reconstructions

abstract: It is a standard criterium in statistics to define an optimal estimator the one with the minimum variance. Thus, the optimality is proved with inequality among variances of competing estimators. The inequalities, demonstrated here, disfavor the standard least squares estimators. Inequalities among estimators are connected to names of Cramer, Rao and Frechet. The standard demonstrations of these inequalities require very special analytical properties of the probability functions, globally indicated as regular models. These limiting conditions are too restrictive to handle realistic problems in track fitting. A previous extension to heteroscedastic models of the Cramer-Rao-Frechet inequalities was performed with Gaussian distributions. These demonstrations proved beyond any possible doubts the superiority of the heteroscedastic models compared to the standard least squares method. However, the Gaussian distributions are typical members of the required regular models. Instead, the realistic probability distributions, encountered in tracker detectors, are very different from Gaussian distributions. Therefore, to have well grounded set of inequalities, the limitations to regular models must be overtaken. The aim of this paper is to demonstrate the inequalities for least squares estimators for irregular models of probabilities, explicitly excluded by the Cramer-Rao-Frechet demonstrations. Estimators for straight and parabolic tracks will be considered. The final part deals with the form of the distributions of simplified heteroscedastic track models reconstructed with optimal estimators and the standard (non-optimal) estimators. A comparison among the distributions of these different estimators shows the large loss in resolution of the standard least-squares estimators.

categories: math.ST hep-ex physics.ins-det stat.ME stat.TH


title: High Performance Sequence-to-Sequence Model for Streaming Speech Recognition

abstract: Recently sequence-to-sequence models have started to achieve state-of-the-art performance on standard speech recognition tasks when processing audio data in batch mode, i.e., the complete audio data is available when starting processing. However, when it comes to performing run-on recognition on an input stream of audio data while producing recognition results in real-time and with low word-based latency, these models face several challenges. For many techniques, the whole audio sequence to be decoded needs to be available at the start of the processing, e.g., for the attention mechanism or the bidirectional LSTM (BLSTM). In this paper, we propose several techniques to mitigate these problems. We introduce an additional loss function controlling the uncertainty of the attention mechanism, a modified beam search identifying partial, stable hypotheses, ways of working with BLSTM in the encoder, and the use of chunked BLSTM. Our experiments show that with the right combination of these techniques, it is possible to perform run-on speech recognition with low word-based latency without sacrificing in word error rate performance.


title: Simplicial Chern-Weil theory for coherent analytic sheaves, part I

abstract: In "Chern classes for coherent sheaves", H.I. Green constructs Chern classes in de Rham cohomology of coherent analytic sheaves. We construct here a formal $(\infty,1)$-categorical framework into which we can place Green's work and generalise it, also obtaining a better idea as to what exactly a simplicial connection should be. The result will be the ability to work with generalised invariant polynomials (which will be introduced in the sequel to this paper) evaluated at the curvature of so-called admissible simplicial connections to get explicit \v{C}ech representatives in de Rham cohomology of characteristic classes of coherent analytic sheaves.


title: Generalized Nested Rollout Policy Adaptation

abstract: Nested Rollout Policy Adaptation (NRPA) is a Monte Carlo search algorithm for single player games. In this paper we propose to generalize NRPA with a temperature and a bias and to analyze theoretically the algorithms. The generalized algorithm is named GNRPA. Experiments show it improves on NRPA for different application domains: SameGame and the Traveling Salesman Problem with Time Windows.


title: Interpretable machine learning models: a physics-based view

abstract: To understand changes in physical systems and facilitate decisions, explaining how model predictions are made is crucial. We use model-based interpretability, where models of physical systems are constructed by composing basic constructs that explain locally how energy is exchanged and transformed. We use the port Hamiltonian (p-H) formalism to describe the basic constructs that contain physically interpretable processes commonly found in the behavior of physical systems. We describe how we can build models out of the p-H constructs and how we can train them. In addition we show how we can impose physical properties such as dissipativity that ensure numerical stability of the training process. We give examples on how to build and train models for describing the behavior of two physical systems: the inverted pendulum and swarm dynamics.


title: Learning to Walk: Spike Based Reinforcement Learning for Hexapod Robot Central Pattern Generation

abstract: Learning to walk -- i.e., learning locomotion under performance and energy constraints continues to be a challenge in legged robotics. Methods such as stochastic gradient, deep reinforcement learning (RL) have been explored for bipeds, quadrupeds and hexapods. These techniques are computationally intensive and often prohibitive for edge applications. These methods rely on complex sensors and pre-processing of data, which further increases energy and latency. Recent advances in spiking neural networks (SNNs) promise a significant reduction in computing owing to the sparse firing of neuros and has been shown to integrate reinforcement learning mechanisms with biologically observed spike time dependent plasticity (STDP). However, training a legged robot to walk by learning the synchronization patterns of central pattern generators (CPG) in an SNN framework has not been shown. This can marry the efficiency of SNNs with synchronized locomotion of CPG based systems providing breakthrough end-to-end learning in mobile robotics. In this paper, we propose a reinforcement based stochastic weight update technique for training a spiking CPG. The whole system is implemented on a lightweight raspberry pi platform with integrated sensors, thus opening up exciting new possibilities.


title: Dynamic ReLU

abstract: Rectified linear units (ReLU) are commonly used in deep neural networks. So far ReLU and its generalizations (non-parametric or parametric) are static, performing identically for all input samples. In this paper, we propose dynamic ReLU (DY-ReLU), a dynamic rectifier of which parameters are generated by a hyper function over all in-put elements. The key insight is that DY-ReLU encodes the global context into the hyper function, and adapts the piecewise linear activation function accordingly. Compared to its static counterpart, DY-ReLU has negligible extra computational cost, but significantly more representation capability, especially for light-weight neural networks. By simply using DY-ReLU for MobileNetV2, the top-1 accuracy on ImageNet classification is boosted from 72.0% to 76.2% with only 5% additional FLOPs.


title: Robust Adaptive Control Barrier Functions: An Adaptive & Data-Driven Approach to Safety (Extended Version)

abstract: A new framework is developed for control of constrained nonlinear systems with structured parametric uncertainties. Forward invariance of a safe set is achieved through online parameter adaptation and data-driven model estimation. The new adaptive data-driven safety paradigm is merged with a recent adaptive control algorithm for systems nominally contracting in closed-loop. This unification is more general than other safety controllers as closed-loop contraction does not require the system be invertible or in a particular form. Additionally, the approach is less expensive than nonlinear model predictive control as it does not require a full desired trajectory, but rather only a desired terminal state. The approach is illustrated on the pitch dynamics of an aircraft with uncertain nonlinear aerodynamics.


title: Excitation and charge transfer in low-energy hydrogen atom collisions with neutral manganese and titanium

abstract: Data for inelastic processes due to hydrogen atom collisions with manganese and titanium are needed for accurate modeling of the corresponding spectra in late-type stars. In this work excitation and charge transfer in low-energy Mn+H and Ti+H collisions have been studied theoretically using a method based on an asymptotic two-electron linear combination of an atomic orbitals model of ionic-covalent interactions in the neutral atom-hydrogen-atom system, together with the multichannel Landau-Zener model to treat the dynamics. Extensive calculations of charge transfer (mutual neutralization, ion-pair production), excitation and de-excitation processes in the two collisional systems are carried out for all transitions between covalent states dissociating to energies below the first ionic limit and the dominating ionic states. Rate coefficients are determined for temperatures in the range 1000 - 20 000 K in steps of 1000 K. Like for earlier studies of other atomic species, charge transfer processes are found to lead to much larger rate coefficients than excitation processes.


title: SOP$_1$, SOP$_2$, and antichain tree property

abstract: In this paper, we study some tree properties and their related indiscernibilities. First, we prove that SOP$_2$ can be witnessed by a formula with a tree of tuples holding 'arbitrary homogeneous inconsistency' (e.g., weak k-TP$_1$ conditions or other possible inconsistency configurations). And we introduce a notion of tree-indiscernibility, which preserves witnesses of SOP$_1$, and by using this, we investigate the problem of (in)equality of SOP$_1$ and SOP$_2$. Assuming the existence of a formula having SOP$_1$ such that no finite conjunction of it has SOP$_2$, we observe that the formula must witness some tree-property-like phenomenon, which we will call the antichain tree property (ATP, see Definition 4.1). We show that ATP implies SOP$_1$ and TP$_2$, but the converse of each implication does not hold. So the class of NATP theories (theories without ATP) contains the class of NSOP$_1$ theories and the class of NTP$_2$ theories. At the end of the paper, we construct a structure whose theory has a formula having ATP, but any conjunction of the formula does not have SOP$_2$. So this example shows that SOP$_1$ and SOP$_2$ are not the same at the level of formulas, i.e., there is a formula having SOP$_1$, while any finite conjunction of it does not witness SOP$_2$ (but a variation of the formula still has SOP$_2$).


title: Lefschetz theory for exterior algebras and fermionic diagonal coinvariants

abstract: Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.


title: Complex uniformly resolvable decompositions of $K_v$

abstract: In this paper we consider the complex uniformly resolvable decompositions of the complete graph $K_v$ into subgraphs such that each resolution class contains only blocks isomorphic to the same graph from a given set $\mathcal H$. We completely determine the spectrum for the cases $\mathcal{H} = \{K_2, P_3, K_3\}$, $\mathcal{H} = \{P_4, C_4\}$, and $\mathcal{H} = \{K_2, P_4, C_4\}$.


title: Additive Angular Margin for Few Shot Learning to Classify Clinical Endoscopy Images

abstract: Endoscopy is a widely used imaging modality to diagnose and treat diseases in hollow organs as for example the gastrointestinal tract, the kidney and the liver. However, due to varied modalities and use of different imaging protocols at various clinical centers impose significant challenges when generalising deep learning models. Moreover, the assembly of large datasets from different clinical centers can introduce a huge label bias that renders any learnt model unusable. Also, when using new modality or presence of images with rare patterns, a bulk amount of similar image data and their corresponding labels are required for training these models. In this work, we propose to use a few-shot learning approach that requires less training data and can be used to predict label classes of test samples from an unseen dataset. We propose a novel additive angular margin metric in the framework of prototypical network in few-shot learning setting. We compare our approach to the several established methods on a large cohort of multi-center, multi-organ, and multi-modal endoscopy data. The proposed algorithm outperforms existing state-of-the-art methods.


title: Fefferman-Stein inequalities for the Hardy-Littlewood maximal function on the infinite rooted $k$-ary tree

abstract: In this paper weighted endpoint estimates for the Hardy-Littlewood maximal function on {the infinite rooted} $k$-ary tree are provided. Motivated by Naor and Tao the following Fefferman-Stein estimate \[ w\left(\left\{ x\in T\,:\,Mf(x)>\lambda\right\} \right)\leq c_{s}\frac{1}{\lambda}\int_{T}|f(x)|M(w^{s})(x)^{\frac{1}{s}}dx\qquad s>1 \] is settled and moreover it {is shown it} is sharp, in the sense that it does not hold in general if $s=1$. Some examples of non trivial weights such that the weighted weak type $(1,1)$ estimate holds are provided. A {strong} Fefferman-Stein type estimate and as a consequence some vector valued extensions are obtained. In the Appendix a weighted counterpart of the abstract {theorem} of Soria and Tradacete on infinite trees is established.


title: Time Variability of Nonthermal X-ray Stripes in Tycho's Supernova Remnant with Chandra

abstract: Analyzing Chandra data of Tycho's supernova remnant (SNR) taken in 2000, 2003, 2007, 2009, and 2015, we search for time variable features of synchrotron X-rays in the southwestern part of the SNR, where stripe structures of hard X-ray emission were previous found. By comparing X-ray images obtained at each epoch, we discover a knot-like structure in the northernmost part of the stripe region became brighter particularly in 2015. We also find a bright filamentary structure gradually became fainter and narrower as it moved outward. Our spectral analysis reveal that not only the nonthermal X-ray flux but also the photon indices of the knot-like structure change from year to year. During the period from 2000 to 2015, the small knot shows brightening of $\sim 70\%$ and hardening of $\Delta \Gamma \sim 0.45$. The time variability can be explained if the magnetic field is amplified to $\sim 100~\mathrm{\mu G}$ and/or if magnetic turbulence significantly changes with time.


title: Hypercyclic Sequences of weighted translations on hypergroups

abstract: In this paper, we characterize hypercyclic sequences of weighted translation operators on an Orlicz space in the context of locally compact hypergroups.


title: On existence of Becker extension

abstract: A well-known theorem by J. Becker states that if a normalized univalent function $f$ in the unit disk $\mathbb{D}$ can be embedded as the initial element into a Loewner chain $(f_t)_{t\geqslant 0}$ such that the Herglotz function $p$ in the Loewner -- Kufarev PDE $$\partial f_t(z)/\partial f=zf'_t(z)p(z,t),\qquad z\in\mathbb{D},\quad\mathrm{a.e.}~t\ge0,$$ satisfies $\big|(p(z,t)-1)/(p(z,t)+1)\big|\le k<1$, then $f$ admits a $k$-q.c. (="$k$-quasiconformal") extension $F:\mathbb{C}\to\mathbb{C}$. The converse is not true. However, a simple argument shows that if $f$ has a $q$-q.c. extension with $q\in(0,1/6)$, then Becker's condition holds with $k:=6q$. In this paper we address the following problem: find the largest $k_*\in(0,1]$ with the property that for any $q\in(0,k_*)$ there exists $k_0(q)\in(0,1)$ such that every normalized univalent function $f:\mathbb D\to\mathbb C$ with a $q$-q.c. extension to $\mathbb C$ satisfies Becker's condition with $k:=k_0(q)$. We prove that $k_*\ge1/3$.


title: Robust Hypergraph Clustering via Convex Relaxation of Truncated MLE

abstract: We study hypergraph clustering in the weighted $d$-uniform hypergraph stochastic block model ($d$\textsf{-WHSBM}), where each edge consisting of $d$ nodes from the same community has higher expected weight than the edges consisting of nodes from different communities. We propose a new hypergraph clustering algorithm, called \textsf{CRTMLE}, and provide its performance guarantee under the $d$\textsf{-WHSBM} for general parameter regimes. We show that the proposed method achieves the order-wise optimal or the best existing results for approximately balanced community sizes. Moreover, our results settle the first recovery guarantees for growing number of clusters of unbalanced sizes. Involving theoretical analysis and empirical results, we demonstrate the robustness of our algorithm against the unbalancedness of community sizes or the presence of outlier nodes.


title: Switchback effect of holographic complexity in multiple-horizon black holes

abstract: In this paper, we use the "complexity equals action" (CA) conjecture to explore the switchback effect in the strongly-coupled quantum field theories with finite $N$ and finite coupling effects. In the perspective of holography, this is equivalent to evaluating the CA complexity in a Vaidya geometry equipped with a light shockwave for a higher curvature gravitational theory. Based on the Noether charge formalism of Iyer and Wald, we obtain the slope of the complexity of formation in the small and large time approximations. By circuit analogy, we show that our results concur with the switchback effect of the quantum system. These results show that the switchback effect is a general feature of the CA complexity in stationary black holes and its existence is independent of the explicit gravitational theory as well as spacetime background. From the viewpoint of AdS/CFT, this also implies that the switchback effect is a general feature of the thermofield double state in the strongly-coupled quantum field systems with finite $N$ and finite coupling effects. Moreover, we also illustrate that unlike the late-time complexity growth rate, the counterterm plays an important role in the study of the switchback effect.


title: On the intersection distribution of degree three polynomials and related topics

abstract: The intersection distribution of a polynomial $f$ over finite field $\mathbb{F}_q$ was recently proposed in Li and Pott (arXiv:2003.06678v1), which concerns the collective behaviour of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. The intersection distribution has an underlying geometric interpretation, which indicates the intersection pattern between the graph of $f$ and the lines in the affine plane $AG(2,q)$. When $q$ is even, the long-standing open problem of classifying o-polynomials can be rephrased in a simple way, namely, classifying all polynomials which have the same intersection distribution as $x^2$. Inspired by this connection, we proceed to consider the next simplest case and derive the intersection distribution for all degree three polynomials over $\mathbb{F}_q$ with $q$ both odd and even. Moreover, we initiate to classify all monomials having the same intersection distribution as $x^3$, where some characterizations of such monomials are obtained and a conjecture is proposed. In addition, two applications of the intersection distributions of degree three polynomials are presented. The first one is the construction of nonisomorphic Steiner triple systems and the second one produces infinite families of Kakeya sets in affine planes with previously unknown sizes.


title: Understanding the robustness of deep neural network classifiers for breast cancer screening

abstract: Deep neural networks (DNNs) show promise in breast cancer screening, but their robustness to input perturbations must be better understood before they can be clinically implemented. There exists extensive literature on this subject in the context of natural images that can potentially be built upon. However, it cannot be assumed that conclusions about robustness will transfer from natural images to mammogram images, due to significant differences between the two image modalities. In order to determine whether conclusions will transfer, we measure the sensitivity of a radiologist-level screening mammogram image classifier to four commonly studied input perturbations that natural image classifiers are sensitive to. We find that mammogram image classifiers are also sensitive to these perturbations, which suggests that we can build on the existing literature. We also perform a detailed analysis on the effects of low-pass filtering, and find that it degrades the visibility of clinically meaningful features called microcalcifications. Since low-pass filtering removes semantically meaningful information that is predictive of breast cancer, we argue that it is undesirable for mammogram image classifiers to be invariant to it. This is in contrast to natural images, where we do not want DNNs to be sensitive to low-pass filtering due to its tendency to remove information that is human-incomprehensible.


title: Bridge the Domain Gap Between Ultra-wide-field and Traditional Fundus Images via Adversarial Domain Adaptation

abstract: For decades, advances in retinal imaging technology have enabled effective diagnosis and management of retinal disease using fundus cameras. Recently, ultra-wide-field (UWF) fundus imaging by Optos camera is gradually put into use because of its broader insights on fundus for some lesions that are not typically seen in traditional fundus images. Research on traditional fundus images is an active topic but studies on UWF fundus images are few. One of the most important reasons is that UWF fundus images are hard to obtain. In this paper, for the first time, we explore domain adaptation from the traditional fundus to UWF fundus images. We propose a flexible framework to bridge the domain gap between two domains and co-train a UWF fundus diagnosis model by pseudo-labelling and adversarial learning. We design a regularisation technique to regulate the domain adaptation. Also, we apply MixUp to overcome the over-fitting issue from incorrect generated pseudo-labels. Our experimental results on either single or both domains demonstrate that the proposed method can well adapt and transfer the knowledge from traditional fundus images to UWF fundus images and improve the performance of retinal disease recognition.


title: Heterogeneity Pursuit for Spatial Point Pattern with Application to Tree Locations: A Bayesian Semiparametric Recourse

abstract: Spatial point pattern data are routinely encountered. A flexible regression model for the underlying intensity is essential to characterizing the spatial point pattern and understanding the impacts of potential risk factors on such pattern. We propose a Bayesian semiparametric regression model where the observed spatial points follow a spatial Poisson process with an intensity function which adjusts a nonparametric baseline intensity with multiplicative covariate effects. The baseline intensity is piecewise constant, approached with a powered Chinese restaurant process prior which prevents an unnecessarily large number of pieces. The parametric regression part allows for variable selection through the spike-slab prior on the regression coefficients. An efficient Markov chain Monte Carlo (MCMC) algorithm is developed for the proposed methods. The performance of the methods is validated in an extensive simulation study. In application to the locations of Beilschmiedia pendula trees in the Barro Colorado Island forest dynamics research plot in central Panama, the spatial heterogeneity is attributed to a subset of soil measurements in addition to geographic measurements with a spatially varying baseline intensity.


title: Coprime Inner/Outer Factorization of SISO Time-Delay Systems and FIR Structure of Their Optimal H-Infinity Controllers

abstract: The approach in Foias et al. (1996) is one of the well-developed methods to design H-infinity controllers for general infinite dimensional systems. This approach is applicable if the plant admits a special coprime inner/outer factorization. We give the largest class of single-input-single-output (SISO) time delay systems for which this factorization is possible and factorize the admissible plants. Based on this factorization, we compute the optimal H-infinity performance and eliminate unstable pole-zero cancellations in the optimal H-infinity controller. We extend the results on the finite impulse response (FIR) structure of optimal H-infinity controllers by showing that this structure appears not only for plants with input/output (I/O) delays, but also for general SISO time-delay plants.


title: Architectural Resilience to Foreground-and-Background Adversarial Noise

abstract: Adversarial attacks in the form of imperceptible perturbations of normal images have been extensively studied, and for every new defense methodology created, multiple adversarial attacks are found to counteract it. In particular, a popular style of attack, exemplified in recent years by DeepFool and Carlini-Wagner, relies solely on white-box scenarios in which full access to the predictive model and its weights are required. In this work, we instead propose distinct model-agnostic benchmark perturbations of images in order to investigate the resilience and robustness of different network architectures. Results empirically determine that increasing depth within most types of Convolutional Neural Networks typically improves model resilience towards general attacks, with improvement steadily decreasing as the model becomes deeper. Additionally, we find that a notable difference in adversarial robustness exists between residual architectures with skip connections and non-residual architectures of similar complexity. Our findings provide direction for future understanding of residual connections and depth on network robustness.


title: Effects of Radial Distances on Small-scale Magnetic Flux Ropes in the Solar Wind

abstract: Small-scale magnetic flux ropes (SFRs), in the solar wind, have been studied for decades. Statistical analysis utilizing various in situ spacecraft measurements is the main observational approach which helps investigate the generation and evolution of these small-scale structures. Based on the Grad-Shafranov (GS) reconstruction technique, we use the automated detection algorithm to build the databases of these small-scale structures via various spacecraft measurements at different heliocentric distances. We present the SFR properties including the magnetic field and plasma parameters at different radial distances from the sun near the ecliptic plane. It is found that the event occurrence rate is still in the order of a few hundreds per month, the duration and scale size distributions follow power laws, and the flux rope axis orientations are approximately centered around the local Parker spiral directions. In general, most SFR properties exhibit radial decays. In addition, with various databases established, we derive scaling laws for the changes of average field magnitude, event counts, and SFR scale sizes, with respect to the radial distances, ranging from $\sim$ 0.3 au for Helios to $\sim$ 7 au for the Voyager spacecraft. The implications of our results for comparisons with the relevant theoretical works and for the application to the Parker Solar Probe (PSP) mission are discussed.


title: Predicting the evolution Of SARS-Covid-2 in Portugal using an adapted SIR Model previously used in South Korea for the MERS outbreak

abstract: The new coronavirus covid-19 has spread very quickly worldwide, leading the World Health Organization (WHO) to declare a state of pandemic. One of the questions many policy makers, and governments are asking themselves is how the spread is going to evolve in time. In this study, I applied an adapted SIR model previously used in South Korea to model the MERS outbreak, which is also caused by a coronavirus, to estimate the evolution of the curve of active cases in the case of the Portuguese situation, using Italian dara. I then construct five different scenarios for the evolution of covid-19 in Portugal. In the out of control scenario, the number of active cases could reach as much as ~40,000 people on the 5th of April (out-of-control scenario). If the self-protective and control are taken in the same level as what was considered for the South Korean model, this number could have be reduced to about 800 cases (scenario 1). Considering that this scenario is now unrealistic, three other scenarios were devised. In all these scenarios, the government measures had a 50\% effectiveness when compared to the measures in Korea. But in scenario 2 the transmission rate $\beta$ was effectively reduced to 50\%, In this scenario active cases could reach circa 7,000 people. In scenario 3, the transmission rate $\beta$ was reduced to 70\% of its initial value, in which the number of cases would reach a peak of ~11,000 people. And finally in scenario 4, $\beta$ was reduced to 80\%. In this scenario, the peak would be reached at about ~13,000 cases. This study shows the importance of control and self-protecting measure to bring down the number of affected people by following the recommendations of the WHO and health authorities. With the appropriate measures, this number can be brought down to ~7,000-13,000 people. Hopefully that will be the case not just in Portugal, but in the rest of the World.


title: Computation of Extremum Singular Values and the Strong H-infinity Norm of SISO Time-Delay Systems

abstract: We consider the computation of H-infinity norms for Single-Input-Single-Output (SISO) time-delay systems, which are described by delay differential algebraic equations. Unlike the iterative level set methods in the literature, we present a novel numerical method to compute the H-infinity norm. This method requires solving one eigenvalue problem of at most twice the size of the eigenvalue problem in every iteration of a level set method, but in practice often considerably lower. We first show that the computation of extrema of the transfer function can be turned into the computation of the imaginary axis zeros of a transcendental function. We compute these zeros by a predictor-corrector type algorithm. It is known that the H-infinity norm of delay differential algebraic systems, which can model both retarded and neutral type systems, might be sensitive with respect to arbitrarily small delay perturbations. This recently led to the concept of strong H-infinity norms, which explicitly take into account such small delay perturbations. We present a direct numerical method to compute the strong H-infinity norm of SISO time-delay systems. Our algorithm is applicable to the closed-loop system of interconnections (series, parallel, feedback, junctions) of time-delay systems and/or controllers.


title: Magneto-oscillations and anomalous current states in a photo-excited electron gas on liquid helium

abstract: The paper reviews a novel class of phenomena observed recently in the two-dimensional (2D) electron system formed on the free surface of liquid helium in the presence of a magnetic field directed normally and exposed to microwave radiation. The distinctive feature of these nonequilibrium phenomena is magnetoconductivity oscillations induced by inter-subband (out-of-plane) and intra-subband (in-plane) microwave excitations. The conductivity magneto-oscillations induced by intra-subband excitation are similar to remarkable microwave-induced resistance oscillations (MIRO) reported for semiconductor heterostructures. Investigations of microwave-induced conductivity oscillations (MICO) on liquid helium helped with understanding of the origin of MIRO. Much stronger microwave-induced conductivity oscillations were observed and well described theoretically for resonant inter-subband microwave excitation. At strong powers, such excitation leads to zero-resistance states (ZRS), the in-plane redistribution of electrons, self-generated audio-frequency oscillations, and incompressible states. These phenomena are caused by unusual current states of the 2D electron system formed under resonant microwave excitation.


title: A mathematical framework for operational fine tunings

abstract: In the framework of ontological models, the inherently nonclassical features of quantum theory always seem to involve properties that are fine tuned, i.e. properties that hold at the operational level but break at the ontological level. Their appearance at the operational level is due to unexplained special choices of the ontological parameters, which is what we mean by a fine tuning. Famous examples of such features are contextuality and nonlocality. In this article, we develop a theory-independent mathematical framework for characterizing operational fine tunings. These are distinct from causal fine tunings -- already introduced by Wood and Spekkens in [NJP,17 033002(2015)] -- as the definition of an operational fine tuning does not involve any assumptions about the underlying causal structure. We show how known examples of operational fine tunings, such as Spekkens' generalized contextuality, violation of parameter independence in Bell experiment, and ontological time asymmetry, fit into our framework. We discuss the possibility of finding new fine tunings and we use the framework to shed new light on the relation between nonlocality and generalized contextuality. Although nonlocality has often been argued to be a form of contextuality, this is only true when nonlocality consists of a violation of parameter independence. We formulate our framework also in the language of category theory using the concept of functors.


title: High-dimensional Multivariate Geostatistics: A Bayesian Matrix-Normal Approach

abstract: Joint modeling of spatially-oriented dependent variables is commonplace in the environmental sciences, where scientists seek to estimate the relationships among a set of environmental outcomes accounting for dependence among these outcomes and the spatial dependence for each outcome. Such modeling is now sought for massive data sets with variables measured at a very large number of locations. Bayesian inference, while attractive for accommodating uncertainties through hierarchical structures, can become computationally onerous for modeling massive spatial data sets because of its reliance on iterative estimation algorithms. This manuscript develops a conjugate Bayesian framework for analyzing multivariate spatial data using analytically tractable posterior distributions that obviate iterative algorithms. We discuss differences between modeling the multivariate response itself as a spatial process and that of modeling a latent process in a hierarchical model. We illustrate the computational and inferential benefits of these models using simulation studies and analysis of a Vegetation Index data set with spatially dependent observations numbering in the millions.


title: Anisotropic separate universe simulations

abstract: The long-wavelength coherent overdensity and tidal force, which are not direct observables for a finite-volume survey, affect time evolution of cosmic structure formation and therefore clustering observables through the mode coupling. In this paper we develop an "anisotropic" separate universe (SU) simulation technique to simulate large-scale structure formation taking into account the effect of large-scale tidal force into the anisotropic expansion of local background. We modify the TreePM N-body simulation code to implement the anisotropic SU simulations, and then study the "response" function of matter power spectrum that describes how the matter power spectrum responds to the large-scale tidal effect as a function of wavenumber and redshift for a given global cosmology. We test and validate the SU simulation results from the comparison with the perturbation theory predictions and the results from high-resolution PM simulations. We find that the response function displays characteristic scale dependences over the range of scales down to nonlinear scales, up to k ~ 6 h/Mpc.


title: On the Volume Conjecture for hyperbolic Dehn-filled $3$-manifolds along the figure-eight knot

abstract: Using Ohtsuki's method, we prove the Asymptotic Expansion Conjecture and the Volume Conjecture of the Reshetikhin-Turaev and the Turev-Viro invariants for all hyperbolic $3$-manifolds obtained by doing a Dehn-surgery along the figure-$8$ knot.


title: Charge-conserving hybrid methods for the Yang-Mills equations

abstract: The Yang-Mills equations generalize Maxwell's equations to nonabelian gauge groups, and a quantity analogous to charge is locally conserved by the nonlinear time evolution. Christiansen and Winther observed that, in the nonabelian case, the Galerkin method with Lie algebra-valued finite element differential forms appears to conserve charge globally but not locally, not even in a weak sense. We introduce a new hybridization of this method, give an alternative expression for the numerical charge in terms of the hybrid variables, and show that a local, per-element charge conservation law automatically holds.


title: Knowledge Mapping in Electricity Demand Forecasting: A Scientometric Insight

abstract: Forecasting electricity demand plays a fundamental role in the operation and planning procedures of power systems and the publications about electricity demand forecasting increasing year by year. In this paper, we use Scientometric analysis to analyze the current state and the emerging trends in the field of electricity demand forecasting form 831 publications of web of science core collection during 20 years: 1999-2018. Employing statistical description, cooperative network analysis, keyword co-occurrence analysis, co-citation analysis, cluster analysis, and emerging trend analysis techniques, this article gives the most critical countries, institutions, journals, authors and publications in this field, cooperative networks relationships, research hotspots and emerging trends. The results of this article can provide meaningful guidance and some insights for researchers to find out crucial research, emerging trends and new developments in this area.


title: Liouville theorems for infinity Laplacian with gradient and KPP type equation

abstract: In this paper, we prove new Liouville type results for a nonlinear equation involving infinity Laplacian with gradient of the form $$\Delta^\gamma_\infty u + q(x)\cdot \nabla{u} |\nabla{u}|^{2-\gamma} + f(x, u)\,=\,0\quad \text{in}\; \mathbb{R}^d,$$ where $\gamma\in [0, 2]$ and $\Delta^\gamma_\infty$ is a $(3-\gamma)$-homogeneous operator associated with the infinity Laplacian. Under the assumptions $\liminf_{|x|\to\infty}\lim_{s\to0}f(x,s)/s^{3-\gamma}>0$ and $q$ is a continuous function vanishing at infinity, we construct a positive bounded solution to the equation and if $f(x,s)/s^{3-\gamma}$ decreasing in $s$, we further obtain the uniqueness by improving sliding method for infinity Laplacian operator with nonlinear gradient. Otherwise, if $\limsup_{|x|\to\infty}\sup_{[\delta_1,\delta_2]}f(x,s)<0$, then nonexistence result holds provided additionally some suitable conditions. To this aim, we develop novel techniques to overcome the difficulties stemming from the degeneracy of infinity Laplacian and nonlinearity of the gradient term. Our approach is based on a new regularity result, the strong maximum principle, and Hopf's lemma for infinity Laplacian involving gradient and potential. We also construct some examples to illustrate our results. We further investigate some deeper qualitative properties of the principal eigenvalue of the corresponding nonlinear operator $$\Delta^\gamma_\infty u + q(x)\cdot \nabla{u} |\nabla{u}|^{2-\gamma} + c(x)u^{3-\gamma},$$ with Dirichlet boundary condition in smooth bounded domains, which may be of independent interest. The results obtained here could be considered as sharp extension of the Liouville type results obtained in [1, 2, 11, 24, 48, 52].


title: A Toroidal Maxwell-Cremona-Delaunay Correspondence

abstract: We consider three classes of geodesic embeddings of graphs on Euclidean flat tori: (1) A toroidal graph embedding $\Gamma$ is positive equilibrium if it is possible to place positive weights on the edges, such that the weighted edge vectors incident to each vertex of $\Gamma$ sum to zero. (2) A toroidal graph embedding $\Gamma$ is reciprocal if there is a geodesic embedding $\Gamma^*$ of its dual on the same flat torus, where each edge of $\Gamma$ is orthogonal to the corresponding dual edge in $\Gamma^*$. (3) A toroidal graph embedding $\Gamma$ is coherent if it is possible to assign weights to the vertices, so that $\Gamma$ is the (intrinsic) weighted Delaunay graph of its vertices. The classical Maxwell-Cremona correspondence and the well-known correspondence between convex hulls and weighted Delaunay triangulations imply that the analogous concepts for planar graph embeddings (with convex outer faces) are equivalent. Indeed, all three conditions are equivalent to $\Gamma$ being the projection of the 1-skeleton of the lower convex hull of points in $\mathbb{R}^3$. However, this three-way equivalence does not extend directly to geodesic graph embeddings on flat tori. On any flat torus, reciprocal and coherent embeddings are equivalent, and every reciprocal embedding is in positive equilibrium, but not every positive equilibrium embedding is reciprocal. We establish a weaker correspondence: Every positive equilibrium embedding on any flat torus is affinely equivalent to a reciprocal/coherent embedding on some flat torus.


title: Robust stability of quantum interference realized by coexisting detuned and resonant STIRAPs

abstract: Inspired by a recent experiment [Phys. Rev. Letts. \textbf{122}, 253201(2019)] that an unprecedented quantum interference was observed in the way of Stimulated Raman adiabatic passage (STIRAP) due to the coexisting resonant- and detuned-STIRAPs, we comprehensively study this effect for uncovering its robustness towards the external-field fluctuations of laser noise, imperfect resonance condition as well as the excited-state decaying. We verify that, an auxiliary dynamical phase accumulated in hold time caused by the quasi-dark state can sensitively manipulate the visibility and frequency of the interference fringe, representing a new hallmark to measure the hyperfine energy accurately. The robust stability of scheme comes from the intrinsic superiority embedded in STIRAP itself, which promises a remarkable preservation of the quantum interference quality in a practical implementation.


title: Egalitarian solution for games with discrete side payment

abstract: In this paper, we study the egalitarian solution for games with discrete side payment, where the characteristic function is integer-valued and payoffs of players are integral vectors. The egalitarian solution, introduced by Dutta and Ray in 1989, is a solution concept for transferable utility cooperative games in characteristic form, which combines commitment for egalitarianism and promotion of indivisual interests in a consistent manner. We first point out that the nice properties of the egalitarian solution (in the continuous case) do not extend to games with discrete side payment. Then we show that the Lorenz stable set, which may be regarded a variant of the egalitarian solution, has nice properties such as the Davis and Maschler reduced game property and the converse reduced game property. For the proofs we utilize recent results in discrete convex analysis on decreasing minimization on an M-convex set investigated by Frank and Murota.


title: Arithmetic progressions in finite groups

abstract: In this paper, we describe the structure of finite groups whose element orders or proper (abelian) subgroup orders form an arithmetic progression of ratio $r\geq 2$. This extends the case $r=1$ studied in previous papers \cite{1,8,4}.


title: Tunable microwave absorption performance of nitrogen and sulfur dual-doped graphene by varying doping sequence

abstract: Sulfur and nitrogen dual doped graphene have been extensively investigated in the field of oxygen reduction reaction, supercapacitors and batteries, but their magnetic and absorption performance have not been explored. Besides, the effects of doping sequence of sulfur and nitrogen atoms on the morphology, structural property and the corresponding microwave absorption performance of the dual doped graphene remain unexplored. In this work, nitrogen and sulfur dual doped graphene with different doping sequence were successfully prepared using a controllable two steps facile thermal treatment method. The first doping process played a decisive role on the morphology, crystal size, interlayer distance, doping degree and ultimately magnetic and microwave absorption properties of the dual doped graphene samples. Meanwhile, the second doping step affected the doping sites and further had a repairing or damaging effect on the final doped graphene. The dual doped graphene samples exhibited two pronounced absorption peaks which intensity was decided by the order of the doping elements. This nitrogen and sulfur dual doped graphene with controlled doping order provides a strategy for understanding of the interaction between nitrogen and sulfur as dual dopants in graphene and further acquiring microwave absorbing materials with tunable absorption bands by varying the doping sequence.