title: Visual Adversarial Imitation Learning using Variational Models

abstract: Reward function specification, which requires considerable human effort and iteration, remains a major impediment for learning behaviors through deep reinforcement learning. In contrast, providing visual demonstrations of desired behaviors often presents an easier and more natural way to teach agents. We consider a setting where an agent is provided a fixed dataset of visual demonstrations illustrating how to perform a task, and must learn to solve the task using the provided demonstrations and unsupervised environment interactions. This setting presents a number of challenges including representation learning for visual observations, sample complexity due to high dimensional spaces, and learning instability due to the lack of a fixed reward or learning signal. Towards addressing these challenges, we develop a variational model-based adversarial imitation learning (V-MAIL) algorithm. The model-based approach provides a strong signal for representation learning, enables sample efficiency, and improves the stability of adversarial training by enabling on-policy learning. Through experiments involving several vision-based locomotion and manipulation tasks, we find that V-MAIL learns successful visuomotor policies in a sample-efficient manner, has better stability compared to prior work, and also achieves higher asymptotic performance. We further find that by transferring the learned models, V-MAIL can learn new tasks from visual demonstrations without any additional environment interactions. All results including videos can be found online at \url{https://sites.google.com/view/variational-mail}.


title: An inverse problem of determining the orders of systems of fractional pseudo-differential equations

abstract: As it is known various dynamical processes can be modeled through the systems of time-fractional order pseudo-differential equations. In the modeling process one frequently faces with determining the adequate orders of time-fractional derivatives in the sense of Riemann-Liouville or Caputo. This problem is qualified as an inverse problem. The right (vector) order can be found utilizing the available data. In this paper we consider this inverse problem for linear systems of fractional order pseudo-differential equations. We prove that the Fourier transform of the vector-solution $\widehat{U}(t, \xi)$ evaluated at a fixed time instance, which becomes possible due to the available data, recovers uniquely the unknown vector-order of the system of governing pseudo-differential equations.


title: Analysis of the nonleptonic two-body decays of the $\Lambda$ hyperon

abstract: We systematically study two-body nonleptonic decays of light lambda hyperon $\Lambda \to p \pi^- (n\pi^0)$ with account for both short- and long-distance effects. The short-distance effects are induced by five topologies of external and internal weak $W^\pm$ exchange, while long-distance effects are saturated by an inclusion of the so-called pole diagrams with intermediate $\frac{1}{2}^+$ and $\frac{1}{2}^-$ baryon resonances. The contributions from $\frac12^+$ resonances are calculated straightforwardly by account for nucleon and $\Sigma$ baryons whereas the contributions from $\frac{1}{2}^-$ resonances are calculated by using the well-known soft-pion theorem in the current-algebra approach. It allows one to express the parity-violating $S$-wave amplitude in terms of parity-conserving matrix elements. From our previous analysis of heavy baryons we know that short-distance effects induced by internal topologies are not suppressed in comparison with external $W$-exchange diagram and must be included for description of data. Here, in the case of $\Lambda$ decays we found that the contribution of external and internal $W$-exchange diagrams is sizably suppressed, e.g., by one order of magnitude in comparison with data, which are known with quite good accuracy. Pole diagrams play the major role to get consistency with experiment.


title: Higher-degree supersingular group actions

abstract: We investigate the isogeny graphs of supersingular elliptic curves over $\mathbb{F}_{p^2}$ equipped with a $d$-isogeny to their Galois conjugate. These curves are interesting because they are, in a sense, a generalization of curves defined over $\mathbb{F}_p$, and there is an action of the ideal class group of $\mathbb{Q}(\sqrt{-dp})$ on the isogeny graphs. We investigate constructive and destructive aspects of these graphs in isogeny-based cryptography, including generalizations of the CSIDH cryptosystem and the Delfs-Galbraith algorithm.


title: Prediction of 2D ferromagnetism and monovalent europium ions in the EuBr/graphene heterojunctions

abstract: Europium, one of the rare earth elements, exhibits +2 and +3 valence states and has been widely used for magnetic modification of materials. Based on density functional theory calculations, we predict the 2D EuBr/graphene heterojunctions to exhibit metallicity, huge intrinsic-ferromagnetism nearly 7.0 {\mu}B per Eu and the special monovalent Eu ions. Electron localization function (ELF), difference charge densities and Bader charge analyses demonstrate that there are cation-{\pi} interactions between the EuBr films and graphene, which explains the stability of these unusual heterojunctions. Graphene works as substrate to enable the stability of EuBr monolayer crystals where EuBr plays an important role to yield ferromagnetism and enhance metallicity in the heterojunctions. Monte Carlo simulations are used to estimate a Curie temperature of about 7 K, which, together with magnetic configurations, can be further modulated by external strains and charge-carrier doping. In general, our theoretical work predicts the properties of the novel 2D ferromagnetic EuBr/graphene heterojunctions, suggests the possibility of combining the 2D intrinsic-ferromagnetic metal halide crystals and graphene, and opens up a new perspective in next-generation electronic, spintronic devices and high-performance sensors.


title: A Multi-UAV System for Exploration and Target Finding in Cluttered and GPS-Denied Environments

abstract: The use of multi-rotor Unmanned Aerial Vehicles (UAVs) for search and rescue as well as remote sensing is rapidly increasing. Multi-rotor UAVs, however, have limited endurance. The range of UAV applications can be widened if teams of multiple UAVs are used. We propose a framework for a team of UAVs to cooperatively explore and find a target in complex GPS-denied environments with obstacles. The team of UAVs autonomously navigates, explores, detects, and finds the target in a cluttered environment with a known map. Examples of such environments include indoor scenarios, urban or natural canyons, caves, and tunnels, where the GPS signal is limited or blocked. The framework is based on a probabilistic decentralised Partially Observable Markov Decision Process which accounts for the uncertainties in sensing and the environment. The team can cooperate efficiently, with each UAV sharing only limited processed observations and their locations during the mission. The system is simulated using the Robotic Operating System and Gazebo. Performance of the system with an increasing number of UAVs in several indoor scenarios with obstacles is tested. Results indicate that the proposed multi-UAV system has improvements in terms of time-cost, the proportion of search area surveyed, as well as successful rates for search and rescue missions.


title: Time Series Anomaly Detection for Smart Grids: A Survey

abstract: With the rapid increase in the integration of renewable energy generation and the wide adoption of various electric appliances, power grids are now faced with more and more challenges. One prominent challenge is to implement efficient anomaly detection for different types of anomalous behaviors within power grids. These anomalous behaviors might be induced by unusual consumption patterns of the users, faulty grid infrastructures, outages, external cyberattacks, or energy fraud. Identifying such anomalies is of critical importance for the reliable and efficient operation of modern power grids. Various methods have been proposed for anomaly detection on power grid time-series data. This paper presents a short survey of the recent advances in anomaly detection for power grid time-series data. Specifically, we first outline current research challenges in the power grid anomaly detection domain and further review the major anomaly detection approaches. Finally, we conclude the survey by identifying the potential directions for future research.


title: Fast Fisher-Lee approach for conductance calculations on BTB-based molecular junctions: effects of isomerization and electrode coupling

abstract: In this work, we have implemented the Fisher-Lee formalism to couple non-equilibrium Green functions with tight-binding Density Functional to tackle large molecular systems. This method is used to determine the decay constant of a set of oligomers based on seven different monomers taken from the literature in the non-resonant tunneling regime. Results show good agreement with experimental measurements. The approach is then applied to explore the conformational pattern effect as well as the asymmetry and the strength of coupling with the electrode of bisthienylbenzene oligomers sandwiched between gold (Au),titanium (Ti)and graphene (G)) electrodes The results indicate that conformational patterns have low impact on the conductance, since the delocalization of {\pi}-electrons exhibits similar behavior for all the conformations explored. The calculated attenuation factor is found to be comparable with the strength of contact coupling (Ti > Au = G). Electronic analysis of metal-molecule interactions reveals the ionic nature of Ti-C bonds, through the emergence of a local dipole contributing to the work function variation of 0.35 eV. In addition, the Ti d-orbitals are found to be strongly coupled with the lowest unoccupied orbital (LUMO) of BTB, thus facilitating charge transfer from Ti to the molecule, at the origin of this strong interfacial dipole. However, the Au-C bond is found to be similar to the C-C bond, with pure covalent character. The results confirm the hole transport mechanism observed experimentally in the cases of Au-(BTB)n-Au and Au-(BTB)n-Ti, and predict possible combined mechanism of both hole and electron transport in the case of Ti(BTB)n-Ti.


title: A next-generation optical sensor for IceCube-Gen2

abstract: For the in-ice component of the next generation neutrino observatory at the South Pole, IceCube-Gen2, a new sensor module is being developed, which is an evolution of the D-Egg and mDOM sensors developed for the IceCube Upgrade. The sensor design features up to 18 4-inch PMTs distributed homogeneously in a borosilicate glass pressure vessel. Challenges arise for the mechanical design from the tight constraints on the bore hole diameter (which will be 2 inches smaller than for IceCube Upgrade) and from the close packing of the PMTs. The electronics design must meet the space constraints posed by the mechanical design as well as the power consumption and cost considerations from over 10,000 optical modules being deployed. This contribution presents forward-looking solutions to these design considerations. Prototype modules will be installed and integrated in the IceCube Upgrade.


title: On the distribution of the Hodge locus

abstract: Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge tensors appear) is a countable union of irreducible algebraic subvarieties of $S$, called the special subvarieties for $\mathbb{V}$. Our main result in this paper is that, if the level of $\mathbb{V}$ is at least $3$, this Hodge locus is in fact a finite union of such special subvarieties (hence is algebraic), at least if we restrict ourselves to the Hodge locus factorwise of positive period dimension. For instance the Hodge locus of positive period dimension of the universal family of degree $d$ smooth hypersurfaces in $\mathbf{P}^{n+1}_\mathbb{C}$, $n\geq 3, d\geq 5$ and $(n,d)\neq (4,5)$, is algebraic. On the other hand we prove that in level $1$ or $2$, the Hodge locus is analytically dense in $S^{an}$ as soon as it contains one typical special subvariety. These results follow from a complete elucidation of the distribution in $S$ of the special subvarieties in terms of typical/atypical intersections, with the exception of the atypical special subvarieties of zero period dimension.


title: Conformal Symplectic structures, Foliations and Contact Structures

abstract: This paper presents two existence h-principles, the first for conformal symplectic structures on closed manifolds, and the second for leafwise conformal symplectic structures on foliated manifolds with non empty boundary. The latter h-principle allows to linearly deform certain codimension-$1$ foliations to contact structures. These results are essentially applications of the Borman-Eliashberg-Murphy h-principle for overtwisted contact structures and of the Eliashberg-Murphy symplectization of cobordisms, together with tools pertaining to foliated Morse theory, which are elaborated here.


title: A viable U(1) extended Standard Model with a massive Z' invoking the Stueckelberg mechanism

abstract: We make a careful re-examination of the possibility that, in a U(1) extension of the Standard Model, the extra Z' boson may acquire a mass from a Stueckelberg-type scalar. The model, when all issues of theoretical consistency are taken into account, contains several attractive new features, including a high degree of predictability.


title: Imaginary Projections: Complex Versus Real Coefficients

abstract: Given a multivariate complex polynomial ${p\in\mathbb{C}[z_1,\ldots,z_n]}$, the imaginary projection $\mathcal{I}(p)$ of $p$ is defined as the projection of the variety $\mathcal{V}(p)$ onto its imaginary part. We focus on studying the imaginary projection of complex polynomials and we state explicit results for certain families of them with arbitrarily large degree or dimension. Then, we restrict to complex conic sections and give a full characterization of their imaginary projections, which generalizes a classification for the case of real conics. That is, given a bivariate complex polynomial $p\in\mathbb{C}[z_1,z_2]$ of total degree two, we describe the number and the boundedness of the components in the complement of $\mathcal{I}(p)$ as well as their boundary curves and the spectrahedral structure of the components. We further show a realizability result for strictly convex complement components which is in sharp contrast to the case of real polynomials.


title: Relative Localization of Mobile Robots with Multiple Ultra-WideBand Ranging Measurements

abstract: Relative localization between autonomous robots without infrastructure is crucial to achieve their navigation, path planning, and formation in many applications, such as emergency response, where acquiring a prior knowledge of the environment is not possible. The traditional Ultra-WideBand (UWB)-based approach provides a good estimation of the distance between the robots, but obtaining the relative pose (including the displacement and orientation) remains challenging. We propose an approach to estimate the relative pose between a group of robots by equipping each robot with multiple UWB ranging nodes. We determine the pose between two robots by minimizing the residual error of the ranging measurements from all UWB nodes. To improve the localization accuracy, we propose to utilize the odometry constraints through a sliding window-based optimization. The optimized pose is then fused with the odometry in a particle filtering for pose tracking among a group of mobile robots. We have conducted extensive experiments to validate the effectiveness of the proposed approach.


title: Coherent mode-combined ultra-narrow-linewidth single-mode micro-disk laser

abstract: Integrated single-mode microlasers with ultra-narrow linewidths play a game-changing role in a broad spectrum of applications ranging from coherent communication and LIDAR to metrology and sensing. Generation of such light sources in a controllable and cost-effective manner remains an outstanding challenge due to the difficulties in the realization of ultra-high Q active micro-resonators with suppressed mode numbers. Here, we report a microlaser generated in an ultra-high Q Erbium doped lithium niobate (LN) micro-disk. Through the formation of coherently combined polygon modes at both pump and laser wavelengths, the microlaser exhibits single mode operation with an ultra-narrow-linewidth of 98 Hz. In combination with the superior electro-optic and nonlinear optical properties of LN crystal, the mass-producible on-chip single-mode microlaser will provide an essential building block for the photonic integrated circuits demanding high precision frequency control and reconfigurability.


title: On the Counter-Rotation of Closed Timelike Curves

abstract: While it is tempting to think of closed timelike curves (CTCs) around rotating bodies such as a black hole as being "caused" by the rotation of the source, Andr\'eka et al. pointed out that the underlying physics is not as straightforward since such CTCs are "counter-rotating", i.e., the time orientation (the opening of the local light cones) of the CTCs is opposite to the direction in which the singularity or the ergosphere rotates. It was also suggested that this is a generic phenomenon that calls for a deeper intuitive physical understanding. In this short note we point out -- with Kerr-Taub-NUT as an example -- that CTCs are counter-rotating with respect to the local angular velocity of the spacetime, which makes a physical interpretation of CTCs being "caused" by a rotating source even more problematic.


title: Using Murphy-Good Plots to Interpret Field Emission Current-Voltage Data

abstract: This paper focuses on one small but significant part of a long-term project that aims to improve the interpretation of measured field electron emission (FE) current-voltage [I_m(V_m)] data, and (later) the formulation of FE theory. A new form of FE I_m(V_m) data-analysis plot - the so-called "Murphy-Good (MG) plot" - has recently been introduced, within the general framework of the prevailing "smooth planar metal-like emitter" methodology. This new plot form, and the reasons for its introduction, are discussed. It is shown that the MG plot can perform all the functions that the traditional (90-year old) Fowler-Nordheim plot does, but in addition yields relatively precise results for the characterization parameter formal emission area. It can be argued that, certainly in scientific contexts, the use of MG plots could usefully replace the use of FN plots.


title: Symmetries and gauge symmetries in multisymplectic first and second-order Lagrangian field theories: electromagnetic and gravitational fields

abstract: Symmetries and, in particular, Cartan (Noether) symmetries and conserved quantities (conservation laws) are studied for the multisymplectic formulation of first and second order Lagrangian classical field theories. Noether-type theorems are stated in this geometric framework. The concept of gauge symmetry and its geometrical meaning are also discussed in this formulation. The results are applied to study Noether and gauge symmetries for the multisymplectic description of the electromagnetic and the gravitational theory; in particular, the Einstein--Hilbert and the Einstein--Palatini approaches.


title: Global linear convergence of Evolution Strategies with recombination on scaling-invariant functions

abstract: Evolution Strategies (ES) are stochastic derivative-free optimization algorithms whose most prominent representative, the CMA-ES algorithm, is widely used to solve difficult numerical optimization problems. We provide the first rigorous investigation of the linear convergence of step-size adaptive ES involving a population and recombination, two ingredients crucially important in practice to be robust to local irregularities or multimodality.We investigate convergence of step-size adaptive ES with weighted recombination on composites of strictly increasing functions with continuously differentiable scaling-invariant functions with a global optimum. This function class includes functions with non-convex sublevel sets and discontinuous functions. We prove the existence of a constant r such that the logarithm of the distance to the optimum divided by the number of iterations converges to r. The constant is given as an expectation with respect to the stationary distribution of a Markov chain-its sign allows to infer linear convergence or divergence of the ES and is found numerically.Our main condition for convergence is the increase of the expected log step-size on linear functions. In contrast to previous results, our condition is equivalent to the almost sure geometric divergence of the step-size on linear functions.


title: Algorithms for hard-constraint point processes via discretization

abstract: We study algorithmic applications of a natural discretization for the hard-sphere model and the Widom-Rowlinson model in a region $\mathbb{V}\subset\mathbb{R}^d$. These models are used in statistical physics to describe mixtures of one or multiple particle types subjected to hard-core interactions. For each type, particles follow a Poisson point process with a type specific activity parameter (fugacity). The Gibbs distribution is characterized by the mixture of these point processes conditioned that no two particles are closer than a type-dependent distance threshold. A key part in better understanding the Gibbs distribution is its normalizing constant, called partition function. We give sufficient conditions that the partition function of a discrete hard-core model on a geometric graph based on a point set $X \subset \mathbb{V}$ closely approximates those of such continuous models. Previously, this was only shown for the hard-sphere model on cubic regions $\mathbb{V}=[0, \ell)^d$ when $X$ is exponential in the volume of the region $\nu(\mathbb{V})$, limiting algorithmic applications. In the same setting, our refined analysis only requires a quadratic number of points, which we argue to be tight. We use our improved discretization results to approximate the partition functions of the hard-sphere model and the Widom-Rowlinson efficiently in $\nu(\mathbb{V})$. For the hard-sphere model, we obtain the first quasi-polynomial deterministic approximation algorithm for the entire fugacity regime for which, so far, only randomized approximations are known. Furthermore, we simplify a recently introduced fully polynomial randomized approximation algorithm. Similarly, we obtain the best known deterministic and randomized approximation bounds for the Widom-Rowlinson model. Moreover, we obtain approximate sampling algorithms for the respective spin systems within the same fugacity regimes.


title: Exploring the efficacy of neural networks for trajectory compression and the inverse problem

abstract: In this document, a neural network is employed in order to estimate the solution of the initial value problem in the context of non linear trajectories. Such trajectories can be subject to gravity, thrust, drag, centrifugal force, temperature, ambient air density and pressure. First, we generate a grid of trajectory points given a specified uniform density as a design parameter and then we investigate the performance of a neural network in a compression and inverse problem task: the network is trained to predict the initial conditions of the dynamics model we used in the simulation, given a target point in space. We investigate this as a regression task, with error propagation in consideration. For target points, up to a radius of 2 kilometers, the model is able to accurately predict the initial conditions of the trajectories, with sub-meter deviation. This simulation-based training process and novel real-world evaluation method is capable of computing trajectories of arbitrary dimensions.


title: Automatic and explainable grading of meningiomas from histopathology images

abstract: Meningioma is one of the most prevalent brain tumors in adults. To determine its malignancy, it is graded by a pathologist into three grades according to WHO standards. This grade plays a decisive role in treatment, and yet may be subject to inter-rater discordance. In this work, we present and compare three approaches towards fully automatic meningioma grading from histology whole slide images. All approaches are following a two-stage paradigm, where we first identify a region of interest based on the detection of mitotic figures in the slide using a state-of-the-art object detection deep learning network. This region of highest mitotic rate is considered characteristic for biological tumor behavior. In the second stage, we calculate a score corresponding to tumor malignancy based on information contained in this region using three different settings. In a first approach, image patches are sampled from this region and regression is based on morphological features encoded by a ResNet-based network. We compare this to learning a logistic regression from the determined mitotic count, an approach which is easily traceable and explainable. Lastly, we combine both approaches in a single network. We trained the pipeline on 951 slides from 341 patients and evaluated them on a separate set of 141 slides from 43 patients. All approaches yield a high correlation to the WHO grade. The logistic regression and the combined approach had the best results in our experiments, yielding correct predictions in 32 and 33 of all cases, respectively, with the image-based approach only predicting 25 cases correctly. Spearman's correlation was 0.716, 0.792 and 0.790 respectively. It may seem counterintuitive at first that morphological features provided by image patches do not improve model performance. Yet, this mirrors the criteria of the grading scheme, where mitotic count is the only unequivocal parameter.


title: Cellular chain complexes of universal covers of some 3-manifolds

abstract: For a closed 3-manifold $M$ in a certain class, we give a presentation of the cellular chain complex of the universal cover of $M$. The class includes all surface bundles, some surgeries of knots in $S^3$, some cyclic branched cover of $S^3$, and some Seifert manifolds. In application, we establish a formula for calculating the linking form of a cyclic branched cover of $S^3$, and develop procedures of computing some Dijkgraaf-Witten invariants.


title: Structured Proofs for Adversarial Cyber-Physical Systems

abstract: Many cyber-physical systems (CPS) are safety-critical, so it is important to formally verify them, e.g. in formal logics that show a model's correctness specification always holds. Constructive Differential Game Logic (CdGL) is such a logic for (constructive) hybrid games, including hybrid systems. To overcome undecidability, the user first writes a proof, for which we present a proof-checking tool. We introduce Kaisar, the first language and tool for CdGL proofs, which until now could only be written by hand with a low-level proof calculus. Kaisar's structured proofs simplify challenging CPS proof tasks, especially by using programming language principles and high-level stateful reasoning. Kaisar exploits CdGL's constructivity and refinement relations to build proofs around models of game strategies. The evaluation reproduces and extends existing case studies on 1D and 2D driving. Proof metrics are compared and reported experiences are discussed for the original studies and their reproductions.


title: Search for high-energy neutrino sources from the direction of IceCube alert events

abstract: We use IceCube's high-statistics, neutrino-induced, through-going muon samples to search for astrophysical neutrino sources. Specifically, we analyze the arrival directions of IceCube's highest energy neutrinos. These high-energy events allow for a good angular reconstruction of their origin. Additionally, they have a high probability to come from an astrophysical source. On average, 8 neutrino events that satisfy these selection criteria are detected per year. Using these neutrino events as a source catalog, we present a search for the production sites of cosmic neutrinos. In this contribution we explore a time-dependent analysis, and present preliminary 3$\sigma$ discovery potential fluences of $\approx 2.7 \cdot 10^{-2} \rm{GeV}/\rm{cm}^2$. We construct the fluences using expectation maximization.


title: Brownian sheet and time inversion -- From $G$-orbit to $L(G)$-orbit

abstract: We have proved in a previous paper that a space-time Brownian motion conditioned to remain in a Weyl chamber associated to an affine Kac-Moody Lie algebra is distributed as the radial part process of a Brownian sheet on the compact real form of the underlying finite dimensional Lie algebra, the radial part being defined considering the coadjoint action of a loop group on the dual of a centrally extended loop algebra. We present here a very brief proof of this result based on a time inversion argument and on elementary stochastic differential calculus.


title: Better force fields start with better data -- A data set of cation dipeptide interactions

abstract: We present a data set from a first-principles study of amino-methylated and acetylated (capped) dipeptides of the 20 proteinogenic amino acids - including alternative possible side chain protonation states and their interactions with selected divalent cations (Ca$^{2+}$, Mg$^{2+}$ and Ba$^{2+}$). The data covers 21,909 stationary points on the respective potential-energy surfaces in a wide relative energy range of up to 4 eV (390 kJ/mol). Relevant properties of interest, like partial charges, were derived for the conformers. The motivation was to provide a solid data basis for force field parameterization and further applications like machine learning or benchmarking. In particular the process of creating all this data on the same first-principles footing, i.e. density-functional theory calculations employing the generalized gradient approximation with a van der Waals correction, makes this data suitable for data-driven force field development. To make the data accessible across domain borders and to machines, we formalized the metadata in an ontology.


title: Multiparameter persistent homology via generalized Morse theory

abstract: We define a class of multiparameter persistence modules that arise from a one-parameter family of functions on a topological space and prove that these persistence modules are stable. We show that this construction can produce indecomposable persistence modules with arbitrarily large dimension. In the case of smooth functions on a compact manifold, we apply cobordism theory and Cerf theory to study the resulting persistence modules. We give examples in which we obtain a complete description of the persistence module as a direct sum of indecomposable summands and provide a corresponding visualization.


title: Rectangular Heffter arrays: a reduction theorem

abstract: Let $m,n,s,k$ be four integers such that $3\leq s \leq n$, $3\leq k\leq m$ and $ms=nk$. Set $d=\gcd(s,k)$. In this paper we show how one can construct a Heffter array $H(m,n;s,k)$ starting from a square Heffter array $H(nk/d;d)$ whose elements belong to $d$ consecutive diagonals. As an example of application of this method, we prove that there exists an integer $H(m,n;s,k)$ in each of the following cases: $(i)$ $d\equiv 0 \pmod 4$; $(ii)$ $5\leq d\equiv 1 \pmod 4$ and $n k\equiv 3\pmod 4$; $(iii)$ $d\equiv 2 \pmod 4$ and $nk\equiv 0 \pmod 4$; $(iv)$ $d\equiv 3 \pmod 4$ and $n k\equiv 0,3\pmod 4$. The same method can be applied also for signed magic arrays $SMA(m,n;s,k)$ and for magic rectangles $MR(m,n;s,k)$. In fact, we prove that there exists an $SMA(m,n;s,k)$ when $d\geq 2$, and there exists an $MR(m,n;s,k)$ when either $d\geq 2$ is even or $d\geq 3$ and $nk$ are odd. We also provide constructions of integer Heffter arrays and signed magic arrays when $k$ is odd and $s\equiv 0 \pmod 4$.


title: Regular Perturbation and Achievable Rates of Space-Division Multiplexed Optical Channels

abstract: Regular perturbation is applied to space-division multiplexing (SDM) on optical fibers and motivates a correlated rotation-and-additive noise (CRAN) model. For S spatial modes, or 2S complex-alphabet channels, the model has 4S(S+1) hidden independent real Gauss-Markov processes, of which 2S model phase noise, 2S(2S-1) model spatial mode rotation, and 4S model additive noise. Achievable information rates of multi-carrier communication are computed by using particle filters. For S=2 spatial modes with strong coupling and a 1000 km link, joint processing of the spatial modes gains 0.5 bits/s/Hz/channel in rate and 1.4 dB in power with respect to separate processing of 2S complex-alphabet channels without considering CRAN.


title: Noncritical maps on geodesically complete spaces with curvature bounded above

abstract: We define and study the regularity of distance maps on geodesically complete spaces with curvature bounded above. We prove that such a regular map is locally a Hurewicz fibration. This regularity can be regarded as a dual concept of Perelman's regularity in the geometry of Alexandrov spaces with curvature bounded below. As a corollary we obtain a sphere theorem for geodesically complete CAT(1) spaces.


title: A Proposed Hybrid Effect Size Plus $p$-Value Criterion: A Comment on Goodman et al. (2019)

abstract: In a recent simulation study, Goodman et al. (2019) compare several methods with regard to their type I and type II error rates in case of a thick null hypothesis that includes all values that are practically equivalent to the point null hypothesis. They propose a hybrid decision criterion only declaring a result "significant" if both a small $p$-value and a sufficiently large effect size are obtained. We successfully verify the results using our own software code in R and discuss an additional decision method that is tailored to maintain a pre-defined false positive rate. We confirm that the hybrid decision criterion has comparably low error rates in settings one can check for but point out that the false discovery rate cannot be easily controlled by the researcher. Our analyses are readily accessible and customizable on https://github.com/drehero/goodman-replication.


title: VolcanoML: Speeding up End-to-End AutoML via Scalable Search Space Decomposition

abstract: End-to-end AutoML has attracted intensive interests from both academia and industry, which automatically searches for ML pipelines in a space induced by feature engineering, algorithm/model selection, and hyper-parameter tuning. Existing AutoML systems, however, suffer from scalability issues when applying to application domains with large, high-dimensional search spaces. We present VolcanoML, a scalable and extensible framework that facilitates systematic exploration of large AutoML search spaces. VolcanoML introduces and implements basic building blocks that decompose a large search space into smaller ones, and allows users to utilize these building blocks to compose an execution plan for the AutoML problem at hand. VolcanoML further supports a Volcano-style execution model - akin to the one supported by modern database systems - to execute the plan constructed. Our evaluation demonstrates that, not only does VolcanoML raise the level of expressiveness for search space decomposition in AutoML, it also leads to actual findings of decomposition strategies that are significantly more efficient than the ones employed by state-of-the-art AutoML systems such as auto-sklearn.


title: Disentangling and Vectorization: A 3D Visual Perception Approach for Autonomous Driving Based on Surround-View Fisheye Cameras

abstract: The 3D visual perception for vehicles with the surround-view fisheye camera system is a critical and challenging task for low-cost urban autonomous driving. While existing monocular 3D object detection methods perform not well enough on the fisheye images for mass production, partly due to the lack of 3D datasets of such images. In this paper, we manage to overcome and avoid the difficulty of acquiring the large scale of accurate 3D labeled truth data, by breaking down the 3D object detection task into some sub-tasks, such as vehicle's contact point detection, type classification, re-identification and unit assembling, etc. Particularly, we propose the concept of Multidimensional Vector to include the utilizable information generated in different dimensions and stages, instead of the descriptive approach for the bird's eye view (BEV) or a cube of eight points. The experiments of real fisheye images demonstrate that our solution achieves state-of-the-art accuracy while being real-time in practice.


title: The role of introductory physics for life sciences in supporting students to use physical models flexibly

abstract: A central goal of Introductory Physics for the Life Sciences (IPLS) is to prepare students to use physics to model and analyze biological situations, a skill of increasing importance for their future studies and careers. Here we report our findings on life science students' ability to carry out a sophisticated biological modeling task at the end of first-semester introductory physics. Some students were enrolled in a standard course (N = 34), and some in an IPLS course (N = 61); both courses were taught with active learning, used calculus, and included the same core physics concepts. Compared to those who took the standard course, we found that the IPLS students were significantly more successful at building a model that combined ideas in a manner they had not previously seen, and at making complex decisions about how to apply an equation to a particular physical situation, although both groups displayed similar success at solving simpler problems. Both groups identified and applied simple models that they had previously used in very similar contexts, and executed straightforward calculations, at statistically indistinguishable rates. We report both our findings and the rationale behind the development of the task, in the hopes that others may find this task either a valuable tool or a starting point to develop other such tasks. Further study is needed to determine the basis for the IPLS students' stronger performance--namely, what aspects of the IPLS course supports these students to be better prepared to do such modeling--as well as whether biological settings are important for IPLS students to succeed in flexible model building, and whether the ability to employ models flexibly persists over time.


title: Tensor slice rank and Cayley's first hyperdeterminant

abstract: Cayley's first hyperdeterminant is a straightforward generalization of determinants for tensors. We prove that nonzero hyperdeterminants imply lower bounds on some types of tensor ranks. This result applies to the slice rank introduced by Tao and more generally to partition ranks introduced by Naslund. As an application, we show upper bounds on some generalizations of colored sum-free sets based on constraints related to order polytopes.


title: Ab Initio Particle-based Object Manipulation

abstract: This paper presents Particle-based Object Manipulation (Prompt), a new approach to robot manipulation of novel objects ab initio, without prior object models or pre-training on a large object data set. The key element of Prompt is a particle-based object representation, in which each particle represents a point in the object, the local geometric, physical, and other features of the point, and also its relation with other particles. Like the model-based analytic approaches to manipulation, the particle representation enables the robot to reason about the object's geometry and dynamics in order to choose suitable manipulation actions. Like the data-driven approaches, the particle representation is learned online in real-time from visual sensor input, specifically, multi-view RGB images. The particle representation thus connects visual perception with robot control. Prompt combines the benefits of both model-based reasoning and data-driven learning. We show empirically that Prompt successfully handles a variety of everyday objects, some of which are transparent. It handles various manipulation tasks, including grasping, pushing, etc,. Our experiments also show that Prompt outperforms a state-of-the-art data-driven grasping method on the daily objects, even though it does not use any offline training data.


title: Quantum walk on a comb with infinite teeth

abstract: We study continuous time quantum random walk on a comb with infinite teeth and show that the return probability to the starting point decays with time $t$ as $t^{-1}$. We analyse the diffusion along the spine and into the teeth and show that the walk can escape into the teeth with a finite probability and goes to infinity along the spine with a finite probability. The walk along the spine and into the teeth behaves qualitatively as a quantum random walk on a line. This behaviour is quite different from that of classical random walk on the comb.


title: Low-energy consumption, free-form capacitive deionisation through nanostructured networks

abstract: Capacitive Deionization (CDI) is a non-energy intensive water treatment technology. To harness the enormous potential of CDI requires improving performance, while offering industrially feasible solutions. Following this idea, the replacement of costly metallic components has been proposed as a mean of limiting corrosion problems. This work explores the use of nanostructured hybrid networks to enable free-form and metal-free CDI devices. The strategy consists of producing interpenetrated networks of highly conductive flexible carbon nanotube (CNT) fibre fabrics and nanostructured metal oxides, {\gamma}Al2O3 and TiO2, through ultrasound-assisted nanoparticle infiltration and sintering. In the resulting hybrids, a uniform distribution of porous metal oxide is firmly attached to the nanocarbon network while the flexibility, high conductivity and low-dimensional properties of the CNTs are preserved. These electrodes present a high porosity ($105 - 118 m^{2} g^{1}$), notably low electrical ($< 0,1 k \Omega cm^{2}$) and low charge transfer resistance (4 {\Omega}), thus enabling the infiltration of aqueous electrolytes and serving as current collector. In this work we built a large asymmetrical cylindrical CDI device solely made of these electrodes and conventional plastics. The cell provides, high average salt adsorption rates of $1.16 mg /g_{AM} min$ ($0.23 mg/g_{CDIunit} min$, low energy consumption ($0.18 Wh/g_{salt}$) and stable electrochemical performance above 50 cycles for brackish water desalination.


title: Energy Efficient Data Recovery from Corrupted LoRa Frames

abstract: High frame-corruption is widely observed in Long Range Wide Area Networks (LoRaWAN) due to the coexistence with other networks in ISM bands and an Aloha-like MAC layer. LoRa's Forward Error Correction (FEC) mechanism is often insufficient to retrieve corrupted data. In fact, real-life measurements show that at least one-fourth of received transmissions are corrupted. When more frames are dropped, LoRa nodes usually switch over to higher spreading factors (SF), thus increasing transmission times and increasing the required energy. This paper introduces ReDCoS, a novel coding technique at the application layer that improves recovery of corrupted LoRa frames, thus reducing the overall transmission time and energy invested by LoRa nodes by several-fold. ReDCoS utilizes lightweight coding techniques to pre-encode the transmitted data. Therefore, the inbuilt Cyclic Redundancy Check (CRC) that follows is computed based on an already encoded data. At the receiver, we use both the CRC and the coded data to recover data from a corrupted frame beyond the built-in Error Correcting Code (ECC). We compare the performance of ReDCoS to (I) the standard FEC of vanilla-LoRaWAN, and to (ii) RS coding applied as ECC to the data of LoRaWAN. The results indicated a 54x and 13.5x improvement of decoding ratio, respectively, when 20 data symbols were sent. Furthermore, we evaluated ReDCoS on-field using LoRa SX1261 transceivers showing that it outperformed RS-coding by factor of at least 2x (and up to 6x) in terms of the decoding ratio while consuming 38.5% less energy per correctly received transmission.


title: $Z_{DP}(n)$ is upperly bounded by $n^2-(n+3)/2$

abstract: DP-coloring was introduced by Dvo\v{r}\'{a}k and Postle and is a generalization of proper coloring. For any graph $G$, let $\chi(G)$ and $\chi_{DP}(G)$ denote the chromatic number and the DP-chromatic number of $G$ respectively. In this article, we show that $\chi_{DP}(G \vee K_s)=\chi(G \vee K_s)$ holds for $s=\left \lceil \frac{4(k+1)m}{2k+1} \right \rceil \le \lceil 2.4m\rceil$, where $k=\chi(G)$, $m=|E(G)|$ and $G \vee K_s$ is the join of $G$ and the complete graph $K_s$. Hence $Z_{DP}(n)\le n^2-(n+3)/2$ holds for every integer $n \ge 2$, where $Z_{DP}(n)$ is the minimum natural number $s$ such that $\chi_{DP}(G \vee K_s)=\chi(G \vee K_s)$ holds for every graph $G$ of order $n$. Our result improves the best current upper bound $Z_{DP}(n)\le 1.5n^2$ due to Bernshteyn, Kostochka and Zhu.


title: Searches for Neutrinos from Precursors and Afterglows of Gamma-ray Bursts using the IceCube Neutrino Observatory

abstract: Gamma-ray bursts (GRBs) are among the most powerful events observed in our universe and have long been considered as possible sources of ultra-high-energy cosmic rays, which makes them promising neutrino source candidates. Previous IceCube searches for neutrino correlations with GRBs focused on the prompt (main emission) phase of the GRB and found no significant correlation between neutrino events and the observed GRBs. This motivates us to extend our search beyond the prompt phase. We perform analyses looking for evidence of neutrino emission up to 14 days before and after the prompt phase of GRBs. These analyses rely on a sample of candidate muon-neutrino events observed by IceCube from May 2011 to October 2018. The analyses are model-independent. Two of them scan different time-windows for possible neutrino emission, while a third analysis targets precursor emission based on GRB precursor observations by Fermi-GBM. We discuss the results and implications of these searches including limits on the contribution of GRBs to the diffuse neutrino flux.


title: Modelling vortex ring growth in the wake of a translating cone

abstract: Vortex rings have the ability to transport fluid over long distances. They are usually produced by ejecting a volume of fluid through a circular orifice or nozzle. When the volume and velocity of the ejected fluid are known, the vortex' circulation, impulse, and energy can be estimated by the slug flow model. Vortex rings also form in the wake of accelerating axisymmetric bodies. In this configuration, the volume and velocity of the fluid that is injected into the vortex is not known a priori. Here, we present two models to predict the growth of the vortex behind disks or cones. The first model uses conformal mapping and assumes that all vorticity generated ends up in the vortex. The vortex circulation is determined by imposing the Kutta condition at the tip of the disk. The position of the vortex is integrated from an approximation of its velocity, given by Fraenkel. The model predicts well the maximum circulation of the vortex, but does not predict the tail shedding observed experimentally. A second model is based on an axisymmetric version of the discrete vortex method. The shear layer formed at the tip of the cone is discretised by point vortices, which roll-up into a coherent vortex ring. The model accurately captures the temporal evolution of the circulation and the non-dimensional energy. The detrainment of vorticity from the vortex, through the process of tail shedding, is qualitatively captured by the model but remains quantitatively sensitive to the numerical parameters.


title: Proximity in face-to-face interaction is associated with mobile phone communication

abstract: The frequency of mobile communication is often used as an indicator of the strength of a tie between two individuals, but how mobile communication relates to other forms of behaving close in social relationships is poorly understood. We used a unique multi-channel 10-month dataset from 510 participants to examine how the frequency of mobile communication was related to the frequency of face-to-face interaction, as measured by Bluetooth scans between the participants mobile phones. The number of phone calls between a dyad was significantly related to the number of face-to-face interactions. Physical proximity during face-to-face interactions was the single strongest predictor of the number of phone calls. Overall, 36 percent of variance in phone calls could be explained by face-to-face interactions and the control variables. Our results suggest that the amount of mobile communication between a dyad is a useful but noisy measure of tie strength with some significant limitations.


title: RingFed: Reducing Communication Costs in Federated Learning on Non-IID Data

abstract: Federated learning is a widely used distributed deep learning framework that protects the privacy of each client by exchanging model parameters rather than raw data. However, federated learning suffers from high communication costs, as a considerable number of model parameters need to be transmitted many times during the training process, making the approach inefficient, especially when the communication network bandwidth is limited. This article proposes RingFed, a novel framework to reduce communication overhead during the training process of federated learning. Rather than transmitting parameters between the center server and each client, as in original federated learning, in the proposed RingFed, the updated parameters are transmitted between each client in turn, and only the final result is transmitted to the central server, thereby reducing the communication overhead substantially. After several local updates, clients first send their parameters to another proximal client, not to the center server directly, to preaggregate. Experiments on two different public datasets show that RingFed has fast convergence, high model accuracy, and low communication cost.


title: Nonlinear photonic dynamical systems for unconventional computing

abstract: Driven by the remarkable breakthroughs during the past decade, photonics neural networks have experienced a revival. Here, we provide a general overview of progress over the past decade, and sketch a roadmap of important future developments. We focus on photonic implementations of the reservoir computing machine learning paradigm, which offers a conceptually simple approach that is amenable to hardware implementations. In particular, we provide an overview of photonic reservoir computing implemented via either spatio temporal or delay dynamical systems. Going beyond reservoir computing, we discuss recent advances and future challenges of photonic implementations of deep neural networks, of the quest for learning methods that are hardware-friendly as well as realizing autonomous photonic neural networks, i.e. with minimal digital electronic auxiliary hardware.


title: A Morse complex for Axiom A flows

abstract: On a smooth compact Riemannian manifold without boundary, we construct a finite dimensional cohomological complex of currents that are invariant by an Axiom A flow verifying Smale's transversality assumptions. The cohomology of that complex is isomorphic to the De Rham cohomology via certain spectral projectors. This construction is achieved by defining anisotropic Sobolev spaces adapted to the global dynamics of Axiom A flows. In the particular case of Morse-Smale gradient flows, this complex coincides with the classical Morse complex.


title: The final twist: A model of gravitational waves from precessing black-hole binaries through merger and ringdown

abstract: We present PhenomPNR, a frequency-domain phenomenological model of the gravitational-wave (GW) signal from binary-black-hole mergers that is tuned to numerical relativity (NR) simulations of precessing binaries. In many current waveform models, e.g., the "Phenom" and "EOBNR" families that have been used extensively to analyse LIGO-Virgo GW observations, analytic approximations are used to add precession effects to models of non-precessing (aligned-spin) binaries, and it is only the aligned-spin models that are fully tuned to NR results. In PhenomPNR we incorporate precessing-binary NR results in two ways: (i) we produce the first NR-tuned model of the signal-based precession dynamics through merger and ringdown, and (ii) we extend a previous aligned-spin model, PhenomD, to include the effects of misaligned spins on the signal in the co-precessing frame. The NR calibration has been performed on 40 simulations of binaries with mass ratios between 1:1 and 1:8, where the larger black hole has a dimensionless spin magnitude of 0.4 or 0.8, and we choose five angles of spin misalignment with the orbital angular momentum. PhenomPNR has a typical mismatch accuracy within 0.1% up to mass-ratio 1:4, and within 1% up to mass-ratio 1:8.


title: Constructing uncountably many groups with the same profinite completion

abstract: We present two uncountable families of finitely generated residually finite groups all having the same profinite completion. One consists of soluble groups, the other of branch groups.


title: Theory of cross quantum capacitance

abstract: Impressive progress in the control of atomically thin crystals is now enabling the realization of gated structures in which two electrodes are separated by atomic scale distances. The electrical capacitance of these structures is determined by phenomena that are not relevant in capacitors with larger electrode separation. With the aim to analyze these phenomena, we use linear response theory to develop a systematic description of capacitance for two coupled electron liquids, accounting for the wave nature of electrons, as well as for the effect of both intra and interlayer Coulomb interactions. Our theory leads to a general expression for the electrical capacitance in terms of both intra and interlayer electronic polarizabilities. The intralayer polarizability is directly related to the conventional expression for the quantum capacitance, whereas the interlayer polarizability term accounts for interaction-induced correlations between charges hosted by opposite capacitor plates. We refer to this latter term as to the cross quantum capacitance. We discuss the implications of the general expression for the capacitance, show that it leads to established results when the effect of interlayer correlations is negligible, and that the intra and interlayer polarizabilities play a comparable role for capacitors with very small electrode separation. Using two different approaches, we calculate the capacitance in specific cases, and find that the interlayer polarizability can be either positive or negative, so that the cross quantum capacitance can either increase or decrease the total capacitance. We conclude by showing that the cross quantum capacitance term can lead to a non-monotonic evolution of the total capacitance with increasing separation between the capacitor plates, which would represent an unambiguous manifestation of the cross quantum capacitance if observed experimentally.


title: On higher spin analogues of linearized Topologically Massive Gravity and linearized "New Massive Gravity"

abstract: We suggest a new spin-4 self-dual model (parity singlet) and a new spin-4 parity doublet in $D=2+1$. They are of higher order in derivatives and are described by a totally symmetric rank-4 tensor without extra auxiliary fields. Despite the higher derivatives they are ghost free. We find gauge invariant field combinations which allow us to show that the canonical structure of the spin-4 (spin-3) models follows the same pattern of its spin-2 (spin-1) counterpart after field redefinitions. For $s=1,2,3,4$, the spin-$s$ self-dual models of order $2s-1$ and the doublet models of order $2s$ can be written in terms of three gauge invariants. The cases $s=3$ and $s=4$ suggest a restricted conformal higher spin symmetry as a principle for defining linearized topologically massive gravity and linearized "New Massive Gravity" for arbitrary integer spins. A key role in our approach is played by the fact that the Cotton tensor in $D=2+1$ has only two independent components for any integer spin.


title: Computational diffraction reveals long-range strains, disorder and crystalline domains in atomic scale simulations

abstract: Atomic scale simulations are a key element of modern science in that they allow to understand, and even predict, complex physical or chemical phenomena on the basis of the fundamental laws of nature. Among the different existing atomic scale simulation approaches, molecular dynamics (MD) has imposed itself as the method of choice to model the behavior of the structure of materials under the action of external stimuli, say temperature, strain or stress, irradiation, etc. Despite the widespread use of MD in condensed matter science, some basic material characteristics remain difficult to determine. This is for instance the case of the long-range strain tensor in heavily disordered materials, or the quantification of rotated crystalline domains lacking clearly defined boundaries. In this work, we introduce computational diffraction as a fast and reliable structural characterization tool of atomic scale simulation cells. As compared to usual direct-space methods, computational diffraction operates in the reciprocal-space and is therefore highly sensitive to long-range spatial correlations. With the example of defective UO2, it is demonstrated that the homogeneous strain tensor, the heterogeneous strain tensor, the disorder, as well as rotated crystallites are straightforwardly and unambiguously determined. Computational diffraction can be applied to any type of atomic scale simulation and can be performed in real time, in parallel with other analysis tools. In experimental workflows, diffraction and microscopy are almost systematically used together in order to benefit from their complementarity. Computational diffraction, used together with computational microscopy, can potentially play a major role in the future of atomic scale simulations.


title: Reasoning-Modulated Representations

abstract: Neural networks leverage robust internal representations in order to generalise. Learning them is difficult, and often requires a large training set that covers the data distribution densely. We study a common setting where our task is not purely opaque. Indeed, very often we may have access to information about the underlying system (e.g. that observations must obey certain laws of physics) that any "tabula rasa" neural network would need to re-learn from scratch, penalising performance. We incorporate this information into a pre-trained reasoning module, and investigate its role in shaping the discovered representations in diverse self-supervised learning settings from pixels. Our approach paves the way for a new class of representation learning, grounded in algorithmic priors.


title: Propagating Visual Designs to Numerous Plots and Dashboards

abstract: In the process of developing an infrastructure for providing visualization and visual analytics (VIS) tools to epidemiologists and modeling scientists, we encountered a technical challenge for applying a number of visual designs to numerous datasets rapidly and reliably with limited development resources. In this paper, we present a technical solution to address this challenge. Operationally, we separate the tasks of data management, visual designs, and plots and dashboard deployment in order to streamline the development workflow. Technically, we utilize: an ontology to bring datasets, visual designs, and deployable plots and dashboards under the same management framework; multi-criteria search and ranking algorithms for discovering potential datasets that match a visual design; and a purposely-design user interface for propagating each visual design to appropriate datasets (often in tens and hundreds) and quality-assuring the propagation before the deployment. This technical solution has been used in the development of the RAMPVIS infrastructure for supporting a consortium of epidemiologists and modeling scientists through visualization.


title: Universal criticality of thermodynamic geometry for boundary conformal field theories in gauge/gravity duality

abstract: According to more recent AdS/CFT interpretation \cite{Karch:2015rpa}, in which varying cosmological constant $\Lambda$ in the bulk corresponds to varying the curvature radius governing the space on which the field theory resides, we study the criticality of thermodynamic curvatures for thermal boundary conformal field theories (CFT) that are dual to $d$-dimensional charged anti-de Sitter (AdS) black holes, embedded in $D$-dimensional M-theory/superstring inspired models having $AdS_{d}\times \mathbb{S}^{d+k}$ spacetime with $D=2d+k$. Analogous with criticality features acquired for charged AdS black holes in the bulk \cite{HosseiniMansoori:2020jrx}, the normalized intrinsic curvature $R_N$ and extrinsic curvature $K_N$ of the boundary CFT has critical exponents 2 and 1, respectively. In this respect, the universal amplitude of $R_Nt^2$ is $\frac{1}{2}$ and $K_Nt$ is $-\frac{1}{2}$ when $t\rightarrow0^-$, whereas $R_Nt^2\approx \frac{1}{8}$ and $K_Nt\approx\frac{1}{4}$ in the limit $t\rightarrow0^+$ in which $t=T/T_c-1$ is the temperature parameter with the critical temperature, $T_{c}$. Interestingly, these critical amplitudes are independent of the number of thermal CFT dimensions and are remarkably similar to one given for higher dimensional charged AdS black holes in the bulk.


title: Data Partition and Rate Control for Learning and Energy Efficient Edge Intelligence

abstract: The rapid development of artificial intelligence together with the powerful computation capabilities of the advanced edge servers make it possible to deploy learning tasks at the wireless network edge, which is dubbed as edge intelligence (EI). The communication bottleneck between the data resource and the server results in deteriorated learning performance as well as tremendous energy consumption. To tackle this challenge, we explore a new paradigm called learning-and-energy-efficient (LEE) EI, which simultaneously maximizes the learning accuracies and energy efficiencies of multiple tasks via data partition and rate control. Mathematically, this results in a multi-objective optimization problem. Moreover, the continuous varying rates over the whole transmission duration introduce infinite variables. To solve this complex problem, we consider the case with infinite server buffer capacity and one-shot data arrival at sensor. First, the number of variables are reduced to a finite level by exploiting the optimality of constant-rate transmission in each epoch. Second, the optimal solution is found by applying stratified sequencing or objectives merging. By assuming higher priority of learning efficiency in stratified sequencing, the closed form of optimal data partition is derived by the Lagrange method, while the optimal rate control is proved to have the structure of directional water filling (DWF), based on which a string-pulling (SP) algorithm is proposed to obtain the numerical values. The DWF structure of rate control is also proved to be optimal in objectives merging via weighted summation. By exploiting the optimal rate changing properties, the SP algorithm is further extended to account for the cases with limited server buffer capacity or bursty data arrival at sensor. The performance of the proposed design is examined by extensive experiments based on public datasets.


title: A new method of carbon budget analysis with application to present and paleo atmospheric concentration data sets

abstract: We introduce a new method for analyzing the carbon budget using box models and a mass balance approach. The method describes the net flow of carbon between the atmosphere and other reservoirs. The method assumes that the data can be explained by having the carbon move in and out of the atmosphere through two reservoirs, one consisting of isotopically light carbon (biotic) and the other consisting of isotopically heavy carbon (abiotic). The systems are underdetermined from the data, so the Occam's razor approach is to assume that the least amount of carbon moves between the atmosphere and the reservoirs. As data from known sources and sinks are added to the model, one can determine the constraints on the unknown sources and sinks. To illustrate the method, we analyze data from the Mauna Loa Observatory and data from Antarctic ice cores.


title: On the sound dispersion and attenuation in fluids due to thermal and viscous effects

abstract: In this paper, we derive a dispersion relation for sound waves in viscous and heat conducting fluids. In particular this dispersion (i.e. variation of speed of sound with frequency) is shown to be of second order of magnitude, w.r.t. Knudsen numbers, as in the Stokes [2] case, corresponding to non-conductive fluid (Prandtl number P r = $\infty$). This formula completes the classical attenuation relation called Stokes-Kirchhoff. We represent in a simplified manner the Kirchhoff approach to derive this attenuation [1], starting from the 3D compressible Navier-stokes system. The classical Stokes-Kirchhoff formula has been questioned recently in [3] and a different (and incorrect) formula was proposed. We point out the non-trivial assumptions that are violated in the new derivation in [3] to reestablish the classical Stokes-Kirchhoff formula. Finally, we give an explanation to differences in dispersion and attenuation formulae that one may find in the literature through analysing the form of the considered attenuated solutions.


title: Machine learning application to detect light echoes around black holes

abstract: X-ray reverberation has become a powerful tool to probe the disc-corona geometry near black holes. Here, we develop Machine Learning (ML) models to extract the X-ray reverberation features imprinted in the Power Spectral Density (PSD) of AGN. The machine is trained using simulated PSDs in the form of a simple power-law encoded with the relativistic echo features. Dictionary Learning and sparse coding algorithms are used for the PSD reconstruction, by transforming the noisy PSD to a representative sparse version. Then, the Support Vector Machine is employed to extract the interpretable reverberation features from the reconstructed PSD that holds the information of the source height. The results show that the accuracy of predicting the source height, $h$, is genuinely high and the misclassification is only found when $h$ > 15$r_g$. When the test PSD has a bending power-law shape, which is completely new to the machine, the accuracy is still high. Therefore, the ML model does not require the intrinsic shape of the PSD to be determined in advance. By focusing on the PSD parameter space observed in real AGN data, classification for $h \leq$ 10$r_g$ can be determined with 100% accuracy, even using a PSD in an energy band that contains a reflection flux as low as 10% of the total flux. For $h$ > 10$r_g$, the data, if misclassified, will have small uncertainties of $\Delta h$ ~ 2-4$r_g$. This work shows, as a proof of concept, that the ML technique could shape new methodological directions in the X-ray reverberation analysis.


title: Multimodal Reward Shaping for Efficient Exploration in Reinforcement Learning

abstract: Maintaining the long-term exploration capability of the agent remains one of the critical challenges in deep reinforcement learning. A representative solution is to leverage reward shaping to provide intrinsic rewards for the agent to encourage exploration. However, most existing methods suffer from vanishing intrinsic rewards, which cannot provide sustainable exploration incentives. Moreover, they rely heavily on complex models and additional memory to record learning procedures, resulting in high computational complexity and low robustness. To tackle this problem, entropy-based methods are proposed to evaluate the global exploration performance, encouraging the agent to visit the state space more equitably. However, the sample complexity of estimating the state visitation entropy is prohibitive when handling environments with high-dimensional observations. In this paper, we introduce a novel metric entitled Jain's fairness index (JFI) to replace the entropy regularizer, which solves the exploration problem from a brand new perspective. In sharp contrast to the entropy regularizer, JFI is more computable and robust and can be easily applied generalized into arbitrary tasks. Furthermore, we leverage a variational auto-encoder (VAE) model to capture the life-long novelty of states, which is combined with the global JFI score to form multimodal intrinsic rewards. Finally, extensive simulation results demonstrate that our multimodal reward shaping (MMRS) method can achieve higher performance than other benchmark schemes.


title: The GHS and other correlation inequalities for the two-star model

abstract: We consider the two-star model, a family of exponential random graphs indexed by two real parameters, $h$ and $\alpha$, that rule respectively the total number of edges and the mutual dependence between them. Borrowing tools from statistical mechanics, we study different classes of correlation inequalities for edges, that naturally emerge while taking the partial derivatives of the (finite size) free energy. In particular, if $\alpha, h\ge 0$, we derive first and second order correlation inequalities and then prove the so-called GHS inequality. As a consequence, under the above conditions on the parameters, the average edge density turns out to be an increasing and concave function of the parameter $h$, at any fixed size of the graph. Some of our results can be extended to more general classes of exponential random graphs.


title: Long term behavior of 2D and 3D non-autonomous random convective Brinkman-Forchheimer equations driven by colored noise

abstract: The long time behavior of Wong-Zakai approximations of 2D as well as 3D non-autonomous stochastic convective Brinkman-Forchheimer (CBF) equations with non-linear diffusion terms on bounded and unbounded ($\mathbb{R}^d$ for $d=2,3$) domains is discussed in this work. To establish the existence of random pullback attractors, the concept of asymptotic compactness (AC) is used. In bounded domains, AC is proved via compact Sobolev embeddings. In unbounded domains, due to the lack of compact embeddings, the ideas of energy equations and uniform tail estimates are exploited to prove AC. In the literature, CBF equations are also known as \emph{Navier-Stokes equations (NSE) with damping}, and it is interesting to see that the modification in NSE by linear and nonlinear damping provides better results than that available for NSE. The presence of linear damping term helps to establish the results in the whole domain $\mathbb{R}^d$. The nonlinear damping term supports to obtain better results in 3D and also for a large class of nonlinear diffusion terms. Moreover, we prove the existence of a unique random pullback attractor for stochastic CBF equations with additive white noise. Finally, for additive as well as multiplicative noise case, we establish the convergence of solutions and upper semicontinuity of random pullback attractors for Wong-Zakai approximations of stochastic CBF equations towards the random pullback attractors for stochastic CBF equations when correlation time of colored noise converges to zero.


title: Three-way Mixed Effect ANOVA to Estimate MRMC Limits of Agreement

abstract: When evaluating the clinical performance of a medical imaging device, a multi-reader multi-case (MRMC) analysis is usually applied to account for both case and reader variability. For a clinical task that equates to a quantitative measurement, an agreement analysis such as a limits of agreement (LOA) method can be used to compare different measurement methods. In this work, we introduce four types of comparisons; these types differ depending on whether the measurements are within or between readers and within or between modalities. A three-way mixed effect ANOVA model is applied to estimate the variances of individual differences, which is an essential step for estimating LOA. To verify the estimates of LOA, we propose a hierarchical model to simulate quantitative MRMC data. Two simulation studies were conducted to validate both the simulation and the LOA variance estimates. From the simulation results, we can conclude that our estimate of variance is unbiased, and the uncertainty of the estimation drops as the number of readers and cases increases and rises as the value of true variance increases.


title: Unsupervised Embedding Learning from Uncertainty Momentum Modeling

abstract: Existing popular unsupervised embedding learning methods focus on enhancing the instance-level local discrimination of the given unlabeled images by exploring various negative data. However, the existed sample outliers which exhibit large intra-class divergences or small inter-class variations severely limit their learning performance. We justify that the performance limitation is caused by the gradient vanishing on these sample outliers. Moreover, the shortage of positive data and disregard for global discrimination consideration also pose critical issues for unsupervised learning but are always ignored by existing methods. To handle these issues, we propose a novel solution to explicitly model and directly explore the uncertainty of the given unlabeled learning samples. Instead of learning a deterministic feature point for each sample in the embedding space, we propose to represent a sample by a stochastic Gaussian with the mean vector depicting its space localization and covariance vector representing the sample uncertainty. We leverage such uncertainty modeling as momentum to the learning which is helpful to tackle the outliers. Furthermore, abundant positive candidates can be readily drawn from the learned instance-specific distributions which are further adopted to mitigate the aforementioned issues. Thorough rationale analyses and extensive experiments are presented to verify our superiority.


title: Some comments on the Hamiltonian for Unimodular Gravity

abstract: Several alternative formulations of the first order approach to unimodular gravity are presented. There is always a particular one such that it is {\em classically} equivalent to the second order formulation; this we call {\em educated}. It is often at variance with the {\em naive} approach, in which the lagrangian is taken as given exactly by the same expression as in the second order formulation; only the number and character of the independent variables changes. Namely, typically some of the momenta are now considered as coordinates. The ensuing Hamiltonians are thereby discussed and their physical differences pointed out.


title: Simple and practical DIQKD security analysis via BB84-type uncertainty relations and Pauli correlation constraints

abstract: According to the entropy accumulation theorem, proving the unconditional security of a device-independent quantum key distribution protocol reduces to deriving tradeoff functions, i.e., bounds on the single-round von Neumann entropy of the raw key as a function of Bell linear functionals, conditioned on an eavesdropper's quantum side information. In this work, we describe how the conditional entropy can be bounded in the 2-input/2-output setting, where the analysis can be reduced to qubit systems, by combining entropy bounds for variants of the well-known BB84 protocol with quantum constraints on qubit operators on the bipartite system shared by Alice and Bob. The approach gives analytic bounds on the entropy, or semi-analytic ones in reasonable computation time, which are typically close to optimal. We illustrate the approach on a variant of the device-independent CHSH QKD protocol where both bases are used to generate the key as well as on a more refined analysis of the original single-basis variant with respect to losses. We obtain in particular a detection efficiency threshold slightly below 80.26%, within reach of current experimental capabilities.


title: Optimal Design of Responsive Structures

abstract: With recent advances in both responsive materials and fabrication techniques it is now possible to construct integrated functional structures, composed of both structural and active materials. We investigate the robust design of such structures through topology optimization. By applying a typical interpolation scheme and filtering technique, we prove existence of an optimal design to a class of objective functions which depend on the compliances of the stimulated and unstimulated states. In particular, we consider the actuation work and the blocking load as objectives, both of which may be written in terms of compliances. We study numerical results for the design of a 2D rectangular lifting actuator for both of these objectives, and discuss some intuition behind the features of the converged designs. We formulate the optimal design of these integrated responsive structures with the introduction of voids or holes in the domain, and show that our existence result holds in this setting. We again consider the design of the 2D lifting actuator now with voids. Finally, we investigate the optimal design of an integrated 3D torsional actuator for maximum blocking torque.


title: Radiative contributions to gravitational scattering

abstract: The linear-order effects of radiation-reaction on the classical scattering of two point masses, in General Relativity, are derived by a variation-of-constants method. Explicit expressions for the radiation-reaction contributions to the changes of 4-momentum during scattering are given to linear order in the radiative losses of energy, linear-momentum and angular momentum. The polynomial dependence on the masses of the 4-momentum changes is shown to lead to non-trivial identities relating the various radiative losses. At order $G^3$ our results lead to a streamlined classical derivation of results recently derived within a quantum approach. At order $G^4$ we compute the needed radiative losses to next-to-next-to-leading-order in the post-Newtonian expansion, thereby reaching the absolute fourth and a half post-Newtonian level of accuracy in the 4-momentum changes. We also provide explicit expressions, at the absolute sixth post-Newtonian accuracy, for the radiation-graviton contribution to {\it conservative} $O(G^4)$ scattering. At orders $G^5$ and $G^6$ we derive explicit theoretical expressions for the last two hitherto undetermined parameters describing the fifth-post-Newtonian dynamics. Our results at the fifth-post-Newtonian level confirm results of [Nucl. Phys. B \textbf{965}, 115352 (2021)] but exhibit some disagreements with results of [Phys. Rev. D \textbf{101}, 064033 (2020)].


title: Coherent Control of Hyperfine States and Slow and Fast Light Switching in Ultracold Atoms

abstract: We propose a scheme for attaining slow and fast light via coherent control of the hyperfine ground and excited states of an ultracold atomic system. The proposed scheme is theoretically analyzed for the $D_1$ transition of ultracold $^{23}$ Na atoms. The role of field detuning and field intensity on both the population transfer and induced polarization is investigated. It is shown that slow and fast light, with large bandwidth could be obtained in the proposed system. It is inferred that both slow and fast light could co-propagate, pertaining to different optical and Raman transitions. Further, it is observed that switching between the slow and the fast light is achievable by controlling the field intensity, as well as the field detuning.


title: Towards synthesizing grasps for 3D deformable objects with physics-based simulation

abstract: Grasping deformable objects is not well researched due to the complexity in modelling and simulating the dynamic behavior of such objects. However, with the rapid development of physics-based simulators that support soft bodies, the research gap between rigid and deformable objects is getting smaller. To leverage the capability of such simulators and to challenge the assumption that has guided robotic grasping research so far, i.e., object rigidity, we proposed a deep-learning based approach that generates stiffness-dependent grasps. Our network is trained on purely synthetic data generated from a physics-based simulator. The same simulator is also used to evaluate the trained network. The results show improvement in terms of grasp ranking and grasp success rate. Furthermore, our network can adapt the grasps based on the stiffness. We are currently validating the proposed approach on a larger test dataset in simulation and on a physical robot.


title: Critical properties of quantum three- and four-state Potts models with boundaries polarized along the transverse field

abstract: By computing the low-lying energy excitation spectra with the density matrix renormalization group algorithm we show that boundaries polarized in the direction of the transverse field lead to scale-invariant conformal towers of states at the critical point of the quantum four-state Potts model - a special symmetric case of the Ashkin-Teller model. Furthermore, by direct comparison of the excitation spectra we phenomenologically establish the duality between the transverse-polarized and three-state-mixed boundary conditions at the four-state Potts critical point. Finally, for completeness, we verify that in the quantum three-state Potts model the "new" boundary conditions dual to the mixed ones can be realized by polarizing edge spins along the transverse field.


title: Parametric estimation for functional autoregressive processes on the sphere

abstract: The aim of this paper is to define a nonlinear least squares estimator for the spectral parameters of a spherical autoregressive process of order 1 in a parametric setting. Furthermore, we investigate on its asymptotic properties, such as weak consistency and asymptotic normality.


title: Uniformly Based Cuntz semigroups and approximate intertwinings

abstract: We study topological aspects of the category of abstract Cuntz semigroups, termed Cu. We provide a suitable setting in which we are able to uniformly control how to approach an element of a Cu-semigroup by a rapidly increasing sequence. This approximation induces a semimetric on the set of Cu-morphisms, generalizing Cu-metrics that had been constructed in the past for some particular cases. Further, we develop an approximate intertwining theory for the category Cu. Finally, we give several applications such as the classification of unitary elements of any unital AF-algebra by means of the functor Cu.


title: Analysing Cyberbullying using Natural Language Processing by Understanding Jargon in Social Media

abstract: Cyberbullying is of extreme prevalence today. Online-hate comments, toxicity, cyberbullying amongst children and other vulnerable groups are only growing over online classes, and increased access to social platforms, especially post COVID-19. It is paramount to detect and ensure minors' safety across social platforms so that any violence or hate-crime is automatically detected and strict action is taken against it. In our work, we explore binary classification by using a combination of datasets from various social media platforms that cover a wide range of cyberbullying such as sexism, racism, abusive, and hate-speech. We experiment through multiple models such as Bi-LSTM, GloVe, state-of-the-art models like BERT, and apply a unique preprocessing technique by introducing a slang-abusive corpus, achieving a higher precision in comparison to models without slang preprocessing.


title: Resolved nuclear kinematics link the formation and growth of nuclear star clusters with the evolution of their early and late-type hosts

abstract: We present parsec-scale kinematics of eleven nearby galactic nuclei, derived from adaptive-optics assisted integral-field spectroscopy at (near-infrared) CO band-head wavelengths. We focus our analysis on the balance between ordered rotation and random motions, which can provide insights into the dominant formation mechanism of nuclear star clusters (NSCs). We divide our target sample into late- and early-type galaxies, and discuss the nuclear kinematics of the two sub-samples, aiming at probing any link between NSC formation and host galaxy evolution. The results suggest that the dominant formation mechanism of NSCs is indeed affected by the different evolutionary paths of their hosts across the Hubble sequence. More specifically, nuclear regions in late-type galaxies are on average more rotation dominated, and the formation of nuclear stellar structures is potentially linked to the presence of gas funnelled to the center. Early-type galaxies, in contrast, tend to display slower-rotating NSCs with lower ellipticity. However, some exceptions suggest that in specific cases, early-type hosts can form NSCs in a way similar to spirals.


title: Gas Adsorption on Graphtriyne Membrane: Impact of the Induction Interaction Term on the Computational Cost

abstract: Graphynes are a family of porous carbon allotropes that are viewed as ideal 2D nanofilters. In this present work, the authors have modified the Improved Lennard-Jones (ILJ) semi-empirical potential used in the previous works by adding the induction term (iind) to define the full interaction. The evaluation of the computational cost was done comparing ILJ vs ILJ-iind and analyzing the adsorption of 1 gas (CO2) and a small mixture of gases containing CO2, N2 and H2O. The computational time of the different calculations is compared and possible improvements of the potential models are discussed.


title: Dedekind on Higher Congruences and Index Divisors, 1871 and 1878

abstract: Dedekind's theorem connecting ideal theory and polynomial congruences appears in all textbooks on algebraic number theory, but few books note its connection to the problem of ``common index divisors.'' As part of a project to study the history of this problem, we present an annotated translation of two of Dedekind's papers on the subject: a notice about the first publication of Dedekind's ideal theory in 1871 and a paper of 1878 giving proofs of the results announced in 1871 and giving a necessary and sufficient condition for the existence of common index divisors. A separate paper will analyze Hensel's 1894 paper containing the same theorem.


title: Local-global principles for homogeneous spaces of reductive groups over global function fields

abstract: Let $K$ be a global field of positive characteristic. We prove that the Brauer-Manin obstructions to the Hasse principle, to weak approximation and to strong approximation are the only ones for homogeneous spaces of reductive groups with reductive stabilizers. The methods involve abelianization techniques and arithmetic duality theorems for complexes of tori over K.


title: Momentum-space entanglement in scalar field theory on fuzzy spheres

abstract: Quantum field theory defined on a noncommutative space is a useful toy model of quantum gravity and is known to have several intriguing properties, such as nonlocality and UV/IR mixing. They suggest novel types of correlation among the degrees of freedom of different energy scales. In this paper, we investigate such correlations by the use of entanglement entropy in the momentum space. We explicitly evaluate the entanglement entropy of scalar field theory on a fuzzy sphere and find that it exhibits different behaviors from that on the usual continuous sphere. We argue that these differences would originate in different characteristics; non-planar contributions and matrix regularization. It is also found that the mutual information between the low and the high momentum modes shows different scaling behaviors when the effect of a cutoff becomes important.


title: Dynamic Cat Swarm Optimization Algorithm for Backboard Wiring Problem

abstract: This paper presents a powerful swarm intelligence meta-heuristic optimization algorithm called Dynamic Cat Swarm Optimization. The formulation is through modifying the existing Cat Swarm Optimization. The original Cat Swarm Optimization suffers from the shortcoming of 'premature convergence', which is the possibility of entrapment in local optima which usually happens due to the off-balance between exploration and exploitation phases. Therefore, the proposed algorithm suggests a new method to provide a proper balance between these phases by modifying the selection scheme and the seeking mode of the algorithm. To evaluate the performance of the proposed algorithm, 23 classical test functions, 10 modern test functions (CEC 2019) and a real world scenario are used. In addition, the Dimension-wise diversity metric is used to measure the percentage of the exploration and exploitation phases. The optimization results show the effectiveness of the proposed algorithm, which ranks first compared to several well-known algorithms available in the literature. Furthermore, statistical methods and graphs are also used to further confirm the outperformance of the algorithm. Finally, the conclusion as well as future directions to further improve the algorithm are discussed.


title: MEGEX: Data-Free Model Extraction Attack against Gradient-Based Explainable AI

abstract: The advance of explainable artificial intelligence, which provides reasons for its predictions, is expected to accelerate the use of deep neural networks in the real world like Machine Learning as a Service (MLaaS) that returns predictions on queried data with the trained model. Deep neural networks deployed in MLaaS face the threat of model extraction attacks. A model extraction attack is an attack to violate intellectual property and privacy in which an adversary steals trained models in a cloud using only their predictions. In particular, a data-free model extraction attack has been proposed recently and is more critical. In this attack, an adversary uses a generative model instead of preparing input data. The feasibility of this attack, however, needs to be studied since it requires more queries than that with surrogate datasets. In this paper, we propose MEGEX, a data-free model extraction attack against a gradient-based explainable AI. In this method, an adversary uses the explanations to train the generative model and reduces the number of queries to steal the model. Our experiments show that our proposed method reconstructs high-accuracy models -- 0.97$\times$ and 0.98$\times$ the victim model accuracy on SVHN and CIFAR-10 datasets given 2M and 20M queries, respectively. This implies that there is a trade-off between the interpretability of models and the difficulty of stealing them.


title: Sensitivity studies for the IceCube-Gen2 radio array

abstract: The IceCube Neutrino Observatory at the South Pole has measured the diffuse astrophysical neutrino flux up to ~PeV energies and is starting to identify first point source candidates. The next generation facility, IceCube-Gen2, aims at extending the accessible energy range to EeV in order to measure the continuation of the astrophysical spectrum, to identify neutrino sources, and to search for a cosmogenic neutrino flux. As part of IceCube-Gen2, a radio array is foreseen that is sensitive to detect Askaryan emission of neutrinos beyond ~30 PeV. Surface and deep antenna stations have different benefits in terms of effective area, resolution, and the capability to reject backgrounds from cosmic-ray air showers and may be combined to reach the best sensitivity. The optimal detector configuration is still to be identified. This contribution presents the full-array simulation efforts for a combination of deep and surface antennas, and compares different design options with respect to their sensitivity to fulfill the science goals of IceCube-Gen2.


title: Uniform negative immersions and the coherence of one-relator groups

abstract: Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator groups with negative immersions are coherent, answering a question of Baumslag in this case. Other strong constraints on the finitely generated subgroups also follow such as, for example, the co-Hopf property. The main new theorem strengthens negative immersions to uniform negative immersions, using a rationality theorem proved with linear-programming techniques.


title: Generalized Outer Bounds on the Finite Geometric Sum of Ellipsoids

abstract: General results on convex bodies are reviewed and used to derive an exact closed-form parametric formula for the boundary of the geometric (Minkowski) sum of $k$ ellipsoids in $n$-dimensional Euclidean space. Previously this was done through iterative algorithms in which each new ellipsoid was added to an ellipsoid approximation of the sum of the previous ellipsoids. Here we provide one shot formulas to add $k$ ellipsoids directly with no intermediate approximations required. This allows us to observe a new degree of freedom in the family of ellipsoidal bounds on the geometric sum. We demonstrate an application of these tools to compute the reachable set of a discrete-time dynamical system.


title: Sobolev $\frac{1}{2}$ estimates for $\overline{\partial}$ equations on strictly pseudoconvex domains with $C^2$ boundary

abstract: We construct a solution operator for $\overline{\partial}$ equation that gains $\frac{1}{2}$ derivative in the fractional Sobolev space $H^{s,p}$ on bounded strictly pseudoconvex domains in $\mathbb{C}^n$ with $C^2$ boundary, for all $1 < p < \infty$ and $ s > \frac{1}{p}$.


title: Semigroup property of fractional differential operators and its applications

abstract: We establish partial semigroup property of Riemann-Liouville and Caputo fractional differential operators. Using this result we prove theorems on reduction of multi-term fractional differential systems to single-term and multi-order systems, and prove existence and uniqueness of solution to multi-term Caputo fractional differential systems


title: Damped Dirac magnon in a metallic kagome antiferromagnet FeSn

abstract: The kagome lattice is a fertile platform to explore topological excitations with both Fermi-Dirac and Bose-Einstein statistics. While relativistic Dirac Fermions and flat-bands have been discovered in the electronic structure of kagome metals, the spin excitations have received less attention. Here we report inelastic neutron scattering studies of the prototypical kagome magnetic metal FeSn. The spectra display well-defined spin waves extending up to 120 meV. Above this energy, the spin waves become progressively broadened, reflecting interactions with the Stoner continuum. Using linear spin wave theory, we determine an effective spin Hamiltonian that reproduces the measured dispersion. This analysis indicates that the Dirac magnon at the K-point remarkably occurs on the brink of a region where well-defined spin waves become unobservable. Our results emphasize the influential role of itinerant carriers on the topological spin excitations of metallic kagome magnets.


title: Diagnosing the cosmic coincidence problem and its evolution with recent observations

abstract: In the framework of a phenomenological cosmological model with the assumption of $\rho_{X} \propto \rho_{m} a^{\xi}$ ($\rho_{X}$ and $\rho_{m} $ are the energy densities of dark energy and matter, respectively.), we intend to diagnose the cosmic coincidence problem by using the recent samples of Type Ia supernovae (SNe Ia), baryon acoustic oscillation (BAO) and cosmic microwave background (CMB). $\xi$ is a key parameter to characterize the severity of the coincidence problem, wherein $\xi=3$ and $0$ correspond to the $\Lambda$CDM scenario and the self-similar solution without the coincidence problem, respectively. The case of $\xi = Constant$ has been investigated in the previous studies, while we further consider the case of $\xi(z) = \xi_{0} + \xi_{z}*\frac{z}{1+z}$ to explore the possible evolution. A joint analysis of the Pantheon SNe Ia sample with the recent BAO and CMB data figures out that $\xi=3.28\pm0.15$ in the case of $\xi = Constant$ at $68\%$ confidence level (CL), in addition, $\xi_{0} = 2.78_{-1.01}^{+0.28}$ and $\xi_{z} = 0.93_{-0.91}^{+1.56}$ in the case of $\xi(z)$ at $68\%$ CL. It implies that the temporal evolution of the scaling parameter $\xi$ is accepted by the joint sample at $68\%$ CL; however, the joint sample also cannot distinguish whether the scaling parameter $\xi$ is variable or not at 95\% CL. Moreover, the $\Lambda$CDM scenario is accepted by the joint sample at $95\%$ CL in both cases, and the coincidence problem still exists. In addition, we apply the Bayesian evidence to compare the models with the analysis of the joint sample, it turns out that the $\Lambda$CDM scenario is most supported by the joint sample; furthermore, the joint sample prefers the scenario with a constant $\xi$ to the one with a variable $\xi(z)$.


title: Integrated shape-sensitive functional metrics

abstract: This paper develops a new integrated ball (pseudo)metric which provides an intermediary between a chosen starting (pseudo)metric d and the L_p distance in general function spaces. Selecting d as the Hausdorff or Fr\'echet distances, we introduce integrated shape-sensitive versions of these supremum-based metrics. The new metrics allow for finer analyses in functional settings, not attainable applying the non-integrated versions directly. Moreover, convergent discrete approximations make computations feasible in practice.