title: A relationship between multiple conjugation quandle/biquandle colorings

abstract: We define a functor $\mathcal{Q}$ from the category of multiple conjugation biquandles to that of multiple conjugation quandles. We show that for any multiple conjugation biquandle $X$, there is a one-to-one correspondence between the set of $X$-colorings and that of $\mathcal{Q}(X)$-colorings diagrammatically for any handlebody-link and spatial trivalent graph. In particular, we prove that the set of $G$-family of Alexander biquandles colorings is isomorphic to that of $G$-family of Alexander quandles colorings as modules.


title: Pointed Closed Convex Sets are the Intersection of All Rational Supporting Closed Halfspaces

abstract: We prove that every pointed closed convex set in $\mathbb{R}^n$ is the intersection of all the rational closed halfspaces that contain it. This generalizes a previous result by the authors for compact convex sets.


title: Updating Dynamic Random Hyperbolic Graphs in Sublinear Time

abstract: Generative network models play an important role in algorithm development, scaling studies, network analysis, and realistic system benchmarks for graph data sets. A complex network model gaining considerable popularity builds random hyperbolic graphs, generated by distributing points within a disk in the hyperbolic plane and then adding edges between points with a probability depending on their hyperbolic distance. We present a dynamic extension to model gradual network change, while preserving at each step the point position probabilities. To process the dynamic changes efficiently, we formalize the concept of a probabilistic neighborhood: Let $P$ be a set of $n$ points in Euclidean or hyperbolic space, $q$ a query point, $\operatorname{dist}$ a distance metric, and $f : \mathbb{R}^+ \rightarrow [0,1]$ a monotonically decreasing function. Then, the probabilistic neighborhood $N(q, f)$ of $q$ with respect to $f$ is a random subset of $P$ and each point $p \in P$ belongs to $N(q,f)$ with probability $f(\operatorname{dist}(p,q))$. We present a fast, sublinear-time query algorithm to sample probabilistic neighborhoods from planar point sets. For certain distributions of planar $P$, we prove that our algorithm answers a query in $O((|N(q,f)| + \sqrt{n})\log n)$ time with high probability. This enables us to process a node movement in random hyperbolic graphs in sublinear time, resulting in a speedup of about one order of magnitude in practice compared to the fastest previous approach. Apart from that, our query algorithm is also applicable to Euclidean geometry, making it of independent interest for other sampling or probabilistic spreading scenarios.


title: A Hierarchical A-Posteriori Error Estimatorfor the Reduced Basis Method

abstract: In this contribution we are concerned with tight a posteriori error estimation for projection based model order reduction of $\inf$-$\sup$ stable parameterized variational problems. In particular, we consider the Reduced Basis Method in a Petrov-Galerkin framework, where the reduced approximation spaces are constructed by the (weak) Greedy algorithm. We propose and analyze a hierarchical a posteriori error estimator which evaluates the difference of two reduced approximations of different accuracy. Based on the a priori error analysis of the (weak) Greedy algorithm, it is expected that the hierarchical error estimator is sharp with efficiency index close to one, if the Kolmogorov N-with decays fast for the underlying problem and if a suitable saturation assumption for the reduced approximation is satisfied. We investigate the tightness of the hierarchical a posteriori estimator both from a theoretical and numerical perspective. For the respective approximation with higher accuracy we study and compare basis enrichment of Lagrange- and Taylor-type reduced bases. Numerical experiments indicate the efficiency for both, the construction of a reduced basis using the hierarchical error estimator in a weak Greedy algorithm, and for tight online certification of reduced approximations. This is particularly relevant in cases where the $\inf$-$\sup$ constant may become small depending on the parameter. In such cases a standard residual-based error estimator -- complemented by the successive constrained method to compute a lower bound of the parameter dependent $\inf$-$\sup$ constant -- may become infeasible.


title: Modular Cauchy kernel corresponding to the Hecke curve

abstract: In this paper we construct the modular Cauchy kernel $\Xi_N(z_1, z_2)$, i.e. the modular invariant function of two variables, $(z_1, z_2) \in \mathbb{H} \times \mathbb{H}$, with the first order pole on the curve $$D_N=\left\{(z_1, z_2) \in \mathbb{H} \times \mathbb{H}|~ z_2=\gamma z_1, ~\gamma \in \Gamma_0(N) \right\}.$$ The function $\Xi_N(z_1, z_2)$ is used in two cases and for two different purposes. Firstly, we prove generalization of the Zagier theorem ([La], [Za3]) for the Hecke subgroups $\Gamma_0(N)$ of genus $g>0$. Namely, we obtain a kind of "kernel function" for the Hecke operator $T_N(m)$ on the space of the weight 2 cusp forms for $\Gamma_0(N)$, which is the analogue of the Zagier series $\omega_{m, N}(z_1,\bar{z_2}, 2)$. Secondly, we consider an elementary proof of the formula for the infinite Borcherds product of the difference of two normalized Hauptmoduls, $J_{\Gamma_0(N)}(z_1)-J_{\Gamma_0(N)}(z_2)$, for genus zero congruence subgroup $\Gamma_0(N)$.


title: Bayesian inference for bivariate ranks

abstract: A recommender system based on ranks is proposed, where an expert's ranking of a set of objects and a user's ranking of a subset of those objects are combined to make a prediction of the user's ranking of all objects. The rankings are assumed to be induced by latent continuous variables corresponding to the grades assigned by the expert and the user to the objects. The dependence between the expert and user grades is modelled by a copula in some parametric family. Given a prior distribution on the copula parameter, the user's complete ranking is predicted by the mode of the posterior predictive distribution of the user's complete ranking conditional on the expert's complete and the user's incomplete rankings. Various Markov chain Monte-Carlo algorithms are proposed to approximate the predictive distribution or only its mode. The predictive distribution can be obtained exactly for the Farlie-Gumbel-Morgenstern copula family, providing a benchmark for the approximation accuracy of the algorithms. The method is applied to the MovieLens 100k dataset with a Gaussian copula modelling dependence between the expert's and user's grades.


title: Peregrine's system revisited

abstract: In 1967 D. H. Peregrine proposed a Boussinesq-type model for long waves in shallow waters of varying depth. This prominent paper turned a new leaf in coastal hydrodynamics along with contributions by F. Serre, A. E. Green \& P. M. Naghdi and many others since then. Several modern Boussinesq-type systems stem from these pioneering works. In the present work we revise the long wave model traditionally referred to as the Peregrine system. Namely, we propose a modification of the governing equations which is asymptotically similar to the initial model for weakly nonlinear waves, while preserving an additional symmetry of the complete water wave problem. This modification procedure is called the invariantization. We show that the improved system has well conditioned dispersive terms in the swash zone, hence allowing for efficient and stable run-up computations.

categories: physics.flu-dyn math.AP math.NA physics.ao-ph physics.class-ph


title: Compactness and lower semicontinuity in $GSBD$

abstract: In this paper, we prove a compactness and semicontinuity result in $GSBD$ for sequences with bounded Griffith energy. This generalises classical results in $(G)SBV$ by Ambrosio and $SBD$ by Bellettini-Coscia-Dal Maso. As a result, the static problem in Francfort-Marigo's variational approach to crack growth admits (weak) solutions. Moreover, we obtain a compactness property for minimisers of suitable Ambrosio-Tortorelli's type energies, for which we have recently shown the $\Gamma$-convergence to Griffith energy.


title: Multiple points of operator semistable L\'evy processes

abstract: We determine the Hausdorff dimension of $k$-multiple points for a symmetric operator semistable L\'evy process $X=\{X(t), t\in\mathbb{R}_+\}$ in terms of the eigenvalues of its stability exponent. We also give a necessary and sufficient condition for the existence of $k$-multiple points. Our results extend to all $k\geq2$ the recent work [23], where the set of double points $(k = 2)$ was studied in the symmetric operator stable case.


title: A Lefschetz fibration on minimal symplectic fillings of a quotient surface singularity

abstract: In this article, we construct a genus-$0$ or genus-$1$ positive allowable Lefschetz fibration on any minimal symplectic filling of the link of non-cyclic quotient surface singularities. As a byproduct, we also show that any minimal symplectic filling of the link of quotient surface singularities can be obtained from a sequence of rational blowdowns from its minimal resolution.


title: Maps on probability measures preserving certain distances --- a survey and some new results

abstract: Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are interested in the description of the structure of the isometries of such metric spaces. We overview some of the recent results of the topic and we also provide some new ones concerning the Wasserstein distance. More specifically, we consider the space of all Borel probability measures on the unit sphere of a Euclidean space endowed with the Wasserstein metric $W_p$ for arbitrary $p \geq 1,$ and we show that the action of a Wasserstein isometry on the set of the Dirac measures is induced by an isometry of the underlying unit sphere.


title: On the Potential Observation of False Deviations from General Relativity in Gravitational Wave Observations from Binary Black Holes

abstract: Detections of gravitational waves emitted by binary black holes allow for tests of General Relativity in the strong-field regime. In particular, deviations from General Relativity can be observed by comparing incoming signals to waveform templates that include parametrized deviations from General Relativity. However, it is essential that the General Relativity sector of these templates accounts for all predictable physics. Otherwise, missing physics might be mimicked by the "beyond General Relativity" sector of the templates, leading the analysis to report apparent deviations from General Relativity. Current parametrized tests implement templates that omit physical phenomena such as orbital eccentricity and higher-order modes. In this paper, we show how the omission of higher modes can lead to false deviations from General Relativity when these effects are strong enough. We study the extent of these deviations as a function of the mass ratio and the orbital orientation. We find that significant false deviations can arise when current tests are performed on signals emitted by asymmetric binaries whose orbital angular momentum is orthogonal to the line-of-sight. We estimate that the Advanced LIGO-Virgo network operating at its design sensitivity can observe false violations with a significance above $5 \sigma$ as often as once per year. Similar results are expected for other tests of General Relativity that use modified waveform models. Hence, we stress the necessity of accurate waveform models that include physical effects such as higher-order modes to trust future tests of General Relativity.


title: Charge transport and electron-hole asymmetry in low-mobility graphene/hexagonal boron nitride heterostructures

abstract: Graphene/hexagonal boron nitride (G/$h$-BN) heterostructures offer an excellent platform for developing nanoelectronic devices and for exploring correlated states in graphene under modulation by a periodic superlattice potential. Here, we report on transport measurements of nearly $0^{\circ}$-twisted G/$h$-BN heterostructures. The heterostructures investigated are prepared by dry transfer and thermally annealing processes and are in the low mobility regime (approximately $3000~\mathrm{cm}^{2}\mathrm{V}^{-1}\mathrm{s}^{-1}$ at 1.9 K). The replica Dirac spectra and Hofstadter butterfly spectra are observed on the hole transport side, but not on the electron transport side, of the heterostructures. We associate the observed electron-hole asymmetry to the presences of a large difference between the opened gaps in the conduction and valence bands and a strong enhancement in the interband contribution to the conductivity on the electron transport side in the low-mobility G/$h$-BN heterostructures. We also show that the gaps opened at the central Dirac point and the hole-branch secondary Dirac point are large, suggesting the presence of strong graphene-substrate interaction and electron-electron interaction in our G/$h$-BN heterostructures. Our results provide additional helpful insight into the transport mechanism in G/$h$-BN heterostructures.


title: The Power of Linear Recurrent Neural Networks

abstract: Recurrent neural networks are a powerful means to cope with time series. We show how autoregressive linear, i.e., linearly activated recurrent neural networks (LRNNs) can approximate any time-dependent function f(t). The approximation can effectively be learned by simply solving a linear equation system; no backpropagation or similar methods are needed. Furthermore, and this is the main contribution of this article, the size of an LRNN can be reduced significantly in one step after inspecting the spectrum of the network transition matrix, i.e., its eigenvalues, by taking only the most relevant components. Therefore, in contrast to other approaches, we do not only learn network weights but also the network architecture. LRNNs have interesting properties: They end up in ellipse trajectories in the long run and allow the prediction of further values and compact representations of functions. We demonstrate this by several experiments, among them multiple superimposed oscillators (MSO), robotic soccer (RoboCup), and stock price prediction. LRNNs outperform the previous state-of-the-art for the MSO task with a minimal number of units.


title: Gender Disparities in Nobel Prize Winning Labs. A Look into Glass Ceilings, Maternal Walls and Bottlenecks

abstract: In this study, headcounts of all personnel in Nobel Prize-winning labs were collected and sorted by gender. These results are used to determine gender representation of graduate students in elite institutions on the pipeline towards higher academic positions. Larger gender disparities are seen in physics and physical chemistry labs and are reduced in biologically focused labs. These differences are greater in Nobel Prize-winning institutions when compared to the USA and EU averages. The gender bias in hiring during the transition between postdoctoral fellow and junior faculty seems to be the bottleneck for women; exacerbated by family formation. Women who surpass this hurdle achieve tenure at the same rate and do not perform any worse than men in such fields. Reduced participation in mathematically intensive fields can also be traced to propensities of girls preferences to deviate from them as early as kindergarten. As such, gender disparity may not be due to recalcitrant pernicious attitudes of individuals towards women. Accumulated advantages such as societal expectation, asymmetric teaching efforts and acceptance of men to enter certain fields, over decades, may put men in more favourable positions while competing for placement in prestigious labs. However, these factors are sensitive to cultural shifts and show generational effects indicating the possibility of equality facilitated by sociocultural shifts in expectation for young women.


title: FPGA Implementation of ECG feature extraction using Time domain analysis

abstract: An electrocardiogram (ECG) feature extraction system has been developed and evaluated using Virtex-6 FPGA kit which belongs to Xilinx Ltd. In time domain, Pan-Tompkins algorithm is used for QRS detection and it is followed by a feature extractor block to extract ECG features. This whole system can be used to detect cardiac arrhythmia. The completed algorithm was implemented on Virtex-6(XC6VLX240-T) device and tested using hardware co-simulation in Modelsim and simulink environment. The software generated ECG signals are obtained from MIT-BIH arrhythmia Database [1]. The memory and time complexities of the implemented design were recorded and feature extraction has been done. We have achieved satisfactory results which is mainly due to parallel implementation. Therefore accurate arrhythmia detection using hardware implementation a viable approach.


title: Terminologies for Reproducible Research

abstract: Reproducible research---by its many names---has come to be regarded as a key concern across disciplines and stakeholder groups. Funding agencies and journals, professional societies and even mass media are paying attention, often focusing on the so-called "crisis" of reproducibility. One big problem keeps coming up among those seeking to tackle the issue: different groups are using terminologies in utter contradiction with each other. Looking at a broad sample of publications in different fields, we can classify their terminology via decision tree: they either, A---make no distinction between the words reproduce and replicate, or B---use them distinctly. If B, then they are commonly divided in two camps. In a spectrum of concerns that starts at a minimum standard of "same data+same methods=same results," to "new data and/or new methods in an independent study=same findings," group 1 calls the minimum standard reproduce, while group 2 calls it replicate. This direct swap of the two terms aggravates an already weighty issue. By attempting to inventory the terminologies across disciplines, I hope that some patterns will emerge to help us resolve the contradictions.


title: Semi-analytical computation of Laplacian Green functions in three-dimensional domains with disconnected spherical boundaries

abstract: We apply the generalized method of separation of variables (GMSV) to solve boundary value problems for the Laplace operator in three-dimensional domains with disconnected spherical boundaries (i.e., an arbitrary configuration of non-overlapping partially reactive spherical sinks or obstacles). We consider both exterior and interior problems and all most common boundary conditions: Dirichlet, Neumann, Robin, and conjugate one. Using the translational addition theorems for solid harmonics to switch between the local spherical coordinates, we obtain a semi-analytical expression of the Green function as a linear combination of partial solutions whose coefficients are fixed by boundary conditions. Although the numerical computation of the coefficients involves series truncation and matrix inversion, the use of the solid harmonics as basis functions naturally adapted to the intrinsic symmetries of the problem makes the GMSV particularly efficient, especially for exterior problems. The obtained Green function is the key ingredient to solve boundary value problems and to determine various characteristics of stationary diffusion such as reaction rate, escape probability, harmonic measure, residence time, and mean first passage time, to name but a few. The relevant aspects of the numerical implementation and potential applications in chemical physics, heat transfer, electrostatics, and hydrodynamics are discussed.


title: Of Mites and Men: Johannes Kepler on Stars and Size

abstract: In his 1606 De Stella Nova, Johannes Kepler attempted to answer Tycho Brahe's argument that the Copernican heliocentric hypothesis required all the fixed stars to dwarf the Sun, something Brahe found to be a great drawback of that hypothesis. This paper includes a translation into English of Chapter 16 of De Stella Nova, in which Kepler discusses this argument, along with brief outlines of both Tycho's argument and Kepler's answer (which references snakes, mites, men, and divine power, among other things).


title: Luminescence of BaBrI and SrBrI single crystals doped with Eu2+

abstract: The crystal growth procedure and luminescence properties of pure and Eu$^{2+}$-doped BaBrI and SrBrI crystals are reported. Emission and excitation spectra were recorded under ultraviolet and vacuum ultraviolet excitations. The energy of the first Eu$^{2+}$ 4f-5d transition and SrBrI band gap are obtained. The electronic structure calculations were performed within GW approximation as implemented in the Vienna Ab Initio Simulation Package. The energy between lowest Eu$^{2+}$ 5d state and the bottom of conduction band are found based on luminescence quenching parameters. The vacuum referred binding energy diagram of lanthanide levels was constructed using the chemical shift model.


title: BKT universality class in the presence of correlated disorder

abstract: The correct detection of the Berezinskii-Kosterlitz-Thouless (BKT) transition in quasi-two-dimensional superconductors still remains a controversial issue. Its main signatures, indeed, are often at odds with the theoretical expectations. In a recent work\cite{me} we have shown that the presence of spatially correlated disorder plays a key role in this sense being it the reason underlying the experimentally-observed smearing of the universal superfluid-density jump. In the present paper, we closely investigate the effects of correlated disorder on the BKT transition, addressing specifically the issue whether it changes or not the BKT universality class.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: Parallelizing Workload Execution in Embedded and High-Performance Heterogeneous Systems

abstract: In this paper, we introduce a software-defined framework that enables the parallel utilization of all the programmable processing resources available in heterogeneous system-on-chip (SoC) including FPGA-based hardware accelerators and programmable CPUs. Two platforms with different architectures are considered, and a single C/C++ source code is used in both of them for the CPU and FPGA resources. Instead of simply using the hardware accelerator to offload a task from the CPU, we propose a scheduler that dynamically distributes the tasks among all the resources to fully exploit all computing devices while minimizing load unbalance. The multi-architecture study compares an ARMV7 and ARMV8 implementation with different number and type of CPU cores and also different FPGA micro-architecture and size. We measure that both platforms benefit from having the CPU cores assist FPGA execution at the same level of energy requirements.


title: $p$-adic vanishing cycles as Frobenius-fixed points

abstract: Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.


title: Nature vs. Nurture: The Role of Environmental Resources in Evolutionary Deep Intelligence

abstract: Evolutionary deep intelligence synthesizes highly efficient deep neural networks architectures over successive generations. Inspired by the nature versus nurture debate, we propose a study to examine the role of external factors on the network synthesis process by varying the availability of simulated environmental resources. Experimental results were obtained for networks synthesized via asexual evolutionary synthesis (1-parent) and sexual evolutionary synthesis (2-parent, 3-parent, and 5-parent) using a 10% subset of the MNIST dataset. Results show that a lower environmental factor model resulted in a more gradual loss in performance accuracy and decrease in storage size. This potentially allows significantly reduced storage size with minimal to no drop in performance accuracy, and the best networks were synthesized using the lowest environmental factor models.


title: Predicting Audio Advertisement Quality

abstract: Online audio advertising is a particular form of advertising used abundantly in online music streaming services. In these platforms, which tend to host tens of thousands of unique audio advertisements (ads), providing high quality ads ensures a better user experience and results in longer user engagement. Therefore, the automatic assessment of these ads is an important step toward audio ads ranking and better audio ads creation. In this paper we propose one way to measure the quality of the audio ads using a proxy metric called Long Click Rate (LCR), which is defined by the amount of time a user engages with the follow-up display ad (that is shown while the audio ad is playing) divided by the impressions. We later focus on predicting the audio ad quality using only acoustic features such as harmony, rhythm, and timbre of the audio, extracted from the raw waveform. We discuss how the characteristics of the sound can be connected to concepts such as the clarity of the audio ad message, its trustworthiness, etc. Finally, we propose a new deep learning model for audio ad quality prediction, which outperforms the other discussed models trained on hand-crafted features. To the best of our knowledge, this is the first large-scale audio ad quality prediction study.


title: Highly reproducible superconductivity in potassium-doped triphenylbismuth

abstract: Using a new two-step synthesis method - ultrasound treatment and low temperature annealing, we explore superconductivity in potassium-doped triphenylbismuth, which is composed of one bismuth atom and three phenyl rings. The combination of dc and ac magnetic measurements reveals that one hundred percent of synthesized samples exhibit superconductivity at 3.5 K and/or 7.2 K at ambient pressure. The magnetization hysteresis loops provide a strong evidence of type-II superconductor, with the upper critical magnetic field up to 1.0 Tesla. Both calculated electronic structure and measured Raman spectra indicate that superconductivity is realized by transferring electron from potassium to carbon atom. Our study opens an encouraging window for the search of organic superconductors in organometallic molecules.


title: Opacity of nondeterministic transition systems: A (bi)simulation relation approach

abstract: In this paper, we propose several opacity-preserving (bi)simulation relations for general nondeterministic transition systems (NTS) in terms of initial-state opacity, current-state opacity, K-step opacity, and infinite-step opacity. We also show how one can leverage quotient construction to compute such relations. In addition, we use a two-way observer method to verify opacity of nondeterministic finite transition systems (NFTSs). As a result, although the verification of opacity for infinite NTSs is generally undecidable, if one can find such an opacity-preserving relation from an infinite NTS to an NFTS, the (lack of) opacity of the NTS can be easily verified over the NFTS which is decidable.


title: Replica Approach for Minimal Investment Risk with Cost

abstract: In the present work, the optimal portfolio minimizing the investment risk with cost is discussed analytically, where this objective function is constructed in terms of two negative aspects of investment, the risk and cost. We note the mathematical similarity between the Hamiltonian in the mean-variance model and the Hamiltonians in the Hopfield model and the Sherrington{Kirkpatrick model and show that we can analyze this portfolio optimization problem by using replica analysis, and derive the minimal investment risk with cost and the investment concentration of the optimal portfolio. Furthermore, we validate our proposed method through numerical simulations.

categories: q-fin.PM cond-mat.dis-nn cond-mat.stat-mech math.OC q-fin.RM


title: Definable functions in tame expansions of algebraically closed valued fields

abstract: In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II), which hold locally for all but finitely many points in the domain of the function. In the first part of the article, we show type (I) and (II) results concerning factorizations of definable functions over the value group. As an application, we show that tame expansions of algebraically closed valued fields having value group $\mathbb{Q}$ (like $\mathbb{C}_p$ and $\overline{\mathbb{F}_p}^{alg}(\!(t^\mathbb{Q})\!)$) are polynomially bounded. In the second part, under an additional assumption on the asymptotic behavior of unary definable functions of the value group, we extend these factorizations over the residue multiplicative structure $\mathrm{RV}$. In characteristic 0, we obtain as a corollary that the domain of a definable function $f\colon X\subseteq K\to K$ can be partitioned into sets $F\cup E\cup J$, where $F$ is finite, $f|E$ is locally constant and $f|J$ satisfies locally the Jacobian property.


title: Dimension growth for iterated sumsets

abstract: We study dimensions of sumsets and iterated sumsets and provide natural conditions which guarantee that a set $F \subseteq \mathbb{R}$ satisfies $\overline{\dim}_\text{B} F+F > \overline{\dim}_\text{B} F$ or even $\dim_\text{H} n F \to 1$. Our results apply to, for example, all uniformly perfect sets, which include Ahlfors-David regular sets. Our proofs rely on Hochman's inverse theorem for entropy and the Assouad and lower dimensions play a critical role. We give several applications of our results including an Erd\H{o}s-Volkmann type theorem for semigroups and new lower bounds for the box dimensions of distance sets for sets with small dimension.


title: Generating and refining particle detector simulations using the Wasserstein distance in adversarial networks

abstract: We use adversarial network architectures together with the Wasserstein distance to generate or refine simulated detector data. The data reflect two-dimensional projections of spatially distributed signal patterns with a broad spectrum of applications. As an example, we use an observatory to detect cosmic ray-induced air showers with a ground-based array of particle detectors. First we investigate a method of generating detector patterns with variable signal strengths while constraining the primary particle energy. We then present a technique to refine simulated time traces of detectors to match corresponding data distributions. With this method we demonstrate that training a deep network with refined data-like signal traces leads to a more precise energy reconstruction of data events compared to training with the originally simulated traces.


title: Galactic center gamma-ray excess and the Fermi bubbles

abstract: Galactic center (GC) is expected to be the brightest source of possible dark matter (DM) annihilation signal. Excess gamma-ray emission has been detected by several groups. Both DM and more conventional astrophysical explanations of the excess have been proposed. In this report, we discuss possible effects of modeling the Fermi bubbles at low latitudes on the GC excess. We consider a template of the Fermi bubbles at low latitudes derived by assuming that the spectrum between 1 GeV and 10 GeV at low latitudes is the same as at high latitudes. We argue that the presence of the Fermi bubbles near the GC may have a significant influence on the spectrum of the GC excess, especially at energies above 10 GeV.


title: Shapes Characterization on Address Event Representation Using Histograms of Oriented Events and an Extended LBP Approach

abstract: Address Event Representation is a thriving technology that could change digital image processing paradigm. This paper proposes a methodology to characterize the shape of objects using the streaming of asynchronous events. A new descriptor that enhances spikes connectivity is associated with two oriented histogram based representations. This paper uses these features to develop both a non-supervised and a supervised multi-classification framework to recognize poker symbols from the Poker-DVS public dataset. The aforementioned framework, which uses a very limited number of events and a simple class modeling, yields results that challenge more sophisticated methodologies proposed by the state of the art. A feature family based on context shapes is applied to the more challenging 2015 Poker-DVS dataset with a supervised classifier obtaining an accuracy of 98.5 %. The system is also applied to the MNIST-DVS dataset yielding an accuracy of 94.6 % and 96.3 % on digit recognition, for scales 4 and 8 respectively.


title: Dust modeling of the combined ALMA and SPHERE datasets of HD163296. Is HD163296 really a Meeus group II disk?

abstract: Context. Multi-wavelength observations are indispensable in studying disk geometry and dust evolution processes in protoplanetary disks. Aims. We aimed to construct a 3-dimensional model of HD 163296 capable of reproducing simultaneously new observations of the disk surface in scattered light with the SPHERE instrument and thermal emission continuum observations of the disk midplane with ALMA. We want to determine why the SED of HD 163296 is intermediary between the otherwise well-separated group I and group II Herbig stars. Methods. The disk was modelled using the Monte Carlo radiative transfer code MCMax3D. The radial dust surface density profile was modelled after the ALMA observations, while the polarized scattered light observations were used to constrain the inclination of the inner disk component and turbulence and grain growth in the outer disk. Results. While three rings are observed in the disk midplane in millimeter thermal emission at $\sim$80, 124 and 200 AU, only the innermost of these is observed in polarized scattered light, indicating a lack of small dust grains on the surface of the outer disk. We provide two models capable of explaining this difference. The first model uses increased settling in the outer disk as a mechanism to bring the small dust grains on the surface of the disk closer to the midplane, and into the shadow cast by the first ring. The second model uses depletion of the smallest dust grains in the outer disk as a mechanism for decreasing the optical depth at optical and NIR wavelengths. In the region outside the fragmentation-dominated regime, such depletion is expected from state-of-the-art dust evolution models. We studied the effect of creating an artificial inner cavity in our models, and conclude that HD 163296 might be a precursor to typical group I sources.


title: Device-to-Device Communications in the Millimeter Wave Band: A Novel Distributed Mechanism

abstract: In spite of its potential advantages, the large-scale implementation of the device-to-device (D2D) communications has yet to be realized, mainly due to severe interference and lack of enough bandwidth in the microwave ($\mu$W) band. Recently, exploiting the millimeter wave (mmW) band for D2D communications has attracted considerable attention as a potential solution to these challenges. However, its severe sensitivity to blockage along with its directional nature make the utilization of the mmW band a challenging task as it requires line-of-sight (LOS) link detection and careful beam alignment between the D2D transceivers. In this paper, we propose a novel distributed mechanism which enables the D2D devices to discover unblocked LOS links for the mmW band communication. Moreover, as such LOS links are not always available, the proposed mechanism allows the D2D devices to switch to the $\mu$W band if necessary. In addition, the proposed mechanism detects the direction of the LOS links to perform the beam alignment. We have used tools from stochastic geometry to evaluate the performance of the proposed mechanism in terms of the signal-to-interference-plus-noise ratio (SINR) coverage probability. The performance of the proposed algorithm is then compared to the one of the single band (i.e., $\mu$W/mmW) communication. The simulation results show that the proposed mechanism considerably outperforms the single band communication.


title: Non-Hermitian noncommutative quantum mechanics

abstract: In this work we present a general formalism to treat non-Hermitian and noncommutative Hamiltonians. This is done employing the phase-space formalism of quantum mechanics, which allows to write a set of robust maps connecting the Hamitonians and the associated Wigner functions to the different Hilbert space structures, namely, those describing the non-Hermitian and noncommutative, Hermitian and noncommutative, and Hermitian and commutative systems. A general recipe is provided to obtain the expected values of the more general Hamiltonian. Finally, we apply our method to the harmonic oscillator under linear amplification and discuss the implications of both non-Hermitian and noncommutative effects.


title: Asymptotically hyperbolic extensions and an analogue of the Bartnik mass

abstract: The Bartnik mass is a quasi-local mass tailored to asymptotically flat Riemannian manifolds with non-negative scalar curvature. From the perspective of general relativity, these model time-symmetric domains obeying the dominant energy condition without a cosmological constant. There is a natural analogue of the Bartnik mass for asymptotically hyperbolic Riemannian manifolds with a negative lower bound on scalar curvature which model time-symmetric domains obeying the dominant energy condition in the presence of a negative cosmological constant. Following the ideas of Mantoulidis and Schoen [2016], of Miao and Xie [2016], and of joint work of Miao and the authors [2017], we construct asymptotically hyperbolic extensions of minimal and constant mean curvature (CMC) Bartnik data while controlling the total mass of the extensions. We establish that for minimal surfaces satisfying a stability condition, the Bartnik mass is bounded above by the conjectured lower bound coming from the asymptotically hyperbolic Riemannian Penrose inequality. We also obtain estimates for such a hyperbolic Bartnik mass of CMC surfaces with positive Gaussian curvature.


title: Supersymmetric solutions of the cosmological, gauged, C magic model

abstract: We construct supersymmetric solutions of theories of gauged $\mathcal{N}=1,d=5$ supergravity coupled to vector multiplets with a $\mathrm{U}(1)_{\rm R}$ Abelian (Fayet-Iliopoulos) gauging and an independent SU$(2)$ gauging associated to an $\mathrm{SU}(2)$ isometry group of the Real Special scalar manifold. These theories provide minimal supersymmetrizations of 5-dimensional SU$(2)$ Einstein-Yang-Mills theories with negative cosmological constant. We consider a minimal model with these gauge groups and the "magic model" based on the Jordan algebra $\bf{J}_{3}^\mathbb{C}$ with gauge group $\mathrm{SU}(3)\times\mathrm{U}(1)_{\rm R}$, which is a consistent truncation of maximal $\mathrm{SO}(6)$-gauged supergravity in $d=5$ and whose solutions can be embedded in Type IIB Superstring Theory. We find several solutions containing selfdual $\mathrm{SU}(2)$ instantons, some of which asymptote to AdS$_{5}$ and some of which are very small, supersymmetric, deformations of AdS$_{5}$. We also show how some of those solutions can be embedded in Romans' $\mathrm{SU}(2)\times\mathrm{U}(1)$-gauged half-maximal supergravity, which was obtained by Lu, Pope and Tran by compactification of the Type IIB Superstring effective action. This provides another way of uplifting those solutions to 10 dimensions.


title: Perihelion precession in binary systems: higher order corrections

abstract: Higher order corrections (up to n-th order) are obtained for the perihelion precession in binary systems like OJ287 using the Schwarzschild metric and complex integration. The corrections are performed considering the third root of the motion equation and developing the expansion in terms of $r_s/\left(a(1-e^2)\right)$.}The results are compared with other expansions that appear in the literature giving corrections to second and third order. Finally, we simulate the shape of relativistic orbits for binary systems with different masses.


title: Learning Localized Spatio-Temporal Models From Streaming Data

abstract: We address the problem of predicting spatio-temporal processes with temporal patterns that vary across spatial regions, when data is obtained as a stream. That is, when the training dataset is augmented sequentially. Specifically, we develop a localized spatio-temporal covariance model of the process that can capture spatially varying temporal periodicities in the data. We then apply a covariance-fitting methodology to learn the model parameters which yields a predictor that can be updated sequentially with each new data point. The proposed method is evaluated using both synthetic and real climate data which demonstrate its ability to accurately predict data missing in spatial regions over time.


title: Black-box Variational Inference for Stochastic Differential Equations

abstract: Parameter inference for stochastic differential equations is challenging due to the presence of a latent diffusion process. Working with an Euler-Maruyama discretisation for the diffusion, we use variational inference to jointly learn the parameters and the diffusion paths. We use a standard mean-field variational approximation of the parameter posterior, and introduce a recurrent neural network to approximate the posterior for the diffusion paths conditional on the parameters. This neural network learns how to provide Gaussian state transitions which bridge between observations in a very similar way to the conditioned diffusion process. The resulting black-box inference method can be applied to any SDE system with light tuning requirements. We illustrate the method on a Lotka-Volterra system and an epidemic model, producing accurate parameter estimates in a few hours.


title: The Monadic Second Order Theory of Grid-Free 1-Safe Petri Nets is Decidable

abstract: Finite 1-safe Petri nets, also called \emph{net systems}, are natural models of asynchronous concurrency. The event structure of a net system describes all its possible executions and their concurrent nature: two events may be causally ordered, occur in parallel or be conflicting. Monadic second order logic (MSO) can be used to specify behavioural properties of net systems. Thiagarajan's conjecture states that MSO is decidable if and only if the net system is grid-free. The present paper gives a positive answer to this conjecture.


title: Large Scale Constrained Linear Regression Revisited: Faster Algorithms via Preconditioning

abstract: In this paper, we revisit the large-scale constrained linear regression problem and propose faster methods based on some recent developments in sketching and optimization. Our algorithms combine (accelerated) mini-batch SGD with a new method called two-step preconditioning to achieve an approximate solution with a time complexity lower than that of the state-of-the-art techniques for the low precision case. Our idea can also be extended to the high precision case, which gives an alternative implementation to the Iterative Hessian Sketch (IHS) method with significantly improved time complexity. Experiments on benchmark and synthetic datasets suggest that our methods indeed outperform existing ones considerably in both the low and high precision cases.


title: Extrapolation for multilinear Muckenhoupt classes and applications to the bilinear Hilbert transform

abstract: In this paper we solve a long standing problem about the multivariable Rubio de Francia extrapolation theorem for the multilinear Muckenhoupt classes $A_{\vec{p}}$, which were extensively studied by Lerner et al. and which are the natural ones for the class of multilinear Calder\'on-Zygmund operators. Furthermore, we go beyond the classes $A_{\vec{p}}$ and extrapolate within the classes $A_{\vec{p},\vec{r}}$ which appear naturally associated to the weighted norm inequalities for multilinear sparse forms which control fundamental operators such as the bilinear Hilbert transform. We give several applications which can be easily obtained using extrapolation. First, for the bilinear Hilbert transform one can extrapolate from the recent result of Culiuc et al. who considered the Banach range and extend the estimates to the quasi-Banach range. As a direct consequence, we obtain weighted vector-valued inequalities reproving some of the results by Benea and Muscalu. We also extend recent results of Carando et al. on Marcinkiewicz-Zygmund estimates for multilinear Calder\'on-Zygmund operators. Finally, our last application gives new weighted estimates for the commutators of multilinear Calder\'on-Zygmund operators and for the bilinear Hilbert transform with BMO functions using ideas from B\'enyi et al.


title: The orientation of Eta Carinae and the powering mechanism of intermediate luminosity optical transients (ILOTs)

abstract: Contrary to recent claims, we argue that the orientation of the massive binary system Eta Carinae is such that the secondary star is closer to us at periastron passage, and it is on the far side during most of the time of the eccentric orbit. The binary orientation we dispute is based on problematic interpretations of recent observations. Among these observations are the radial velocity of the absorption component of He I P-Cyg lines, of the He II $\lambda4686$ emission line, and of the Br$\gamma$ line emitted by clumps close to the binary system. We also base our orientation on observations of asymmetric molecular clumps that were recently observed by ALMA around the binary system, and were claimed to compose a torus with a missing segment. The orientation has implications for the modeling of the binary interaction during the nineteenth century Great Eruption (GE) of Eta Carinae that occurred close to periastron passage. The orientation where the secondary is closer to us at periastron leads us to suggest that the mass-missing side of the molecular clumps is a result of accretion onto the secondary star during the periastron passage when the clumps were ejected, probably during the GE. The secondary star accreted a few solar masses during the GE and the energy from the accretion process consists the majority of the GE energy. This in turn strengthens the more general model according to which many intermediate-luminosity optical transients (ILOTs) are powered by accretion onto a secondary star.


title: On the symmetry properties of a random passive scalar with and without boundaries, and their connection between hot and cold states

abstract: We consider the evolution of a decaying passive scalar in the presence of a gaussian white noise fluctuating linear shear flow known as the Majda Model. We focus on deterministic initial data and establish the symmetry properties of the evolving point wise probability measure for the random scalar. We identify, for both point line source initial data, regions in the x-y plane outside of which the PDF skewness is sign definite for all time, while inside these regions we observe multiple sign changes corresponding to exchanges in symmetry between hot and cold leaning states using exact representation formula for the PDF at the origin, and away from the origin, using numerical evaluation of the exact available Mehler kernels for the scalars statistical moments. A new, rapidly convergent Monte-Carlo method is developed, dubbed Direct Monte-Carlo (DMC), using the random Green's functions allowing for the fast construction of the PDF for single point statistics, and multi-point statistics natural for full Monte-Carlo simulations of the underlying stochastic differential equations (FMC). This new method demonstrates the full evolution of the PDF from short times, to its long time, limiting and collapsing universal distribution at arbitrary points in the plane. Further, this method provides a strong benchmark for FMC and we document numbers of field realization criteria for the FMC to faithfully compute this complete dynamics. Armed with this benchmark, we apply the FMC to a channel with a no-flux boundary condition enforced on a channel and observe a dramatically different long time state resulting from the wall. In particular, the channel case collapsing invariant measure has negative skewness, with random states heavily leaning heavily towards the hot state, in stark contrast to free space, where the limiting skewness is positive, with its states leaning heavily towards the cold state.


title: Automatic Passenger Counting: Introducing the t-Test Induced Equivalence Test

abstract: Automatic passenger counting (APC) in public transport has been introduced in the 1970s and has been rapidly emerging in recent years. Still, real-world applications continue to face events that are difficult to classify. The induced imprecision needs to be handled as statistical noise and thus methods have been defined to ensure that measurement errors do not exceed certain bounds. Various recommendations for such an APC validation have been made to establish criteria that limit the bias and the variability of the measurement errors. In those works, the misinterpretation of non-significance in statistical hypothesis tests for the detection of differences (e.g. Student's t-test) proves to be prevalent, although existing methods which were developed under the term equivalence testing in biostatistics (i.e. bioequivalence trials, Schuirmann in J Pharmacokinet Pharmacodyn 15(6):657-680, 1987) would be appropriate instead. This heavily affects the calibration and validation process of APC systems and has been the reason for unexpected results when the sample sizes were not suitably chosen: Large sample sizes were assumed to improve the assessment of systematic measurement errors of the devices from a user's perspective as well as from a manufacturer's perspective, but the regular t-test fails to achieve that. We introduce a variant of the t-test, the revised t-test, which addresses both type I and type II errors appropriately and allows a comprehensible transition from the long-established t-test in a widely used industrial recommendation. This test is appealing, but still it is susceptible to numerical instability. Finally, we analytically reformulate it as a numerically stable equivalence test, which is thus easier to use. Our results therefore allow to induce an equivalence test from a t-test and increase the comparability of both tests, especially for decision makers.


title: Code algebras which are axial algebras and their $\mathbb{Z}_2$-gradings

abstract: A code algebra $A_C$ is a non-associative commutative algebra defined via a binary linear code $C$. We study certain idempotents in code algebras, which we call small idempotents, that are determined by a single non-zero codeword. For a general code $C$, we show that small idempotents are primitive and semisimple and we calculate their fusion law. If $C$ is a projective code generated by a conjugacy class of codewords, we show that $A_C$ is generated by small idempotents and so is, in fact, an axial algebra. Furthermore, we classify when the fusion law is $\mathbb{Z}_2$-graded. In doing so, we exhibit an infinite family of $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded axial algebras - these are the first known examples of axial algebras with a non-trivial grading other than a $\mathbb{Z}_2$-grading.


title: Long-Term Unemployed hirings: Should targeted or untargeted policies be preferred?

abstract: To what extent, hiring incentives targeting a specific group of vulnerable unemployed (i.e. long term unemployed) are more effective, with respect to generalised incentives (without a definite target), to increase hirings of the targeted group? Are generalized incentives able to influence hirings of the vulnerable group? Do targeted policies have negative side effects too important to accept them? Even though there is a huge literature on hiring subsidies, these questions remained unresolved. We tried to answer them, comparing the impact of two similar hiring policies, one oriented towards a target group and one generalised, implemented on the italian labour market. We used administrative data on job contracts, and counterfactual analysis methods. The targeted policy had a positive and significant impact, while the generalized policy didn't have a significant impact on the vulnerable group. Moreover, we concluded the targeted policy didn't have any indirect negative side effect.


title: Co-periodicity isomorphisms between forests of finite p-groups

abstract: Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups under these isomorphisms is described with simple transformation laws. For the tree of finite 3-groups with elementary bicyclic commutator quotient, the information content of each coclass subtree with metabelian mainline is shown to be finite. As a striking novelty in this paper, evidence is provided of co-periodicity isomorphisms between coclass forests which reduce the information content of the entire metabelian skeleton and a significant part of non-metabelian vertices to a finite amount of data.


title: A Two-Stage Method for Text Line Detection in Historical Documents

abstract: This work presents a two-stage text line detection method for historical documents. Each detected text line is represented by its baseline. In a first stage, a deep neural network called ARU-Net labels pixels to belong to one of the three classes: baseline, separator or other. The separator class marks beginning and end of each text line. The ARU-Net is trainable from scratch with manageably few manually annotated example images (less than 50). This is achieved by utilizing data augmentation strategies. The network predictions are used as input for the second stage which performs a bottom-up clustering to build baselines. The developed method is capable of handling complex layouts as well as curved and arbitrarily oriented text lines. It substantially outperforms current state-of-the-art approaches. For example, for the complex track of the cBAD: ICDAR2017 Competition on Baseline Detection the F-value is increased from 0.859 to 0.922. The framework to train and run the ARU-Net is open source.


title: Scaling limits of the Schelling model

abstract: The Schelling model, introduced by Schelling in 1969 as a model for residential segregation in cities, describes how populations of multiple types self-organize to form homogeneous clusters of one type. In this model, vertices in an $N$-dimensional lattice are initially assigned types randomly. As time evolves, the type at a vertex $v$ has a tendency to be replaced with the most common type within distance $w$ of $v$. We present the first mathematical description of the dynamical scaling limit of this model as $w$ tends to infinity and the lattice is correspondingly rescaled. We do this by deriving an integro-differential equation for the limiting Schelling dynamics and proving almost sure existence and uniqueness of the solutions when the initial conditions are described by white noise. The evolving fields are in some sense very "rough" but we are able to make rigorous sense of the evolution. In a key lemma, we show that for certain Gaussian fields $h$, the supremum of the occupation density of $h-\phi$ at zero (taken over all $1$-Lipschitz functions $\phi$) is almost surely finite, thereby extending a result of Bass and Burdzy. In the one dimensional case, we also describe the scaling limit of the limiting clusters obtained at time infinity, thereby resolving a conjecture of Brandt, Immorlica, Kamath, and Kleinberg.


title: Acceleration and global convergence of a first-order primal--dual method for nonconvex problems

abstract: The primal--dual hybrid gradient method (PDHGM, also known as the Chambolle--Pock method) has proved very successful for convex optimization problems involving linear operators arising in image processing and inverse problems. In this paper, we analyze an extension to nonconvex problems that arise if the operator is nonlinear. Based on the idea of testing, we derive new step length parameter conditions for the convergence in infinite-dimensional Hilbert spaces and provide acceleration rules for suitably (locally and/or partially) monotone problems. Importantly, we prove linear convergence rates as well as global convergence in certain cases. We demonstrate the efficacy of these step length rules for PDE-constrained optimization problems.


title: Contractions of group representations via geometric quantisation

abstract: We propose a general framework to contract unitary dual of Lie groups via holomorphic quantization of their co-adjoint orbits. The sufficient condition for the contractability of a representation is expressed via cocycles on coadjoint orbits. This condition is checked explicitly for the contraction of ${\mathrm SU}_2$ into $\mathbb{H}$. The main tool is the geometric quantization. We construct two types of contractions that can be implemented on every matrix Lie group with diagonal contraction matrix.


title: The Super-NFW model: an analytic dynamical model for cold dark matter haloes and elliptical galaxies

abstract: An analytic galaxy model with $\rho \sim r^{-1}$ at small radii and $\rho \sim r^{-3.5}$ at large radii is presented. The asymptotic density fall-off is slower than the Hernquist model, but faster than the Navarro-Frenk-White (NFW) profile for dark matter haloes, and so in accord with recent evidence from cosmological simulations. The model provides the zeroth-order term in a biorthornomal basis function expansion, meaning that axisymmetric, triaxial and lopsided distortions can easily be added (much like the Hernquist model itself which is the zeroth-order term of the Hernquist-Ostriker expansion). The properties of the spherical model, including analytic distribution functions which are either isotropic, radially anisotropic or tangentially anisotropic, are discussed in some detail. The analogue of the mass-concentration relation for cosmological haloes is provided.


title: Galaxy halo expansions: a new biorthogonal family of potential-density pairs

abstract: Efficient expansions of the gravitational field of (dark) haloes have two main uses in the modelling of galaxies: first, they provide a compact representation of numerically-constructed (or real) cosmological haloes, incorporating the effects of triaxiality, lopsidedness or other distortion. Secondly, they provide the basis functions for self-consistent field expansion algorithms used in the evolution of $N$-body systems. We present a new family of biorthogonal potential-density pairs constructed using the Hankel transform of the Laguerre polynomials. The lowest-order density basis functions are double-power-law profiles cusped like $\rho \sim r^{-2 + 1/\alpha}$ at small radii with asymptotic density fall-off like $\rho \sim r^{-3 -1/(2\alpha)}$. Here, $\alpha$ is a parameter satisfying $\alpha \ge 1/2$. The family therefore spans the range of inner density cusps found in numerical simulations, but has much shallower -- and hence more realistic -- outer slopes than the corresponding members of the only previously-known family deduced by Zhao (1996) and exemplified by Hernquist & Ostriker (1992). When $\alpha =1$, the lowest-order density profile has an inner density cusp of $\rho \sim r^{-1}$ and an outer density slope of $\rho \sim r^{-3.5}$, similar to the famous Navarro, Frenk & White (1997) model. For this reason, we demonstrate that our new expansion provides a more accurate representation of flattened NFW haloes than the competing Hernquist-Ostriker expansion. We utilize our new expansion by analysing a suite of numerically-constructed haloes and providing the distributions of the expansion coefficients.


title: The Milky Way Halo in Action Space

abstract: We analyse the structure of the local stellar halo of the Milky Way using $\sim$ 60000 stars with full phase space coordinates extracted from the SDSS--{\it Gaia} catalogue. We display stars in action space as a function of metallicity in a realistic axisymmetric potential for the Milky Way Galaxy. The metal-rich population is more distended towards high radial action $J_R$ as compared to azimuthal or vertical action, $J_\phi$ or $J_z$. It has a mild prograde rotation $(\langle v_\phi \rangle \approx 25$ km s$^{-1}$), is radially anisotropic and highly flattened with axis ratio $q \approx 0.6 - 0.7$. The metal-poor population is more evenly distributed in all three actions. It has larger prograde rotation $(\langle v_\phi \rangle \approx 50$ km s$^{-1}$), a mild radial anisotropy and a roundish morphology ($q\approx 0.9$). We identify two further components of the halo in action space. There is a high energy, retrograde component that is only present in the metal-rich stars. This is suggestive of an origin in a retrograde encounter, possibly the one that created the stripped dwarf galaxy nucleus, $\omega$Centauri. Also visible as a distinct entity in action space is a resonant component, which is flattened and prograde. It extends over a range of metallicities down to [Fe/H] $\approx -3$. It has a net outward radial velocity $\langle v_R \rangle \approx 12$ km s$^{-1}$ within the Solar circle at $|z| <3.5$ kpc. The existence of resonant stars at such extremely low metallicities has not been seen before.


title: Weaving Hilbert space fusion frames

abstract: A new notion in frame theory, so called weaving frames has been recently introduced to deal with some problems in signal processing and wireless sensor networks. Also, fusion frames are an important extension of frames, used in many areas especially for wireless sensor networks. In this paper, we survey the notion of weaving Hilbert space fusion frames. This concept can be had potential applications in wireless sensor networks which require distributed processing using different fusion frames. Indeed, we present several approaches for identifying and constructing of weaving fusion frames in terms of local frames, bounded operators in Hilbert spaces and also dual fusion frames. To this end, we present some conditions under which a fusion frame with its duals constitute some pair of woven fusion frames. As a result, we show that Riesz fusion bases are woven with all of their duals. Finally, we obtain some new results on fusion frames and weaving fusion frames under operator perturbations.


title: Extragalactic archaeology with the C, N, and O chemical abundances

abstract: We predict how the C, N, and O abundances within the interstellar medium of galaxies evolve as functions of the galaxy star formation history (SFH). We adopt a hydrodynamical cosmological simulation, focusing on three star-forming disc galaxies with different SFHs. By assuming failed supernovae, we can predict an increasing trend of the gas-phase N/O--O/H abundance diagram, which was not produced in our previous simulations without failed supernovae. At high redshifts, contrary to the predictions of classical chemical evolution models with instantaneous mixing approximation, we find almost flat trends in the N/O--O/H diagram, which are due to the contribution of intermediate-mass stars together with an inhomogeneous chemical enrichment. Finally, we also predict that the average N/O and C/O steadily increase as functions of time, while the average C/N decreases, due to the mass and metallicity dependence of the yields of asymptotic giant branch stars; such variations are more marked during more intense star formation episodes. Our predictions on the CNO abundance evolution can be used to study the SFH of disc galaxies with the James Webb Space Telescope.


title: Electron Spin Coherences in Rare-Earth Optically Excited States for Microwave to Optical Quantum Transducers

abstract: Efficient and reversible optical to microwave coherent transducers are required to enable entanglement transfer between superconducting qubits and light for quantum networks. Rare-earth-doped crystals that possess narrow optical and spin transitions are a promising way to implement these devices. Current approaches use ground-state electron spin transitions that have coherence lifetimes ($T_2$) often limited by spin flip-flop processes and/or spectral diffusion, even at very low temperatures. Here, we investigate spin coherence in an optically excited state of an Er$^{3+}$:Y$_2$SiO$_5$ crystal at temperatures from 1.6 to 3.5 K and under a weak 8.7 mT magnetic field. Spin coherence and population lifetimes of up to 1.6 $\mu$s and 1.2 ms, respectively, are measured by 2- and 3-pulse optically-detected spin echo experiments. Analysis of the dephasing processes suggest that ms $T_2$ can be reached at lower temperatures for the excited-state spins, whereas ground-state spin states could be limited to a few $\mu$s due to resonant interactions with the other Er$^{3+}$ spins in the lattice (spin diffusion). We propose a quantum transducer scheme with the potential for close to unit efficiency that exploits the specific advantages offered by the spin states of optically excited electronic energy levels.


title: Directed polymers in heavy-tail random environment

abstract: We study the directed polymer model in dimension ${1+1}$ when the environment is heavy-tailed, with a decay exponent $\alpha\in(0,2)$. We give all possible scaling limits of the model in the weak-coupling regime, i.e., when the inverse temperature temperature $\beta=\beta_n$ vanishes as the size of the system $n$ goes to infinity. When $\alpha\in(1/2,2)$, we show that all possible transversal fluctuations $\sqrt{n} \leq h_n \leq n$ can be achieved by tuning properly $\beta_n$, allowing to interpolate between all super-diffusive scales. Moreover, we determine the scaling limit of the model, answering a conjecture by Dey and Zygouras [cf:DZ] - we actually identify five different regimes. On the other hand, when $\alpha<1/2$, we show that there are only two regimes: the transversal fluctuations are either $\sqrt{n}$ or $n$. As a key ingredient, we use the Entropy-controlled Last Passage Percolation (E-LPP), introduced in a companion paper [cf:BT_ELPP].


title: Tidal evolution of the Moon from a high-obliquity, high-angular-momentum Earth

abstract: In the giant impact hypothesis for lunar origin, the Moon accreted from an equatorial circum-terrestrial disk; however the current lunar orbital inclination of 5 degrees requires a subsequent dynamical process that is still debated. In addition, the giant impact theory has been challenged by the Moon's unexpectedly Earth-like isotopic composition. Here, we show that tidal dissipation due to lunar obliquity was an important effect during the Moon's tidal evolution, and the past lunar inclination must have been very large, defying theoretical explanations. We present a new tidal evolution model starting with the Moon in an equatorial orbit around an initially fast-spinning, high-obliquity Earth, which is a probable outcome of giant impacts. Using numerical modeling, we show that the solar perturbations on the Moon's orbit naturally induce a large lunar inclination and remove angular momentum from the Earth-Moon system. Our tidal evolution model supports recent high-angular momentum giant impact scenarios to explain the Moon's isotopic composition and provides a new pathway to reach Earth's climatically favorable low obliquity.


title: A Kulikov-Type Classification Theorem for a One Parameter Family of K3-Surfaces Over a p-ADIC Field and a Good Reduction Criterion

abstract: In this paper, we prove a $p$-adic analogous of the Kulikov-Persson-Pinkham classification theorem [Persson:1981wp] for the central fiber of a degeneration of $K3$-surfaces in terms of the nilpotency degree of the monodromy of the family. Namely, let $X_K$ be a be a smooth, projective $K3$-surface which has a minimal semi-stable model $X$ over $\mathcal O_K$. If we let $N_{st}$ be the monodromy operator on $D_{st}(H^2_{et}}(X_{\overline K},\mathbb Q_p))$, then we prove that the degree of nilpotency of $N_{st}$ determines the type of the special fiber of $X$. As a consequence we give a criterion for the good reduction of the semi-stable $K3$-surface $X_K$ over the $p$-adic field $K$ in terms of its $p$-adic representation $H^2_{\text{et}}(X_{\overline K},\mathbb Q_p)$, which is similar to the criterion of good reduction for $p$-adic abelian varieties and curves given by Coleman-Iovita and Andreatta-Iovita-Kim.


title: Deep Learning for Malicious Flow Detection

abstract: Cyber security has grown up to be a hot issue in recent years. How to identify potential malware becomes a challenging task. To tackle this challenge, we adopt deep learning approaches and perform flow detection on real data. However, real data often encounters an issue of imbalanced data distribution which will lead to a gradient dilution issue. When training a neural network, this problem will not only result in a bias toward the majority class but show the inability to learn from the minority classes. In this paper, we propose an end-to-end trainable Tree-Shaped Deep Neural Network (TSDNN) which classifies the data in a layer-wise manner. To better learn from the minority classes, we propose a Quantity Dependent Backpropagation (QDBP) algorithm which incorporates the knowledge of the disparity between classes. We evaluate our method on an imbalanced data set. Experimental result demonstrates that our approach outperforms the state-of-the-art methods and justifies that the proposed method is able to overcome the difficulty of imbalanced learning. We also conduct a partial flow experiment which shows the feasibility of real-time detection and a zero-shot learning experiment which justifies the generalization capability of deep learning in cyber security.


title: Minimum weight codewords in dual Algebraic-Geometric codes from the Giulietti-Korchm\'aros curve

abstract: In this paper we investigate the number of minimum weight codewords of some dual Algebraic-Geometric codes associated with the Giulietti-Korchm\'aros maximal curve, by computing the maximal number of intersections between the Giulietti-Korchm\'aros curve and lines, plane conics and plane cubics.


title: Information Planning for Text Data

abstract: Information planning enables faster learning with fewer training examples. It is particularly applicable when training examples are costly to obtain. This work examines the advantages of information planning for text data by focusing on three supervised models: Naive Bayes, supervised LDA and deep neural networks. We show that planning based on entropy and mutual information outperforms random selection baseline and therefore accelerates learning.


title: Pseudofinite groups and VC-dimension

abstract: We develop local NIP group theory in the context of pseudofinite groups. In particular, given a sufficiently saturated pseudofinite structure $G$ expanding a group, and left invariant NIP formula $\delta(x;\bar{y})$, we prove various aspects of "local fsg" for the right-stratified formula $\delta^r(x;\bar{y},u):=\delta(x\cdot u;\bar{y})$. This includes a $\delta^r$-type-definable connected component, uniqueness of the pseudofinite counting measure as a left-invariant measure on $\delta^r$-formulas, and generic compact domination for $\delta^r$-definable sets.


title: Three-body spectrum in a finite volume: the role of cubic symmetry

abstract: The three-particle quantization condition is partially diagonalized in the center-of-mass frame by using cubic symmetry on the lattice. To this end, instead of spherical harmonics, the kernel of the Bethe-Salpeter equation for particle-dimer scattering is expanded in the basis functions of different irreducible representations of the octahedral group. Such a projection is of particular importance for the three-body problem in the finite volume due to the occurrence of three-body singularities above breakup. Additionally, we study the numerical solution and properties of such a projected quantization condition in a simple model. It is shown that, for large volumes, these solutions allow for an instructive interpretation of the energy eigenvalues in terms of bound and scattering states.


title: Effect of Post Weld Heat Treatments on the Elevated Temperature Mechanical Properties of Ti6Al4V Friction Welds

abstract: The {\alpha}+\b{eta} titanium alloy (Ti6Al4V) has been successfully joined using rotary friction welding. To investigate the influence of post weld heat treatments on the microstructure and mechanical properties of the welds, the weld joints were heat treated in {\alpha}+\b{eta} and \b{eta} regions, followed by air cooling and furnace cooling. Subsequent to heat treatment, the specimens were subjected to stress relieving treatment. The heat treatment temperatures were selected keeping in view the beta transus temperature of the alloy. Mechanical properties of the welds are evaluated in the as-welded and post weld heat treated conditions at the working temperature of this alloy. The results reported are an average of the values obtained from three tests carried out at a given set of condition. Joints produced exhibited better mechanical properties when compared to the parent metal. Coarse transgranular microstructure and coarse grains in general exhibit better creep and stress rupture properties, while finer microstructures exhibit better tensile strengths


title: Reverse Brascamp-Lieb inequality and the dual Bollobas-Thomason inequality

abstract: The purpose of this article is to establish the dual version of the uniform cover inequality of Bollobas and Thomason.


title: Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg

abstract: During last years, researches have proposed novel repair approaches that automatically generate patches for repairing software bugs. Repair approaches can be loosely characterized along the main design philosophy such generate- and-validate or synthesis-based. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present in approaches implementations thus new approaches can be built over them, b) provides built-in implementations of existing repair approach. This paper presents a framework named Astor that encores the design space of generate-and-validate repair approaches. Astor provides extension points that form the explicit decision space of program repair. Over those extension points, researchers can reuse existing components or implements new ones. Astor includes 6 Java implementation of repair approaches, including one of the pioneer: GenProg. Researcher have been already defining new approaches over Astor, proposing improvements of those built-in approaches by using the extension points, and executing approaches implementations from Astor in their evaluations. The implementations of the repair approaches built over Astor are capable of repair, in total, 98 real bugs from 5 large Java programs.


title: Alignment Limit in 2HDM: Robustness put to test

abstract: In a two-Higgs-doublet model (2HDM), at the vicinity of the alignment limit, the extra contributions to the couplings of the SM-like Higgs with other particles can be subdominant to the same coming from the six dimensional operators. In this context, we revisit the alignment limit itself. It is investigated to what extent these operators can mask the actual alignment in a 2HDM. The bosonic operators which rescale the Higgs kinetic terms can lead to substantial change in the parameter space of the model. We find that some other bosonic operators, which are severely constrained from the electroweak precision tests, can also modify the parameter space of 2HDM due to their anomalous momentum structures. A particular kind of Little Higgs model is explored as an example of 2HDM effective field theory in connection with 2HDM alignment. Choosing a suitable benchmark point in a Type-II 2HDM, we highlight the possibility that the exact alignment limit is ruled out at 95% CL in presence of such operators.


title: When Textbook RSA is Used to Protect the Privacy of Hundreds of Millions of Users

abstract: We evaluate Tencent's QQ Browser, a popular mobile browser in China with hundreds of millions of users---including 16 million overseas, with respect to the threat model of a man-in-the-middle attacker with state actor capabilities. This is motivated by information in the Snowden revelations suggesting that another Chinese mobile browser, UC Browser, was being used to track users by Western nation-state adversaries. Among the many issues we found in QQ Browser that are presented in this paper, the use of "textbook RSA"---that is, RSA implemented as shown in textbooks, with no padding---is particularly interesting because it affords us the opportunity to contextualize existing research in breaking textbook RSA. We also present a novel attack on QQ Browser's use of textbook RSA that is distinguished from previous research by its simplicity. We emphasize that although QQ Browser's cryptography and our attacks on it are very simple, the impact is serious. Thus, research into how to break very poor cryptography (such as textbook RSA) has both pedagogical value and real-world impact.


title: Moments of inertia of neutron stars in relativistic mean field theory: the role of the isovector scalar channel

abstract: With the inclusion of the isovector scalar channel in the meson-nucleon couplings, taking DD-ME$\delta$ as an effective interaction, the moments of inertia of neutron stars possessing various stellar masses are studied within the density dependent relativistic mean field (RMF) theory. The isovector scalar channel contributes to the softening of the neutron-star matter equation of state (EOS) and therefore the reduction of the maximum mass and radius of neutron stars. Smaller values of the total moment of inertia $I$ and the crustal moment of inertia $\Delta{I}$ are then obtained in DD-ME$\delta$ via numerical procedure in comparison with those in other selected RMF functionals. In addition, the involvement of the isovector scalar channel lowers the thickness of the neutron star crust and its mass fraction as well. The sensitivity to both the crustal mass and stellar radius causes the crustal moment of inertia to be more obviously reduced than the total one, eventually leading to a suppression on the fraction of crustal moment of inertia $\Delta{I}/I$ in DD-ME$\delta$. The results indicate the crustal moment of inertia as a more sensitive probe of the neutron-star matter EOS than the total one, and demonstrate that the isovector scalar meson-nucleon couplings in the RMF theory could exert influence over the physics of pulsar glitches.


title: Generalized Heisenberg algebra and (non linear) pseudo-bosons

abstract: We propose a deformed version of the generalized Heisenberg algebra by using techniques borrowed from the theory of pseudo-bosons. In particular, this analysis is relevant when non self-adjoint Hamiltonians are needed to describe a given physical system. We also discuss relations with nonlinear pseudo-bosons. Several examples are discussed.


title: Cosmological aspects of the Eisenhart-Duval lift

abstract: A cosmological extension of the Eisenhart-Duval metric is constructed by incorporating a cosmic scale factor and the energy-momentum tensor into the scheme. The dynamics of the spacetime is governed the Ermakov-Milne-Pinney equation. Killing isometries include spatial translations and rotations, Newton--Hooke boosts and translation in the null direction. Geodesic motion in Ermakov-Milne-Pinney cosmoi is analyzed. The derivation of the Ermakov-Lewis invariant, the Friedmann equations and the Dmitriev-Zel'dovich equations within the Eisenhart--Duval framework is presented.

categories: gr-qc astro-ph.CO hep-th math-ph math.MP


title: Some inequalities related to differential monomials

abstract: The aim of this paper is to consider the value distribution of a differential monomial generated by a transcendental meromorphic function.


title: Synergistic interactions promote behavior spreading and alter phase transition on multiplex networks

abstract: Synergistic interactions are ubiquitous in the real world. Recent studies have revealed that, for a single-layer network, synergy can enhance spreading and even induce an explosive contagion. There is at the present a growing interest in behavior spreading dynamics on multiplex networks. What is the role of synergistic interactions in behavior spreading in such networked systems? To address this question, we articulate a synergistic behavior spreading model on a double layer network, where the key manifestation of the synergistic interactions is that the adoption of one behavior by a node in one layer enhances its probability of adopting the behavior in the other layer. A general result is that synergistic interactions can greatly enhance the spreading of the behaviors in both layers. A remarkable phenomenon is that the interactions can alter the nature of the phase transition associated with behavior adoption or spreading dynamics. In particular, depending on the transmission rate of one behavior in a network layer, synergistic interactions can lead to a discontinuous (first-order) or a continuous (second-order) transition in the adoption scope of the other behavior with respect to its transmission rate. A surprising two-stage spreading process can arise: due to synergy, nodes having adopted one behavior in one layer adopt the other behavior in the other layer and then prompt the remaining nodes in this layer to quickly adopt the behavior. Analytically, we develop an edge-based compartmental theory and perform a bifurcation analysis to fully understand, in the weak synergistic interaction regime where the dynamical correlation between the network layers is negligible, the role of the interactions in promoting the social behavioral spreading dynamics in the whole system.


title: InferBeam: A Fast Beam Alignment Protocol for Millimeter-wave Networking

abstract: We introduce fast millimeter-wave base station (BS) and its antenna sector selection for user equipment based on its location. Using a conditional random field inference model with specially designed parameters, which are robust to change of environment, InferBeam allows the use of measurement samples on best beam selection at a small number of locations to infer the rest dynamically. Compared to beam-sweeping based approaches in the literature, InferBeam can drastically reduce the setup cost for beam alignment for a new environment, and also the latency in acquiring a new beam under intermittent blockage. We have evaluated InferBeam using a discrete event simulation. Our results indicate that the system can make best beam selection for 98% of locations in test environments comprising smallsized apartment or office spaces, while sampling fewer than 1% of locations. InferBeam is a complete protocol for best beam inference that can be integrated into millimeter-wave standards for accelerating the much-needed fast and economic beam alignment capability.


title: Generative ScatterNet Hybrid Deep Learning (G-SHDL) Network with Structural Priors for Semantic Image Segmentation

abstract: This paper proposes a generative ScatterNet hybrid deep learning (G-SHDL) network for semantic image segmentation. The proposed generative architecture is able to train rapidly from relatively small labeled datasets using the introduced structural priors. In addition, the number of filters in each layer of the architecture is optimized resulting in a computationally efficient architecture. The G-SHDL network produces state-of-the-art classification performance against unsupervised and semi-supervised learning on two image datasets. Advantages of the G-SHDL network over supervised methods are demonstrated with experiments performed on training datasets of reduced size.


title: ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

abstract: ATPboost is a system for solving sets of large-theory problems by interleaving ATP runs with state-of-the-art machine learning of premise selection from the proofs. Unlike many previous approaches that use multi-label setting, the learning is implemented as binary classification that estimates the pairwise-relevance of (theorem, premise) pairs. ATPboost uses for this the XGBoost gradient boosting algorithm, which is fast and has state-of-the-art performance on many tasks. Learning in the binary setting however requires negative examples, which is nontrivial due to many alternative proofs. We discuss and implement several solutions in the context of the ATP/ML feedback loop, and show that ATPboost with such methods significantly outperforms the k-nearest neighbors multilabel classifier.


title: Visualizing Treasury Issuance Strategy

abstract: We introduce simple cost and risk proxy metrics that can be attached to Treasury issuance strategy to complement analysis of the resulting portfolio weighted-average maturity (WAM). These metrics are based on mapping issuance fractions to their long-term, asymptotic portfolio implications for cost and risk under mechanical debt-rolling dynamics. The resulting mapping enables one to visualize tradeoffs involved in contemplated issuance reallocation, and identify an efficient frontier and optimal tenor. Historical Treasury issuance strategy is analyzed empirically using these cost and risk metrics to illustrate how changes in issuance needs and strategy have translated into structural shifts in the cost and risk stance of Treasury issuance.

categories: q-fin.PM q-fin.EC q-fin.GN q-fin.MF q-fin.RM


title: A note on the linear independence of a class of series of functions

abstract: For $k\in\mathbb R$, we consider a $\mathbb C$-algebra $\mathcal A_k$ of holomorphic functions in the half plane $Re\; z>k$ with (at most) subexponential growth on the real line to $+\infty$. In the $\mathcal A_k$-algebra of sequences of functions $\{\alpha:\mathbb N\rightarrow \mathcal A_k\}$, we consider the $\mathcal A_k$-subalgebra $\mathcal H_k$ consisting in those $\alpha$ for which there exists a continuous map $M:\{Re\; z>k\}\rightarrow [0,+\infty)$ such that $|\alpha(n)(z)|\leq M(z)n^k$ for all $Re\; z>k,n\geq 1$, and $\lim_{x\rightarrow +\infty}e^{-ax}M(x)=0$, for all $a>0$. Given $L$ a sequence of holomorphic functions on $Re\; z>k$ which satisfies certain conditions, we prove that the map $\alpha\mapsto F_L(\alpha)$, where $F_L(\alpha):=\sum_{n=1}^{+\infty}\alpha(n)(z)L(n)(z)$, is an injective morphism of $\mathcal A_k$-modules (or $\mathcal A_k$-algebras). Consequently, if $n\mapsto \alpha_j(n)(z)\in\mathbb C$, $1\leq j\leq r$, are linearly (algebraically) independent over $\mathbb C$, for $z$ in a nondiscrete subset of $Re\; z>k$, then $F_{\alpha_1},\ldots,F_{\alpha_r}$ are linearly (algebraically) independent over the quotient field of $\mathcal A_k$.


title: Necessary Optimality Conditions for Continuous-Time Optimization Problems with Equality and Inequality Constraints

abstract: The paper is devoted to obtain first and second order necessary optimality conditions for continuous-time optimization problems with equality and inequality constraints. A full rank type regularity condition along with an uniform implicit function theorem are used in order to establish such necessary conditions.


title: The Herschel-PACS legacy of low-mass protostars: Properties of warm and hot gas and its origin in far-UV illuminated shocks

abstract: Recent observations from Herschel allow the identification of important mechanisms responsible for the heating of gas surrounding low-mass protostars and its subsequent cooling in the far-infrared (FIR). Shocks are routinely invoked to reproduce some properties of the far-IR spectra, but standard models fail to reproduce the emission from key molecules, e.g. H$_2$O. Here, we present the Herschel-PACS far-IR spectroscopy of 90 embedded low-mass protostars (Class 0/I). The Herschel-PACS spectral maps covering $\sim55-210$ $\mu$m with a field-of-view of $\sim$50'' are used to quantify the gas excitation conditions and spatial extent using rotational transitions of H$_{2}$O, high-$J$ CO, and OH, as well as [O I] and [C II]. We confirm that a warm ($\sim$300 K) CO reservoir is ubiquitous and that a hotter component ($760\pm170$ K) is frequently detected around protostars. The line emission is extended beyond $\sim$1000 AU spatial scales in 40/90 objects, typically in molecular tracers in Class 0 and atomic tracers in Class I objects. High-velocity emission ($\gtrsim90$ km s$^{-1}$) is detected in only 10 sources in the [O I] line, suggesting that the bulk of [O I] arises from gas that is moving slower than typical jets. Line flux ratios show an excellent agreement with models of $C$-shocks illuminated by UV photons for pre-shock densities of $\sim$$10^5$ cm$^{-3}$ and UV fields 0.1-10 times the interstellar value. The far-IR molecular and atomic lines are a unique diagnostic of feedback from UV emission and shocks in envelopes of deeply embedded protostars.


title: Nonlinear Schr\"odinger equation in the Bopp-Podolsky electrodynamics: solutions in the electrostatic case

abstract: We study the following nonlinear Schr\"odinger-Bopp-Podolsky system \[ \begin{cases} -\Delta u + \omega u + q^{2}\phi u = |u|^{p-2}u -\Delta \phi + a^2 \Delta^2 \phi = 4\pi u^2 \end{cases} \hbox{ in }\mathbb{R}^3 \] with $a,\omega>0$. We prove existence and nonexistence results depending on the parameters $q,p$. Moreover we also show that, in the radial case, the solutions we find tend to solutions of the classical Schr\"odinger-Poisson system as $a\to0$.


title: Confluence Modulo Equivalence with Invariants in Constraint Handling Rules

abstract: Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, confluence is often too strict in practical applications because it also considers states that can never be reached in practice. Additionally, sometimes states that have the same semantics in the practical context are considered as different states due to different syntactic representations. By introducing suitable invariants and equivalence relations on the states, programs may have the property to be confluent modulo the equivalence relation w.r.t. the invariant which often is desirable in practice. In this paper, a sufficient and necessary criterion for confluence modulo equivalence w.r.t. an invariant for Constraint Handling Rules (CHR) is presented. It is the first approach that covers invariant-based confluence modulo equivalence for the de facto standard semantics of CHR. There is a trade-off between practical applicability and the simplicity of proving a confluence property. Therefore, a better manageable subset of equivalence relations has been identified that allows for the proposed confluence criterion and and simplifies the confluence proofs by using well established CHR analysis methods.


title: Zero-sum Generalized Schur Numbers

abstract: Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $S_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer $n$ such that every coloring $\chi:[1,n] \rightarrow \{0,1,\dots,r-1\}$ admits a solution to $\sum_{i=1}^{k-1} x_i = x_k$ with $\sum_{i=1}^{k} \chi(x_i) \equiv 0 \,(\mathrm{mod }\,r)$. We give some formulas and lower bounds for various instances.


title: Displays and antiferroelectric liquid crystals

abstract: Recently we have formulated theory of bi-layer-dimerized chiral liquid antiferroelectric crystals. The spontaneous polarization has been increased owing to the strong interaction of the aromatic cores of the rod like liquid crystal molecules with the honey-comb pattern of the CNT walls The SmC*A ordering is improved around the CNTs. All relaxation modes in each phase are facilitated by dispersion of nanotubes whicg enhances the relaxation frequencies. This composite system with improvement in electro-optical properties can be exploited in modern display applications. SmC* LC were studied by one of t he authors (OH), namely their transition from the SmC phase. The role of disclinations in an applied electric field was studied by O. Hudak in the SmC* structure. While the role of fluctuations and of disclinations in the SmC* (FLC)was studied in the above papers, the role of fluctuations and disclinations in SmC*A and the role of addition of MWCNTs in SmC*A phaseis not well understood. Our theoretical description of (AFLC) including SmC*A introduced in may thus be used to study these effects.


title: Biadjoint scalar tree amplitudes and intersecting dual associahedra

abstract: We present a new formula for the biadjoint scalar tree amplitudes $m(\alpha|\beta)$ based on the combinatorics of dual associahedra. Our construction makes essential use of the cones in 'kinematic space' introduced by Arkani-Hamed, Bai, He, and Yan. We then consider dual associahedra in 'dual kinematic space.' If appropriately embedded, the intersections of these dual associahedra encode the amplitudes $m(\alpha|\beta)$. In fact, we encode all the partial amplitudes at $n$-points using a single object (a fan) in dual kinematic space. Equivalently, as a pleasant corollary of our construction, all $n$-point partial amplitudes can be understood as coming from integrals over subvarieties in a single toric variety. Explicit formulas for the amplitudes then follow by evaluating these integrals using the equivariant localisation (or Duistermaat-Heckman) formula. Finally, by introducing a lattice in kinematic space, we observe that our fan is also related to the inverse KLT kernel, sometimes denoted $m_{\alpha'}(\alpha|\beta)$.


title: Krein-type theorems and ordered structure for Cauchy-de Branges spaces

abstract: We extend some results of M.G. Krein to the class of entire functions which can be represented as ratios of discrete Cauchy transforms in the plane. As an application we obtain new versions of de Branges' Ordering Theorem for nearly invariant subspaces in a class of Hilbert spaces of entire functions. Examples illustrating sharpness of the obtained results are given.


title: Make the Minority Great Again: First-Order Regret Bound for Contextual Bandits

abstract: Regret bounds in online learning compare the player's performance to $L^*$, the optimal performance in hindsight with a fixed strategy. Typically such bounds scale with the square root of the time horizon $T$. The more refined concept of first-order regret bound replaces this with a scaling $\sqrt{L^*}$, which may be much smaller than $\sqrt{T}$. It is well known that minor variants of standard algorithms satisfy first-order regret bounds in the full information and multi-armed bandit settings. In a COLT 2017 open problem, Agarwal, Krishnamurthy, Langford, Luo, and Schapire raised the issue that existing techniques do not seem sufficient to obtain first-order regret bounds for the contextual bandit problem. In the present paper, we resolve this open problem by presenting a new strategy based on augmenting the policy space.


title: Zero-sum Analogues of van der Waerden's Theorem on Arithmetic Progressions

abstract: Let $r$ and $k$ be positive integers with $r \mid k$. Denote by $w_{\mathrm{\mathfrak{z}}}(k;r)$ the minimum integer such that every coloring $\chi:[1,w_{\mathrm{\mathfrak{z}}}(k;r)] \rightarrow \{0,1,\dots,r-1\}$ admits a $k$-term arithmetic progression $a,a+d,\dots,a+(k-1)d$ with $\sum_{j=0}^{k-1} \chi(a+jd) \equiv 0 \,(\mathrm{mod }\,r)$. We investigate these numbers as well as a "mixed" monochromatic/zero-sum analogue. We also present an interesting reciprocity between the van der Waerden numbers and $w_{\mathrm{\mathfrak{z}}}(k;r)$.


title: Search for Higgs boson decays to beyond-the-Standard-Model light bosons in four-lepton events with the ATLAS detector at $\sqrt{s}=13$ TeV

abstract: A search is conducted for a new beyond-the-Standard-Model boson using events where a Higgs boson with mass 125 GeV decays to four leptons ($\ell =$ $e$ or $\mu$). This decay is presumed to occur via an intermediate state which contains one or two on-shell, promptly decaying bosons: $H\rightarrow ZX/XX \rightarrow 4\ell$, where $X$ is a new vector boson $Z_d$ or pseudoscalar $a$ with mass between 1 and 60 GeV. The search uses $pp$ collision data collected with the ATLAS detector at the LHC with an integrated luminosity of 36.1 fb$^{-1}$ at a centre-of-mass energy $\sqrt{s}=13$ TeV. No significant excess of events above Standard Model background predictions is observed; therefore, upper limits at 95% confidence level are set on model-independent fiducial cross-sections, and on the Higgs boson decay branching ratios to vector and pseudoscalar bosons in two benchmark models.


title: Adding transmitters dramatically boosts coded-caching gains for finite file sizes

abstract: In the context of coded caching in the $K$-user BC, our work reveals the surprising fact that having multiple ($L$) transmitting antennas, dramatically ameliorates the long-standing subpacketization bottleneck of coded caching by reducing the required subpacketization to approximately its $L$th root, thus boosting the actual DoF by a multiplicative factor of up to $L$. In asymptotic terms, this reveals that as long as $L$ scales with the theoretical caching gain, then the full cumulative (multiplexing + full caching) gains are achieved with constant subpacketization. This is the first time, in any known setting, that unbounded caching gains appear under finite file-size constraints. The achieved caching gains here are up to $L$ times higher than any caching gains previously experienced in any single- or multi-antenna fully-connected setting, thus offering a multiplicative mitigation to a subpacketization problem that was previously known to hard-bound caching gains to small constants. The proposed scheme is practical and it works for all values of $K,L$ and all cache sizes. The scheme's gains show in practice: e.g. for $K=100$, when $L=1$ the theoretical caching gain of $G=10$, under the original coded caching algorithm, would have needed subpacketization $S_1 = \binom{K}{G}= \binom{100}{10} > 10^{13}$, while if extra transmitting antennas were added, the subpacketization was previously known to match or exceed $S_1$. Now for $L=5$, our scheme offers the theoretical (unconstrained) cumulative DoF $d_L = L+G = 5+10=15$, with subpacketization $S_L=\binom{K/L}{G/L} =\binom{100/5}{10/5} = 190$. The work extends to the multi-server and cache-aided IC settings, while the scheme's performance, given subpacketization $S_L=\binom{K/L}{G/L}$, is within a factor of 2 from the optimal linear sum-DoF.