title: Big Torelli groups: generation and commensuration

abstract: For any surface $\Sigma$ of infinite topological type, we study the Torelli subgroup ${\mathcal I}(\Sigma)$ of the mapping class group ${\rm MCG}(\Sigma)$, whose elements are those mapping classes that act trivially on the homology of $\Sigma$. Our first result asserts that ${\mathcal I}(\Sigma)$ is topologically generated by the subgroup of ${\rm MCG}(\Sigma)$ consisting of those elements in the Torelli group which have compact support. In particular, using results of Birman, Powell, and Putman we deduce that ${\mathcal I}(\Sigma)$ is topologically generated by separating twists and bounding pair maps. Next, we prove the abstract commensurator group of ${\mathcal I}(\Sigma)$ coincides with ${\rm MCG}(\Sigma)$. This extends the results for finite-type surfaces of Farb-Ivanov, Brendle-Margalit and KIda to the setting of infinite-type surfaces.


title: Domain Wall Motion and Interfacial Dzyaloshinskii-Moriya Interactions in Pt/Co/Ir$(t_\mathrm{Ir})$/Ta Multilayers

abstract: The interfacial Dzyaloshinskii-Moriya interaction (DMI) is important for chiral domain walls (DWs) and for stabilizing magnetic skyrmions. We study the effects of introducing increasing thicknesses of Ir, from zero to 2 nm, into a Pt/Co/Ta multilayer between the Co and Ta. We observe a marked increase in magnetic moment, due to the suppression of the dead layer at the interface with Ta, but the perpendicular anisotropy is hardly affected. All samples show a universal scaling of the field-driven domain wall velocity across the creep and depinning regimes. Asymmetric bubble expansion shows that DWs in all of the samples have the left-handed N\'{e}el form. The value of in-plane field at which the creep velocity shows a minimum drops markedly on the introduction of Ir, as does the frequency shift of the Stokes and anti-Stokes peaks in Brillouin light scattering measurements. Despite this qualitative similarity, there are quantitative differences in the DMI strength given by the two measurements, with BLS often returning higher values. Many features in bubble expansion velocity curves do not fit simple models commonly used to date, namely a lack of symmetry about the velocity minimum and no difference in velocities at high in-plane field. These features are explained by the use of a model in which the depinning field is allowed to vary with in-plane field in a way determined from micromagnetic simulations. This theory shows that velocity minimum underestimates the DMI field, consistent with BLS returning higher values. Our results suggest that the DMI at an Ir/Co interface has the same sign as the DMI at a Pt/Co interface.


title: The Adjoint Petrov-Galerkin Method for Non-Linear Model Reduction

abstract: We formulate a new projection-based reduced-ordered modeling technique for non-linear dynamical systems. The proposed technique, which we refer to as the Adjoint Petrov-Galerkin (APG) method, is derived by decomposing the generalized coordinates of a dynamical system into a resolved coarse-scale set and an unresolved fine-scale set. A Markovian finite memory assumption within the Mori-Zwanzig formalism is then used to develop a reduced-order representation of the coarse-scales. This procedure leads to a closed reduced-order model that displays commonalities with the adjoint stabilization method used in finite elements. The formulation is shown to be equivalent to a Petrov-Galerkin method with a non-linear, time-varying test basis, thus sharing some similarities with the least-squares Petrov-Galerkin method. Theoretical analysis examining a priori error bounds and computational cost is presented. Numerical experiments on the compressible Navier-Stokes equations demonstrate that the proposed method can lead to improvements in numerical accuracy, robustness, and computational efficiency over the Galerkin method on problems of practical interest. Improvements in numerical accuracy and computational efficiency over the least-squares Petrov-Galerkin method are observed in most cases.


title: On obstacle problem for mean curvature flow with driving force

abstract: In this paper, we study an obstacle problem associated with the mean curvature flow with constant driving force. Our first main result concerns interior and boundary regularity of the solution. We then study in details the large time behavior of the solution and obtain the convergence result. In particular, we give full characterization of the limiting profiles in the radially symmetric setting.


title: Crossover between tricritical and Lifshitz points in pyrochlore FeF$_{3}$

abstract: Pyrochlore FeF$_{3}$ (pyr-FeF$_{3}$) is a Heisenberg anti-ferromagnetic (AF) with a magnetic susceptibility deviating from the Curie-Weiss law, even at the room temperature. This compound shows a transition to a long-range ordered state with all-in all-out (AIAO) spin configuration. The critical properties of this transition have remained a matter of dispute. In this work, to gain more insight into the critical properties of pyr-FeF$_{3}$, using ab initio density functional theory (DFT), we obtain spin Hamiltonian of this material under the relative volume change with respect to the experimental volume ($\frac{\Delta V}{V_0}$) from $-0.2$ to $0.2$. We show that the relevant terms in the spin Hamiltonians are the AF exchange up to third neighbors, the nearest neighbor bi-quadratic and the direct Dyzaloshinski-Moriya (DM) interactions and find how these coupling constants vary under the volume change. Then we study the effect of volume change on the finite temperature critical behavior, using classical Monte Carlo (MC) simulation. We show that the spin system undergoes a weakly first order transition to AIAO at small volumes which turns to a second order transition close to the experimental structure. However, increasing $\frac{\Delta V}{V_0}$ to $\sim0.2$, systems shows a transition to a modular spin structure. This finding suggests the existence of a Lifshitz point in pyr-FeF$_{3}$ and may explain the unusual critical exponents observed for this compound.


title: Characterization of quasiholes in two-component fractional quantum Hall states and fractional Chern insulators in $|C|=2$ flat bands

abstract: We perform an exact-diagonalization study of quasihole excitations for the two-component Halperin $(221)$ state in the lowest Landau level and for several $\nu=1/3$ bosonic fractional Chern insulators in topological flat bands with Chern number $|C|=2$. Properties including the quasihole size, charge, and braiding statistics are evaluated. For the Halperin $(221)$ model state, we observe isotropic quasiholes with a clear internal structure, and obtain the quasihole charge and statistics matching the theoretical values. Interestingly, we also extract the same quasihole size, charge, and braiding statistics for the continuum model states of $|C|=2$ fractional Chern insulators, although the latter possess a "color-entangled" nature that does not exist in ordinary two-component Halperin states. We also consider two real lattice models with a band having $|C|=2$. There, we find that a quasihole can exhibit much stronger oscillations of the density profile, while having the same charge and statistics as those in the continuum models.


title: Multilingual sequence-to-sequence speech recognition: architecture, transfer learning, and language modeling

abstract: Sequence-to-sequence (seq2seq) approach for low-resource ASR is a relatively new direction in speech research. The approach benefits by performing model training without using lexicon and alignments. However, this poses a new problem of requiring more data compared to conventional DNN-HMM systems. In this work, we attempt to use data from 10 BABEL languages to build a multi-lingual seq2seq model as a prior model, and then port them towards 4 other BABEL languages using transfer learning approach. We also explore different architectures for improving the prior multilingual seq2seq model. The paper also discusses the effect of integrating a recurrent neural network language model (RNNLM) with a seq2seq model during decoding. Experimental results show that the transfer learning approach from the multilingual model shows substantial gains over monolingual models across all 4 BABEL languages. Incorporating an RNNLM also brings significant improvements in terms of %WER, and achieves recognition performance comparable to the models trained with twice more training data.


title: Line identifications in the spectrum of $\chi$ Lupi A

abstract: We present new abundance determinations for the sharp-lined HgMn star \chi{} Lupi A from archival FEROS spectra. Selected unblended lines with accurate atomic data have been synthesized to derive new abundances for \chi{} Lupi A. These spectra show evidence of the presence of blue-shifted lines of the companion \chi{} Lupi B. The synthesis of the spectrum of \chi{} Lupi B confirms that this star is cooler, probably an early A star with normal abundances.


title: The role of the tachyonic instability in Horndeski gravity

abstract: The tachyonic instability is associated with the unboundedness of the Hamiltonian from below and results in an unstable low-$k$ regime. In the cosmological exploration of modified gravity, it is seldom taken into account, with more focus given to the popular no-ghost and no-gradient conditions. The latter though are intrinsically high-$k$ statements. Here we combine all three conditions into a full set of requirements that we show to guarantee stability on the whole range of cosmological scales. We then explore the impact of the different conditions on the parameter space of scalar-tensor gravity, with particular emphasis on the no-tachyon one. We focus on Horndeski gravity and also consider separately the two subclasses of $f(R)$ and Generalized Brans Dicke theories. We identify several interesting features, for instance in the parameter space of designer $f(R)$ on a $w$CDM background, shedding light on previous findings. When looking at the phenomenological functions $\Sigma$ and $\mu$, associated to the weak lensing and clustering potential respectively, we find that in the case of Generalized Brans Dicke the no-tachyon condition clearly cuts models with $\mu\,,\,\Sigma>1$. This effect is less prevalent in the Horndeski case due to the larger amount of free functions in the theory.


title: Stochastic Navier-Stokes equation for a compressible fluid: two-loop approximation

abstract: A model of fully developed turbulence of a compressible fluid is briefly reviewed. It is assumed that fluid dynamics is governed by a stochastic version of Navier-Stokes equation. We show how corresponding field theoretic-model can be obtained and further analyzed by means of the perturbative renormalization group. Two fixed points of the RG equations are found. The perturbation theory is constructed within formal expansion scheme in parameter $y$, which describes scaling behavior of random force fluctuations. Actual calculations for fixed points' coordinates are performed to two-loop order.


title: Graph Embedding with Shifted Inner Product Similarity and Its Improved Approximation Capability

abstract: We propose shifted inner-product similarity (SIPS), which is a novel yet very simple extension of the ordinary inner-product similarity (IPS) for neural-network based graph embedding (GE). In contrast to IPS, that is limited to approximating positive-definite (PD) similarities, SIPS goes beyond the limitation by introducing bias terms in IPS; we theoretically prove that SIPS is capable of approximating not only PD but also conditionally PD (CPD) similarities with many examples such as cosine similarity, negative Poincare distance and negative Wasserstein distance. Since SIPS with sufficiently large neural networks learns a variety of similarities, SIPS alleviates the need for configuring the similarity function of GE. Approximation error rate is also evaluated, and experiments on two real-world datasets demonstrate that graph embedding using SIPS indeed outperforms existing methods.


title: A Query System for Efficiently Investigating Complex Attack Behaviors for Enterprise Security

abstract: The need for countering Advanced Persistent Threat (APT) attacks has led to the solutions that ubiquitously monitor system activities in each enterprise host, and perform timely attack investigation over the monitoring data for uncovering the attack sequence. However, existing general-purpose query systems lack explicit language constructs for expressing key properties of major attack behaviors, and their semantics-agnostic design often produces inefficient execution plans for queries. To address these limitations, we build AIQL, a novel query system that is designed with novel types of domain-specific optimizations to enable efficient attack investigation. AIQL provides (1) domain-specific data model and storage for storing the massive system monitoring data, (2) a domain-specific query language, Attack Investigation Query Language (AIQL) that integrates critical primitives for expressing major attack behaviors, and (3) an optimized query engine based on the characteristics of the data and the semantics of the query to efficiently schedule the execution. We have deployed AIQL in NEC Labs America comprising 150 hosts. In our demo, we aim to show the complete usage scenario of AIQL by (1) performing an APT attack in a controlled environment, and (2) using AIQL to investigate such attack by querying the collected system monitoring data that contains the attack traces. The audience will have the option to perform the APT attack themselves under our guidance, and interact with the system and investigate the attack via issuing queries and checking the query results through our web UI.


title: An interacting New Holographic Dark Energy in the framework of fractal cosmology

abstract: In this paper, we study an interacting holographic dark energy model in the framework of fractal cosmology. The features of fractal cosmology could pass ultraviolet divergencies and also make a better understanding of the universe in different dimensions. We discuss a fractal FRW universe filled with the dark energy and cold dark matter interacting with each other. It is observed that the Hubble parameter embraces the recent observational range while the deceleration parameter demonstrates an accelerating universe and a behavior similar to $\Lambda$CDM. Plotting the equation of state shows that it lies in phantom region for interaction mode. We use $Om$-diagnostic tool and it shows a phantom behavior of dark energy which is a condition of avoiding the formation of black holes. Finally we execute the StateFinder diagnostic pair and all the trajectories for interacting and non-interacting state of the model meet the fixed point $\Lambda$CDM at the start of the evolution. A behavior similar to Chaplygin gas also can be observed in statefinder plane. We find that new holographic dark energy model (NHDE) in fractal cosmology expressed the consistent behavior with recent observational data and can be considered as a model to avoid the formation of black holes in comparison with the main model of NHDE in the simple FRW universe. It has also been observed that for the interaction term varying with matter density, the model generates asymptotic de-Sitter solution. However, if the interaction term varies with energy density, then the model shows Big-Rip singularity. Using our modified CAMB code, we observed that the interacting model suppresses the CMB spectrum at low multipoles $l<50$ and enhances the acoustic peaks. Based on the observational data sets used in this paper and using Metropolis-Hastings method of MCMC numerical calculation, ...


title: Wide and Deep Learning for Peer-to-Peer Lending

abstract: This paper proposes a two-stage scoring approach to help lenders decide their fund allocations in the peer-to-peer (P2P) lending market. The existing scoring approaches focus on only either probability of default (PD) prediction, known as credit scoring, or profitability prediction, known as profit scoring, to identify the best loans for investment. Credit scoring fails to deliver the main need of lenders on how much profit they may obtain through their investment. On the other hand, profit scoring can satisfy that need by predicting the investment profitability. However, profit scoring completely ignores the class imbalance problem where most of the past loans are non-default. Consequently, ignorance of the class imbalance problem significantly affects the accuracy of profitability prediction. Our proposed two-stage scoring approach is an integration of credit scoring and profit scoring to address the above challenges. More specifically, stage 1 is designed as credit scoring to identify non-default loans while the imbalanced nature of loan status is considered in PD prediction. The loans identified as non-default are then moved to stage 2 for prediction of profitability, measured by internal rate of return. Wide and deep learning is used to build the predictive models in both stages to achieve both memorization and generalization. Extensive numerical studies are conducted based on real-world data to verify the effectiveness of the proposed approach. The numerical studies indicate our two-stage scoring approach outperforms the existing credit scoring and profit scoring approaches.


title: Isomorphism testing of groups of cube-free order

abstract: A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$. If the groups are input as permutation groups, then our algorithm runs in time polynomial in the input size, improving on the previous super-polynomial bound. An implementation of our algorithm is provided for the computer algebra system {\sf GAP}.


title: Interface Selection for Power Management in UMTS/WLAN Overlaying Network

abstract: The multiple choices of access networks offer different opportunities and overcome the limitations of other technologies. Optimal selection of interface is a big challenge for multiple interfaces supported mobile terminals to make a seamless handover and to optimize the power consumption. Seamless handover, resource management, and CAC to support QoS and multiple interface management to reduce power consumption in mobile terminal are the most important issues for the UMTS/WLAN overlaying network. The access of both interfaces simultaneously can reduce the handover latency and data loss in heterogeneous handover. The MN may maintain one interface connection while other interface can be used for handover process. But the access of both interfaces increases the consumption of power in MN. In this paper we present an efficient interface selection scheme including interface selection algorithms, interface selection mechanism and CAC considering battery power consumption for overlaying networks. MN's battery power level and provision of QoS/QoE in the target interface are considered as important parameters for our interface selection algorithm.


title: Handover between Macrocell and Femtocell for UMTS based Networks

abstract: The femtocell networks that use home base station and existing xDSL or other cable line as backhaul connectivity can fulfill the upcoming demand of high data rate for wireless communication system as well as can extend the coverage area. Hence the modified handover procedure for existing networks is needed to support the macrocell/femtocell integrated network. Some modifications of existing network and protocol architecture for the integration of femtocell networks with the existing UMTS based macrocell networks are essential. These modifications change the signal flow for handover procedures due to different 2-tier cell (macrocell and femtocell) environment. The measurement of signal-to-interference ratio parameter should be considered for handover between macrocell and femtocell. A frequent and unnecessary handover is another problem for hierarchical network environment that must be optimized to improve the performance of macrocell/femtocell integrated network. In this paper, firstly we propose the concentrator based and without concentrator based femtocell network architecture. Then we present the signal flow with appropriate parameters for the handover between 3GPP UMTS based macrocell and femtocell networks. A scheme for unnecessary handoff minimization is also presented in this paper. We simulate the proposed handover optimization scheme to validate the performance.


title: Bandwidth Adaptation for Scalable Videos over Wireless Networks

abstract: Multicast/broadcast services (MBS) are able to provide video services for many users simultaneously. Fixed amount of bandwidth allocation for all of the MBS videos is not effective in terms of bandwidth utilization, overall forced call termination probability, and handover call dropping probability. Therefore, variable bandwidth allocation for the MBS videos can efficiently improve the system performance. In this paper, we propose a bandwidth allocation scheme that efficiently allocates bandwidth among the MBS sessions and the non-MBS traffic calls (e.g., voice, unicast, internet, and other background traffic). The proposed scheme reduces the bandwidth allocation for the MBS sessions during the congested traffic condition only to accommodate more number of calls in the system. Our scheme allocates variable amount of bandwidths for the BMS sessions and the non-MBS traffic calls. The performance analyses show that the proposed bandwidth adaptation scheme maximizes the bandwidth utilization and significantly reduces the handover call dropping probability and overall forced call termination probability.


title: Acoustic Nonlinearity Parameter B/A in the Suspension of Ultrasound Contrast Agents Part I: A Thermodynamic Approach

abstract: The acoustic nonlinearity parameter B/A plays a significant role in the characterization of acoustic properties of various biomaterials and biological tissues. It has the potential to be a favorable imaging modality in contrast ultrasound imaging with coated microbubbles. However, the development of effective means for evaluating the nonlinearity parameter of suspensions of ultrasound contrast agents (UCAs, also known as bubbly liquids) remains open. The present paper formulates a new equation based on the thermodynamic method that correlates both attenuation and phase velocity of linear ultrasound. The simplicity of the present method makes the B/A estimation possible with a relatively rigorous mathematical derivation. The calculated nonlinearity parameter contains the contribution of dynamic effects of bubbles, and its low-frequency limit agrees with B/A estimated by the method of mixture law when the volume fraction is below 10-4. Furthermore, the maximum B/A in bubbly liquids can reach up to105, while the minimum can be as low as -105. The negative nonlinearity parameter indicates significantly different thermodynamic properties of bubbly liquids.


title: Magnetic transitions in CaMn7O12 : a Raman observation of spin-phonon couplings

abstract: The quadruple Calcium manganite (CaMn7O12) is a multiferroic material that exhibits a giant magnetically-induced ferroelectric polarization which makes it very interesting for magnetoelectric applications. Here, we report the Raman spectroscopy study on this compound of both the phonon modes and the low energy excitations from 4 K to room temperature. A detailed study of the Raman active phonon excitations shows that three phonon modes evidence a spin-phonon coupling at TN2 = 50 K. In particular, we show that the mode at 432 cm-1 associated to Mn(B)O6 (B position of the perovskite) rotations around the [111] cubic diagonal is impacted by the magnetic transition at 50 K and its coupling to the new modulation of the Mn spin in the (a,b) plane. At low energies, two large low energy excitations are observed at 25 and 47 cm-1. The first one disappears at 50 K and the second one at 90 K. We have associated these excitations to electro-magneto-active modes.


title: Group Handover Management in Mobile Femtocellular Network Deployment

abstract: The mobile femtocell is the new paradigm for the femtocellular network deployment. It can enhance the service quality for the users inside the vehicles. The deployment of mobile femtocells generates lot of handover calls. Also, number of group handover scenarios are found in mobile femtocellular network deployment. In this paper, we focus on the resource management for the group handover in mobile femtocellular network deployment. We discuss a number of group handover scenarios. We propose a resource management scheme that contains bandwidth adaptation policy and dynamic bandwidth reservation policy. The simulation results show that the proposed bandwidth management scheme significantly reduces the handover call dropping probability without reducing the bandwidth utilization.


title: On the Surjectivity of Certain Maps II: For Generalized Projective Spaces

abstract: In this article we introduce generalized projective spaces (Definitions $[2.1, 2.5]$) and prove three main theorems in two different contexts. In the first context we prove, in main Theorem $A$, the surjectivity of the Chinese remainder reduction map associated to the generalized projective space of an ideal with a given factorization into mutually co-maximal ideals each of which is contained in finitely many maximal ideals, using the key concept of choice multiplier hypothesis (Definition $4.11$) which is satisfied. In the second context of surjectivity of the map from $k$-dimensional special linear group to the product of generalized projective spaces of $k$-mutually co-maximal ideals associating the $k$-rows or $k$-columns, we prove remaining two main Theorems $[\Omega,\Sigma]$ under certain conditions either on the ring or on the generalized projective spaces. Finally in the last section we pose open Questions $[9.1, 9.2]$ whose answers in a greater generality is not known.


title: Low temperature scattering with the R-matrix method: the Morse potential

abstract: Experiments are starting to probe collisions and chemical reactions between atoms and molecules at ultra-low temperatures. We have developed a new theoretical procedure for studying these collisions using the R-matrix method. Here this method is tested for the atom -- atom collisions described by a Morse potential. Analytic solutions for continuum states of the Morse potential are derived and compared with numerical results computed using an R-matrix method where the inner region wavefunctions are obtained using a standard nuclear motion algorithm. Results are given for eigenphases and scattering lengths. Excellent agreement is obtained in all cases. Progress in developing a general procedure for treating ultra-low energy reactive and non-reactive collisions is discussed.


title: On the Benefits of Network-Level Cooperation in Millimeter-Wave Communications

abstract: Relaying techniques for millimeter-wave wireless networks represent a powerful solution for improving the transmission performance. In this work, we quantify the benefits in terms of delay and throughput for a random-access multi-user millimeter-wave wireless network, assisted by a full-duplex network cooperative relay. The relay is equipped with a queue for which we analyze the performance characteristics (e.g., arrival rate, service rate, average size, and stability condition). Moreover, we study two possible transmission schemes: fully directional and broadcast. In the former, the source nodes transmit a packet either to the relay or to the destination by using narrow beams, whereas, in the latter, the nodes transmit to both the destination and the relay in the same timeslot by using a wider beam, but with lower beamforming gain. In our analysis, we also take into account the beam alignment phase that occurs every time a transmitter node changes the destination node. We show how the beam alignment duration, as well as position and number of transmitting nodes, significantly affect the network performance. Moreover, we illustrate the optimal transmission scheme (i.e., broadcast or fully directional) for several system parameters and show that a fully directional transmission is not always beneficial, but, in some scenarios, broadcasting and relaying can improve the performance in terms of throughput and delay.


title: Compatible Matrices of Spearman's Rank Correlation

abstract: In this paper, we provide a negative answer to a long-standing open problem on the compatibility of Spearman's rho matrices. Following an equivalence of Spearman's rho matrices and linear correlation matrices for dimensions up to 9 in the literature, we show non-equivalence for dimensions 12 or higher. In particular, we connect this problem with the existence of a random vector under some linear projection restrictions in two characterization results.


title: Hilltop inflation and generation of helical magnetic field

abstract: Primordial magnetic field generated in the inflationary era can act as a viable source for the present day intergalactic magnetic field of sufficient strength. We present a fundamental origin for such a primordial generation of the magnetic field, namely through anomaly cancellation of $U(1)$ gauge field in quantum electrodynamics in the context of hilltop inflation. We have analysed at length the power spectrum of the magnetic field, thus generated, which turns out to be helical in nature. We have also found that magnetic power spectrum has significant scale-dependence giving rise to a non-trivial magnetic spectral index, a key feature of this model. Interestingly, there exists a large parameter space, where magnetic field of significant strength can be produced.


title: Sentence Segmentation for Classical Chinese Based on LSTM with Radical Embedding

abstract: In this paper, we develop a low than character feature embedding called radical embedding, and apply it on LSTM model for sentence segmentation of pre modern Chinese texts. The datasets includes over 150 classical Chinese books from 3 different dynasties and contains different literary styles. LSTM CRF model is a state of art method for the sequence labeling problem. Our new model adds a component of radical embedding, which leads to improved performances. Experimental results based on the aforementioned Chinese books demonstrates a better accuracy than earlier methods on sentence segmentation, especial in Tang Epitaph texts.


title: Text Classification of the Precursory Accelerating Seismicity Corpus: Inference on some Theoretical Trends in Earthquake Predictability Research from 1988 to 2018

abstract: Text analytics based on supervised machine learning classifiers has shown great promise in a multitude of domains, but has yet to be applied to Seismology. We test various standard models (Naive Bayes, k-Nearest Neighbors, Support Vector Machines, and Random Forests) on a seismological corpus of 100 articles related to the topic of precursory accelerating seismicity, spanning from 1988 to 2010. This corpus was labelled in Mignan (2011) with the precursor whether explained by critical processes (i.e., cascade triggering) or by other processes (such as signature of main fault loading). We investigate rather the classification process can be automatized to help analyze larger corpora in order to better understand trends in earthquake predictability research. We find that the Naive Bayes model performs best, in agreement with the machine learning literature for the case of small datasets, with cross-validation accuracies of 86% for binary classification. For a refined multiclass classification ('non-critical process' < 'agnostic' < 'critical process assumed' < 'critical process demonstrated'), we obtain up to 78% accuracy. Prediction on a dozen of articles published since 2011 shows however a weak generalization with a F1-score of 60%, only slightly better than a random classifier, which can be explained by a change of authorship and use of different terminologies. Yet, the model shows F1-scores greater than 80% for the two multiclass extremes ('non-critical process' versus 'critical process demonstrated') while it falls to random classifier results (around 25%) for papers labelled 'agnostic' or 'critical process assumed'. Those results are encouraging in view of the small size of the corpus and of the high degree of abstraction of the labelling. Domain knowledge engineering remains essential but can be made transparent by an investigation of Naive Bayes keyword posterior probabilities.


title: Illumination Pattern Design with Deep Learning for Single-Shot Fourier Ptychographic Microscopy

abstract: Fourier ptychographic microscopy allows for the collection of images with a high space-bandwidth product at the cost of temporal resolution. In Fourier ptychographic microscopy, the light source of a conventional widefield microscope is replaced with a light-emitting diode (LED) matrix, and multiple images are collected with different LED illumination patterns. From these images, a higher-resolution image can be computationally reconstructed without sacrificing field-of-view. We use deep learning to achieve single-shot imaging without sacrificing the space-bandwidth product, reducing the acquisition time in Fourier ptychographic microscopy by a factor of 69. In our deep learning approach, a training dataset of high-resolution images is used to jointly optimize a single LED illumination pattern with the parameters of a reconstruction algorithm. Our work paves the way for high-throughput imaging in biological studies.


title: A Pariser-Parr-Pople Model Based Study of Optoelectronic Properties of Phenacenes

abstract: In this paper we present a computational study of linear optical absorption in phenacene class of polyaromatic hydrocarbons. For the purpose, we have employed a correlated-electron methodology based upon configuration-interaction (CI) approach, and the Pariser-Parr-Pople (PPP) $\pi$-electron model Hamiltonian. The molecules studied range from the smallest one with three phenyl rings (phenanthrene) to the largest one with nine phenyl rings. These structures can also be seen as finite-sized hydrogen-passivated armchair graphene nanoribbons of increasing lengths. Our CI calculations reveal that the electron-correlation effects have a profound influence not just on the peak locations, but also on the relative intensity profile of the computed spectra. We also compare our phenacene results with isomeric oligo-acenes, and find that in all the cases former have a wider optical gap than the latter. Our results are found to be in very good agreement with the experiments, where available.


title: The Hessian Riemannian flow and Newton's method for Effective Hamiltonians and Mather measures

abstract: Effective Hamiltonians arise in several problems, including homogenization of Hamilton--Jacobi equations, nonlinear control systems, Hamiltonian dynamics, and Aubry--Mather theory. In Aubry--Mather theory, related objects, Mather measures, are also of great importance. Here, we combine ideas from mean-field games with the Hessian Riemannian flow to compute effective Hamiltonians and Mather measures simultaneously. We prove the convergence of the Hessian Riemannian flow in the continuous setting. For the discrete case, we give both the existence and the convergence of the Hessian Riemannian flow. In addition, we explore a variant of Newton's method that greatly improves the performance of the Hessian Riemannian flow. In our numerical experiments, we see that our algorithms preserve the non-negativity of Mather measures and are more stable than {related} methods in problems that are close to singular. Furthermore, our method also provides a way to approximate stationary MFGs.


title: Lecture Notes on Topological Crystalline Insulators

abstract: We give an introduction to topological crystalline insulators, that is, gapped ground states of quantum matter that are not adiabatically connected to an atomic limit without breaking symmetries that include spatial transformations, like mirror or rotational symmetries. To deduce the topological properties, we use non-Abelian Wilson loops. We also discuss in detail higher-order topological insulators with hinge and corner states, and in particular present interacting bosonic models for the latter class of systems.


title: Smallest cyclically covering subspaces of $\mathbb{F}_q^n$, and lower bounds in Isbell's conjecture

abstract: For a prime power $q$ and a positive integer $n$, we say a subspace $U$ of ${\mathbb{F}_q^n}$ is {\em cyclically covering} if the union of the cyclic shifts of $U$ is equal to $\mathbb{F}_q^n$. We investigate the problem of determining the minimum possible dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. (This is a natural generalisation of a problem posed in 1991 by the first author.) We prove several upper and lower bounds, and for each fixed $q$, we answer the question completely for infinitely many values of $n$ (which take the form of certain geometric series). Our results imply lower bounds for a well-known conjecture of Isbell, and a generalisation theoreof, supplementing lower bounds due to Spiga. We also consider the analogous problem for general representations of groups. We use arguments from combinatorics, representation theory and finite field theory.


title: Two-impurity-entanglement generation by electron scattering in zigzag phosphorene nanoribbons

abstract: In this paper, we investigate how two on-side doped impurities with net magnetic moments in an edge chain of a zigzag phosphorene nanoribbon~(zPNR) can be entangled by scattering of the traveling edge-state electrons. To this end, in the first step, we employ the Lippmann-Schwinger equation as well as the Green's function approach to study the scattering of the free traveling electrons from two magnetic impurities in a one-dimensional tight-binding chain. Then, following the same formalism, that is shown that the behavior of two on-side spin impurities in the edge chain of a zPNR in responding to the scattering of the edge-state traveling electrons is very similar to what happens for the one-dimensional chain. In both cases, considering a known incoming wave state, the reflected and transmitted parts of the final wave state are evaluated analytically. Using the obtained results, the related partial density matrices and the reflection and transmission probabilities are computable. Negativity as a measure of the produced entanglement in the final state is calculated and the results are discussed. Our theoretical model actually proposes a method, which is perhaps experimentally performable to create the entanglement in the state of the impurities.


title: Security Analysis of Deep Neural Networks Operating in the Presence of Cache Side-Channel Attacks

abstract: Recent work has introduced attacks that extract the architecture information of deep neural networks (DNN), as this knowledge enhances an adversary's capability to conduct black-box attacks against the model. This paper presents the first in-depth security analysis of DNN fingerprinting attacks that exploit cache side-channels. First, we define the threat model for these attacks: our adversary does not need the ability to query the victim model; instead, she runs a co-located process on the host machine victim's deep learning (DL) system is running and passively monitors the accesses of the target functions in the shared framework. Second, we introduce DeepRecon, an attack that reconstructs the architecture of the victim network by using the internal information extracted via Flush+Reload, a cache side-channel technique. Once the attacker observes function invocations that map directly to architecture attributes of the victim network, the attacker can reconstruct the victim's entire network architecture. In our evaluation, we demonstrate that an attacker can accurately reconstruct two complex networks (VGG19 and ResNet50) having observed only one forward propagation. Based on the extracted architecture attributes, we also demonstrate that an attacker can build a meta-model that accurately fingerprints the architecture and family of the pre-trained model in a transfer learning setting. From this meta-model, we evaluate the importance of the observed attributes in the fingerprinting process. Third, we propose and evaluate new framework-level defense techniques that obfuscate our attacker's observations. Our empirical security analysis represents a step toward understanding the DNNs' vulnerability to cache side-channel attacks.


title: A Droplet Approach Based on Raptor Codes for Distributed Computing With Straggling Servers

abstract: We propose a coded distributed computing scheme based on Raptor codes to address the straggler problem. In particular, we consider a scheme where each server computes intermediate values, referred to as droplets, that are either stored locally or sent over the network. Once enough droplets are collected, the computation can be completed. Compared to previous schemes in the literature, our proposed scheme achieves lower computational delay when the decoding time is taken into account.


title: Modeling and Simulation of Macroscopic Pedestrian Flow Models

abstract: We analyze numerically some macroscopic models of pedestrian motion such as Hughes model [1] and mean field game with nonlinear mobilities [2] modeling fast exit scenarios in pedestrian crowds. A model introduced by Hughes consisting of a non-linear conservation law for the density of pedestrians coupled with an Eikonal equation for a potential modeling the common sense of the task. Mean field game with nonlinear mobilities is obtained by an optimal control approach, where the motion of every pedestrian is determined by minimizing a cost functional, which depends on the position, velocity, exit time and the overall density of people. We consider a parabolic optimal control problem of nonlinear mobility in pedestrian dynamics, which leads to a mean field game structure. We show how optimal control problem related to the Hughes model for pedestrian motion. Furthermore we provide several numerical results which relate both models in one and two dimensions. References [1] Hughes R.L.: A continuum theory for the flow of pedestrians, Transportation Research Part B: Methodological, 36, 507-535 (2000) [2] Burger M., Di Francesco M., Markowich P.A., Wolfram M-T.: Mean field games with nonlinear mobilities in pedestrian dynamics, Discrete and Continuous Dynamical Systems. Series B. A Journal Bridging Mathematics and Sciences, 19, 1311-1333 (2014)


title: Effect of Inhomogeneity on Primordial Black Hole Formation in the Matter Dominated Era

abstract: We investigate the effect of inhomogeneity on primordial black hole formation in the matter dominated era. In the gravitational collapse of an inhomogeneous density distribution, a black hole forms if apparent horizon prevents information of the central region of the configuration from leaking. Since information cannot propagate faster than the speed of light, we identify the threshold of the black hole formation by considering the finite speed for propagation of information. We show that the production probability $\beta_{inhom}(\sigma)$ of primordial black holes, where $\sigma$ is density fluctuation at horizon entry, is significantly enhanced from that derived in previous work in which the speed of propagation was effectively regarded as infinite. For $\sigma \ll 1$, we obtain $\beta_{inhom}\simeq 3.70 \sigma^{3/2}$, which is larger by about an order of magnitude than the probability derived in earlier work by assuming instantaneous propagation of information.


title: An Improved Algorithm for Incremental Cycle Detection and Topological Ordering in Sparse Graphs

abstract: We consider the problem of incremental cycle detection and topological ordering in a directed graph $G = (V, E)$ with $|V| = n$ nodes. In this setting, initially the edge-set $E$ of the graph is empty. Subsequently, at each time-step an edge gets inserted into $G$. After every edge-insertion, we have to report if the current graph contains a cycle, and as long as the graph remains acyclic, we have to maintain a topological ordering of the node-set $V$. Let $m$ be the total number of edges that get inserted into $G$. We present a randomized algorithm for this problem with $\tilde{O}(m^{4/3})$ total expected update time.


title: Enhancing active wave absorption in RANS models

abstract: In this work we review the most common methods for absorbing waves in Reynolds-Averaged Navier-Stokes (RANS) models. The limitations of active wave absorption, originating from its initial assumption of linear wave theory in shallow waters are overcome and the range of applicability is extended to any relative water depth conditions by re-deriving the formulation. The new Extended Range Active Wave Absorption (ER-AWA) overperforms the traditional implementation in all the tests performed, which comprise solitary waves and regular waves from shallow to deep waters. Moreover, the combined use of a relaxation zone and ER-AWA is tested to further reduce wave reflections. This is most often achieved for a given set of parameters, although some case by case tuning of the relaxation zone parameters would be needed to obtain the best overall performance.


title: Autonomous on-board data processing and instrument calibration software for the SO/PHI

abstract: The extension of on-board data processing capabilities is an attractive option to reduce telemetry for scientific instruments on deep space missions. The challenges that this presents, however, require a comprehensive software system, which operates on the limited resources a data processing unit in space allows. We implemented such a system for the Polarimetric and Helioseismic Imager (PHI) on-board the Solar Orbiter (SO) spacecraft. It ensures autonomous operation to handle long command-response times, easy changing of the processes after new lessons have been learned and meticulous book-keeping of all operations to ensure scientific accuracy. This contribution presents the requirements and main aspects of the software implementation, followed by an example of a task implemented in the software frame, and results from running it on SO/PHI. The presented example shows that the different parts of the software framework work well together, and that the system processes data as we expect. The flexibility of the framework makes it possible to use it as a baseline for future applications with similar needs and limitations as SO/PHI.


title: k-price auctions and Combination auctions

abstract: We provide an exact analytical solution of the Nash equilibrium for $k$- price auctions. We also introduce a new type of auction and demonstrate that it has fair solutions other than the second price auctions, therefore paving the way for replacing second price auctions.


title: Can the $\psi(4040)$ explain the peak associated with $Y(4008)$?

abstract: We study the well-known resonance $\psi(4040)$, corresponding to a $3^{3}S_{1}$ charm-anticharm vector state $\psi(3S)$, within a QFT approach, in which the decay channels into $DD$, $D^{\ast}D$, $D^{\ast}D^{\ast}$, $D_{s}D_{s}$ and $D_{s}^{\ast}D_{s}$ are considered. The spectral function shows sizable deviations from a Breit-Wigner shape (an enhancement, mostly generated by $DD^{\ast}$ loops, occurs); moreover, besides the $c\bar{c}$ pole of $\psi(4040)$, a second dynamically generated broad pole at $4$ GeV emerges. Naively, it is tempting to identify this new pole with the unconfirmed state $Y(4008).$ Yet, this state was not seen in the reaction $e^{+}e^{-}\rightarrow\psi(4040)\rightarrow DD^{\ast}$, but in processes with $\pi^{+}\pi^{-}J/\psi$ in the final state. A detailed study shows a related but different mechanism: a broad peak at $4$ GeV in the process $e^{+}e^{-}\rightarrow\psi(4040)\rightarrow DD^{\ast }\rightarrow\pi^{+}\pi^{-}J/\psi$ appears when $DD^{\ast}$ loops are considered. Its existence in this reaction is not necessarily connected to the existence of a dynamically generated pole, but the underlying mechanism - the strong coupling of $c\bar{c}$ to \ $DD^{\ast}$ loops - can generate both of them. Thus, the controversial state $Y(4008)$ may not be a genuine resonance, but a peak generated by the $\psi(4040)$ and $D^{\ast}D$ loops with $\pi^{+}\pi^{-}J/\psi$ in the final state.


title: Regression Analyses of Distributions using Quantile Functional Regression

abstract: Radiomics involves the study of tumor images to identify quantitative markers explaining cancer heterogeneity. The predominant approach is to extract hundreds to thousands of image features, including histogram features comprised of summaries of the marginal distribution of pixel intensities, which leads to multiple testing problems and can miss out on insights not contained in the selected features. In this paper, we present methods to model the entire marginal distribution of pixel intensities via the quantile function as functional data, regressed on a set of demographic, clinical, and genetic predictors. We call this approach quantile functional regression, regressing subject-specific marginal distributions across repeated measurements on a set of covariates, allowing us to assess which covariates are associated with the distribution in a global sense, as well as to identify distributional features characterizing these differences, including mean, variance, skewness, and various upper and lower quantiles. To account for smoothness in the quantile functions, we introduce custom basis functions we call quantlets that are sparse, regularized, near-lossless, and empirically defined, adapting to the features of a given data set. We fit this model using a Bayesian framework that uses nonlinear shrinkage of quantlet coefficients to regularize the functional regression coefficients and provides fully Bayesian inference after fitting a Markov chain Monte Carlo. We demonstrate the benefit of the basis space modeling through simulation studies, and apply the method to Magnetic resonance imaging (MRI) based radiomic dataset from Glioblastoma Multiforme to relate imaging-based quantile functions to demographic, clinical, and genetic predictors, finding specific differences in tumor pixel intensity distribution between males and females and between tumors with and without DDIT3 mutations.


title: Continuum Schroedinger operators for sharply terminated graphene-like structures

abstract: We study the single electron model of a semi-infinite graphene sheet interfaced with the vacuum and terminated along a zigzag edge. The model is a Schroedinger operator acting on $L^2(\mathbb{R}^2)$: $H^\lambda_{\rm edge}=-\Delta+\lambda^2 V_\sharp$, with a potential $V_\sharp$ given by a sum of translates an atomic potential well, $V_0$, of depth $\lambda^2$, centered on a subset of the vertices of a discrete honeycomb structure with a zigzag edge. We give a complete analysis of the low-lying energy spectrum of $H^\lambda_{\rm edge}$ in the strong binding regime ($\lambda$ large). In particular, we prove scaled resolvent convergence of $H^\lambda_{\rm edge}$ acting on $L^2(\mathbb{R}^2)$, to the (appropriately conjugated) resolvent of a limiting discrete tight-binding Hamiltonian acting in $l^2(\mathbb{N}_0;\mathbb{C}^2)$. We also prove the existence of {\it edge states}: solutions of the eigenvalue problem for $H^\lambda_{\rm edge}$ which are localized transverse to the edge and pseudo-periodic (propagating or plane-wave like) parallel to the edge. These edge states arise from a "flat-band" of eigenstates the tight-binding Hamiltonian.

categories: math.AP cond-mat.mes-hall cond-mat.mtrl-sci math-ph math.MP quant-ph


title: The Influence of Canyon Shadowing on Device-to-Device Connectivity in Urban Scenario

abstract: In this work, we use percolation theory to study the feasibility of large-scale connectivity of relay-augmented device-to-device (D2D) networks in an urban scenario, featuring a haphazard system of streets and canyon shadowing allowing only for line-of-sight (LOS) communications in a limited finite range. We use a homogeneous Poisson-Voronoi tessellation (PVT) model of streets with homogeneous Poisson users (devices) on its edges and independent Bernoulli relays on the vertices. Using this model, we demonstrated the existence of a minimal threshold for relays below which large-scale connectivity of the network is not possible, regardless of all other network parameters. Through simulations, we estimated this threshold to 71.3%. Moreover, if the mean street length is not larger than some threshold (predicted to 74.3% of the communication range; which might be the case in a typical urban scenario) then any (whatever small) density of users can be compensated by equipping more crossroads with relays. Above this latter threshold, good connectivity requires some minimal density of users, compensated by the relays in a way we make explicit. The existence of the above regimes brings interesting qualitative arguments to the discussion on the possible D2D deployment scenarios.


title: Correlation between scale-invariant normal state resistivity and superconductivity in an electron-doped cuprate

abstract: An understanding of the normal state in the high-temperature superconducting cuprates is crucial to the ultimate understanding of the long-standing problem of the origin of the superconductivity itself. This so-called strange metal state is thought to be associated with a quantum critical point (QCP) hidden beneath the superconductivity(1,2). In electron-doped cuprates in contrast to hole-doped cuprates it is possible to access the normal state at very low temperatures and low magnetic fields to study this putative QCP and to probe the T~0 K state of these materials(3,4). We report measurements of the low temperature normal state magnetoresistance (MR) of the n-type cuprate system La2-xCexCuO4 (LCCO) and find that it is characterized by a linear-in-field behavior, which follows a scaling relation with applied field and temperature, for doping (x) above the putative QCP (x= 0.14)(5). This unconventional behavior suggests that magnetic fields probe the same physics that gives rise to the anomalous low-temperature linear-in-T resistivity(4). The magnitude of the linear MR decreases as Tc decreases and goes to zero at the end of the superconducting dome (x ~0.175) above which a conventional quadratic MR is found. These results show that there is a strong correlation between the quantum critical excitations of the strange metal state and the high-Tc superconductivity.


title: Yet another characterization of the Pisot substitution conjecture

abstract: We give a sufficient geometric condition for a subshift to be measurably isomorphic to a domain exchange and to a translation on a torus. And for an irreducible unit Pisot substitution, we introduce a new topology on the discrete line and we give a simple necessary and sufficient condition for the symbolic system to have pure discrete spectrum. This condition gives rise to an algorithm based on computation of automata. To see the power of this criterion, we provide families of substitutions that satisfies the Pisot substitution conjecture: 1) $a \mapsto a^kbc$, $b \mapsto c$, $c \mapsto a$, for $k \in \mathbb{N}$ and 2) $a \mapsto a^lba^{k-l}$, $b \mapsto c$, $c \mapsto a$, for $k \in \mathbb{N}_{\geq 1}$, for $0 \leq l \leq k$ using different methods. And we also provide an example of $\mathcal{S}$-adic system with pure discrete spectrum everywhere.


title: Dividend Policy and Capital Structure of a Defaultable Firm

abstract: Default risk significantly affects the corporate policies of a firm. We develop a model in which a limited liability entity subject to Poisson default shock jointly sets its dividend policy and capital structure to maximize the expected lifetime utility from consumption of risk averse equity investors. We give a complete characterization of the solution to the singular stochastic control problem. The optimal policy involves paying dividends to keep the ratio of firm's equity value to investors' wealth below a critical threshold. Dividend payout acts as a precautionary channel to transfer wealth from the firm to investors for mitigation of losses in the event of default. Higher the default risk, more aggressively the firm leverages and pays dividends.


title: The unbearable hardness of unknotting

abstract: We prove that deciding if a diagram of the unknot can be untangled using at most $k$ Riedemeister moves (where $k$ is part of the input) is NP-hard. We also prove that several natural questions regarding links in the $3$-sphere are NP-hard, including detecting whether a link contains a trivial sublink with $n$ components, computing the unlinking number of a link, and computing a variety of link invariants related to four-dimensional topology (such as the $4$-ball Euler characteristic, the slicing number, and the $4$-dimensional clasp number).


title: An arithmetic count of the lines meeting four lines in P^3

abstract: We enrich the classical count that there are two complex lines meeting four lines in space to an equality of isomorphism classes of bilinear forms. For any field $k$, this enrichment counts the number of lines meeting four lines defined over $k$ in $\mathbb{P}^3_k$, with such lines weighted by their fields of definition together with information about the cross-ratio of the intersection points and spanning planes. We generalize this example to an infinite family of such enrichments, obtained using an Euler number in $\mathbb{A}^1$-homotopy theory. The classical counts are recovered by taking the rank of the bilinear forms. In the appendix, the condition that the four lines each be defined over $k$ is relaxed to the condition that the set of four lines being defined over $k$.


title: Bachian Gravity in Three Dimensions

abstract: In three dimensions, there exist modifications of Einstein's gravity akin to the topologically massive gravity that describe massive gravitons about maximally symmetric backgrounds. These theories are built on the three-dimensional version of the Bach tensor (a curl of the Cotton-York tensor) and its higher derivative generalizations; and they are on-shell consistent without a Lagrangian description based on the metric tensor alone. We give a generic construction of these models, find the spectra and compute the conserved quantities for the Banados-Teitelboim-Zanelli black hole.


title: CINIC-10 is not ImageNet or CIFAR-10

abstract: In this brief technical report we introduce the CINIC-10 dataset as a plug-in extended alternative for CIFAR-10. It was compiled by combining CIFAR-10 with images selected and downsampled from the ImageNet database. We present the approach to compiling the dataset, illustrate the example images for different classes, give pixel distributions for each part of the repository, and give some standard benchmarks for well known models. Details for download, usage, and compilation can be found in the associated github repository.


title: A scalable parallel finite element framework for growing geometries. Application to metal additive manufacturing

abstract: This work introduces an innovative parallel, fully-distributed finite element framework for growing geometries and its application to metal additive manufacturing. It is well-known that virtual part design and qualification in additive manufacturing requires highly-accurate multiscale and multiphysics analyses. Only high performance computing tools are able to handle such complexity in time frames compatible with time-to-market. However, efficiency, without loss of accuracy, has rarely held the centre stage in the numerical community. Here, in contrast, the framework is designed to adequately exploit the resources of high-end distributed-memory machines. It is grounded on three building blocks: (1) Hierarchical adaptive mesh refinement with octree-based meshes; (2) a parallel strategy to model the growth of the geometry; (3) state-of-the-art parallel iterative linear solvers. Computational experiments consider the heat transfer analysis at the part scale of the printing process by powder-bed technologies. After verification against a 3D benchmark, a strong-scaling analysis assesses performance and identifies major sources of parallel overhead. A third numerical example examines the efficiency and robustness of (2) in a curved 3D shape. Unprecedented parallelism and scalability were achieved in this work. Hence, this framework contributes to take on higher complexity and/or accuracy, not only of part-scale simulations of metal or polymer additive manufacturing, but also in welding, sedimentation, atherosclerosis, or any other physical problem where the physical domain of interest grows in time.


title: Shock waves in colliding Fermi gases at finite temperature

abstract: We study the formation and the dynamics of a shock wave originating from the collision between two ultracold clouds of strongly interacting fermions as observed at a lower temperature in an experiment by Joseph et al. [Phys. Rev. Lett. 106, 150401 (2011)]. We use the Boltzmann equation within the test-particle method to describe the evolution of the system in the normal phase. We also show a direct comparison with the hydrodynamic approach and insist on the necessity of including a shear viscosity and a thermal conductivity term in the equations to prevent unphysical behavior from taking place.


title: The generating graph of the abelian groups

abstract: For a group $G,$ let $\Gamma(G)$ denote the graph defined on the elements of $G$ in such a way that two distinct vertices are connected by an edge if and only if they generate $G$. Moreover let $\Gamma^*(G)$ be the subgraph of $\Gamma(G)$ that is induced by all the vertices of $\Gamma(G)$ that are not isolated. We prove that if $G$ is a 2-generated non-cyclic abelian group then $\Gamma^*(G)$ is connected. Moreover $\mathrm{diam}(\Gamma^*(G))=2$ if the torsion subgroup of $G$ is non-trivial and $\mathrm{diam}(\Gamma^*(G))=\infty$ otherwise. If $F$ is the free group of rank 2, then $\Gamma^*(F)$ is connected and we deduce from $\mathrm{diam}(\Gamma^*(\mathbb{Z}\times \mathbb{Z}))=\infty$ that $\mathrm{diam}(\Gamma^*(F))=\infty.$


title: $Z_S/Z_P$ from three-flavour lattice QCD

abstract: We report on advances in the non-perturbative determination of the ratio $Z_S/Z_P$ of the pseudoscalar to the scalar renormalization constants in three-flavour lattice QCD with Wilson-clover quarks and tree-level Symanzik improved gluons. The computations are based on the Ward identity approach, using Schr\"odinger functional boundary conditions. Our results for $Z_S/Z_P$ cover a range of couplings along a line of constant physics with lattice spacings of about 0.09 fm and below, relevant for phenomenological applications such as the calculation of renormalized quark masses.


title: Fundamental Limits of Covert Bit Insertion in Packets

abstract: Covert communication is necessary when revealing the mere existence of a message leaks sensitive information to an attacker. Consider a network link where an authorized transmitter Jack sends packets to an authorized receiver Steve, and the packets visit Alice, Willie, and Bob, respectively, before they reach Steve. Covert transmitter Alice wishes to alter the packet stream in some way to send information to covert receiver Bob without watchful and capable adversary Willie being able to detect the presence of the message. In our previous works, we addressed two techniques for such covert transmission from Alice to Bob: packet insertion and packet timing. In this paper, we consider covert communication via bit insertion in packets with available space (e.g., with size less than the maximum transmission unit). We consider three scenarios: 1) packet sizes are independent and identically distributed (i.i.d.) with a probability mass function (pmf) whose support is a set of one bit spaced values; 2) packet sizes are i.i.d. with a pmf whose support is arbitrary; 3) packet sizes may be dependent. For the first and second assumptions, we show that Alice can covertly insert $\mathcal{O}(\sqrt{n})$ bits of information in a flow of $n$ packets; conversely, if she inserts $\omega(\sqrt{n})$ bits of information, Willie can detect her with arbitrarily small error probability. For the third assumption, we prove Alice can covertly insert on average $\mathcal{O}(c(n)/\sqrt{n})$ bits in a sequence of $n$ packets, where $c(n)$ is the average number of conditional pmf of packet sizes given the history, with a support of at least size two.


title: Chang's Conjecture with $\square_{\omega_1, 2}$ from an $\omega_1$-Erd\H{o}s Cardinal

abstract: Answering a question of Sakai, we show that the existence of an $\omega_1$-Erd\H{o}s cardinal suffices to obtain the consistency of Chang's Conjecture with $\square_{\omega_1, 2}$. By a result of Donder this is best possible. We also give an answer to another question of Sakai relating to the incompatibility of $\square_{\lambda, 2}$ and $(\lambda^+, \lambda) \twoheadrightarrow (\kappa^+, \kappa)$ for uncountable $\kappa$.


title: Simple and efficient continuous data assimilation of evolution equations via algebraic nudging

abstract: We introduce, analyze and test a new interpolation operator for use with continuous data assimilation (DA) of evolution equations that are discretized spatially with the finite element method. The interpolant is constructed as an approximation of the L2 projection operator onto piecewise constant functions on a coarse mesh, but which allows nudging to be done completely at the linear algebraic level, independent of the rest of the discretization, with a diagonal matrix that is simple to construct. We prove the new operator maintains stability and accuracy properties, and we apply it to algorithms for both fluid transport DA and incompressible Navier Stokes DA. For both applications we prove the DA solutions with arbitrary initial conditions converge to the true solution (up to optimal discretization error) exponentially fast in time, and are thus long-time accurate. Results of several numerical tests are given, which both illustrate the theory and demonstrate its usefulness on practical problems.


title: Time-Message Trade-Offs in Distributed Algorithms

abstract: This paper focuses on showing time-message trade-offs in distributed algorithms for fundamental problems such as leader election, broadcast, spanning tree (ST), minimum spanning tree (MST), minimum cut, and many graph verification problems. We consider the synchronous CONGEST distributed computing model and assume that each node has initial knowledge of itself and the identifiers of its neighbors - the so-called KT1 model - a well-studied model that also naturally arises in many applications. Recently, it has been established that one can obtain (almost) singularly optimal algorithms, i.e., algorithms that have simultaneously optimal time and message complexity (up to polylogarithmic factors), for many fundamental problems in the standard KT0 model (where nodes have only local knowledge of themselves and not their neighbors). The situation is less clear in the KT1 model. In this paper, we present several new distributed algorithms in the KT1 model that trade off between time and message complexity. Our distributed algorithms are based on a uniform approach which involves constructing a sparsified spanning subgraph of the original graph - called a danner - that trades off the number of edges with the diameter of the sparsifier. In particular, a key ingredient of our approach is a distributed randomized algorithm that, given a graph G and any delta in [0, 1], with high probability constructs a danner that has diameter Otilde(D + n^(1 - delta)) and Otilde(min{m, n^(1 + delta)}) edges in Otilde(n^(1 - delta)) rounds while using Otilde(min{m, n^(1 + delta)}) messages, where n, m, and D are the number of nodes, edges, and the diameter of G, respectively. Using our danner construction, we present a family of distributed randomized algorithms for various fundamental problems that exhibit a trade-off between message and time complexity and that improve over previous results.


title: Critical Tests Of Leading Gamma Ray Burst Theories

abstract: Although it has been established observationally beyond doubt that broad-line stripped envelope supernovae (SNe) of type Ic produce long duration gamma ray bursts (GRBs), that neutron star mergers produce short hard GRBs (SHBs), and that phase transition of neutron stars in high mass X-ray binaries (HMXBs) may produce SN-Less GRBs, their production mechanism is still debated. The two leading theoretical models of GRBs and their afterglows, the fireball model and the cannonball model, have been widely confronted with the mounting observational data on GRBs and SHBs during the last two decades. Both have claimed success in reproducing the observational data, despite their complexity and diversity. This claimed success, however, may reflect multiple choices and the use of many free adjustable parameters, rather than the true validity of the models. Only confrontation of the key falsifiable predictions of the models with solid observational data can test their validity. Such critical tests are summarized in this report. Conclusions left to the reader.


title: A Pattern Logic for Automata with Outputs

abstract: We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the output values is parametric, and we provide sufficient conditions on the predicates under which the model-checking problem is decidable. We then consider three particular automata models (finite automata, transducers and automata weighted by integers -- sum-automata --) and instantiate the generic logic for each of them. We give tight complexity results for the three logics and the model-checking problem, depending on whether the formula is fixed or not. We study the expressiveness of our logics by expressing classical structural patterns characterising for instance finite ambiguity and polynomial ambiguity in the case of finite automata, determinisability and finite-valuedness in the case of transducers and sum-automata. Consequently to our complexity results, we directly obtain that these classical properties can be decided in PTIME.


title: Safe-To-Explore State Spaces: Ensuring Safe Exploration in Policy Search with Hierarchical Task Optimization

abstract: Policy search reinforcement learning allows robots to acquire skills by themselves. However, the learning procedure is inherently unsafe as the robot has no a-priori way to predict the consequences of the exploratory actions it takes. Therefore, exploration can lead to collisions with the potential to harm the robot and/or the environment. In this work we address the safety aspect by constraining the exploration to happen in safe-to-explore state spaces. These are formed by decomposing target skills (e.g., grasping) into higher ranked sub-tasks (e.g., collision avoidance, joint limit avoidance) and lower ranked movement tasks (e.g., reaching). Sub-tasks are defined as concurrent controllers (policies) in different operational spaces together with associated Jacobians representing their joint-space mapping. Safety is ensured by only learning policies corresponding to lower ranked sub-tasks in the redundant null space of higher ranked ones. As a side benefit, learning in sub-manifolds of the state-space also facilitates sample efficiency. Reaching skills performed in simulation and grasping skills performed on a real robot validate the usefulness of the proposed approach.


title: Excited-state quantum phase transition and the quantum speed limit

abstract: We investigate the influence of an excited-state quantum phase transition (ESQPT) on the quantum speed limit (QSL) time of an open quantum system. The system consists of a central qubit coupled to a spin environment modeled by a Lipkin-Meshkov-Glick (LMG) Hamiltonian. We show that when the coupling between qubit and environment is such that the latter is located at the ESQPT critical energy the qubit evolution shows a remarkable slowdown, marked by an abrupt peak in the QSL time. Interestingly, this slowdown at the ESQPT critical point is induced by the singular behavior of the qubit decoherence rate, being independent of the Markovian nature of the environment.


title: Koszulness and supersolvability for Dirichlet arrangements

abstract: We prove that the cone over a Dirichlet arrangement is supersolvable if and only if its Orlik-Solomon algebra is Koszul. This was previously shown for four other classes of arrangements. We exhibit an infinite family of cones over Dirichlet arrangements that are combinatorially distinct from these other four classes.


title: A Vertical PRF Architecture for Microblog Search

abstract: In microblog retrieval, query expansion can be essential to obtain good search results due to the short size of queries and posts. Since information in microblogs is highly dynamic, an up-to-date index coupled with pseudo-relevance feedback (PRF) with an external corpus has a higher chance of retrieving more relevant documents and improving ranking. In this paper, we focus on the research question:how can we reduce the query expansion computational cost while maintaining the same retrieval precision as standard PRF? Therefore, we propose to accelerate the query expansion step of pseudo-relevance feedback. The hypothesis is that using an expansion corpus organized into verticals for expanding the query, will lead to a more efficient query expansion process and improved retrieval effectiveness. Thus, the proposed query expansion method uses a distributed search architecture and resource selection algorithms to provide an efficient query expansion process. Experiments on the TREC Microblog datasets show that the proposed approach can match or outperform standard PRF in MAP and NDCG@30, with a computational cost that is three orders of magnitude lower.


title: Equivalence-Based Model of Dimension-Varying Linear Systems

abstract: Dimension-varying linear systems are investigated. First, a dimension-free state space is proposed. A cross dimensional distance is constructed to glue vectors of different dimensions together to form a cross-dimensional topological space. This distance leads to projections over different dimensional Euclidean spaces and the corresponding linear systems on them, which provide a connection among linear systems with different dimensions. Based on these projections, an equivalence of vectors and an equivalence of matrices over different dimensions are proposed. It follows that the dynamics on quotient space is obtained, which provides a proper model for cross-dimensional systems. Finally, using lifts of dynamic systems on quotient space to Euclidean spaces of different dimensions, a cross-dimensional model is proposed to deal with the dynamics of dimension-varying process of linear systems. On the cross-dimensional model a control is designed to realize the transfer between models on Euclidean spaces of different dimensions.


title: The Eccentric Behavior of Inspiraling Compact Binaries

abstract: Eccentricity of binary systems is not a gauge invariant quantity, but has an important impact on the observed gravitational wave signal of such systems, generating power in all possible harmonics of the orbital period. We here clarify the possible discrepancies between different eccentricity parameters used to describe the orbital dynamics of binary systems across different approximations, specifically the post-Newtonian approximation, the self-force approximation, and numerical relativity. To this end, we highlight disparities between the typically used orbit averaged method of evolving binary systems under radiation reaction, and more direct techniques of solving the two-body problem in post-Newtonian theory. We show, both numerically and analytically, that the orbit averaged method breaks down in the late inspiral, failing to capture a strong secular growth in the Keplerian eccentricity parameter and producing a orbital de-phasing relative to direct integration of the two-body equations of motion. We show that the secular growth and de-phasing affect the observed gravitational wave signal, which could bias how accurately we may recover parameters for systems with signal-to-noise ratios $\gtrsim 100$. We further develop a frequency domain post-adiabatic waveform model to capture these effects, and study the precision to which we may estimate parameters with this model through a Fisher information matrix analysis.


title: NSGA-Net: Neural Architecture Search using Multi-Objective Genetic Algorithm

abstract: This paper introduces NSGA-Net -- an evolutionary approach for neural architecture search (NAS). NSGA-Net is designed with three goals in mind: (1) a procedure considering multiple and conflicting objectives, (2) an efficient procedure balancing exploration and exploitation of the space of potential neural network architectures, and (3) a procedure finding a diverse set of trade-off network architectures achieved in a single run. NSGA-Net is a population-based search algorithm that explores a space of potential neural network architectures in three steps, namely, a population initialization step that is based on prior-knowledge from hand-crafted architectures, an exploration step comprising crossover and mutation of architectures, and finally an exploitation step that utilizes the hidden useful knowledge stored in the entire history of evaluated neural architectures in the form of a Bayesian Network. Experimental results suggest that combining the dual objectives of minimizing an error metric and computational complexity, as measured by FLOPs, allows NSGA-Net to find competitive neural architectures. Moreover, NSGA-Net achieves error rate on the CIFAR-10 dataset on par with other state-of-the-art NAS methods while using orders of magnitude less computational resources. These results are encouraging and shows the promise to further use of EC methods in various deep-learning paradigms.


title: Trace Quotient with Sparsity Priors for Learning Low Dimensional Image Representations

abstract: This work studies the problem of learning appropriate low dimensional image representations. We propose a generic algorithmic framework, which leverages two classic representation learning paradigms, i.e., sparse representation and the trace quotient criterion. The former is a well-known powerful tool to identify underlying self-explanatory factors of data, while the latter is known for disentangling underlying low dimensional discriminative factors in data. Our developed solutions disentangle sparse representations of images by employing the trace quotient criterion. We construct a unified cost function, coined as the SPARse LOW dimensional representation (SparLow) function, for jointly learning both a sparsifying dictionary and a dimensionality reduction transformation. The SparLow function is widely applicable for developing various algorithms in three classic machine learning scenarios, namely, unsupervised, supervised, and semi-supervised learning. In order to develop efficient joint learning algorithms for maximizing the SparLow function, we deploy a framework of sparse coding with appropriate convex priors to ensure the sparse representations to be locally differentiable. Moreover, we develop an efficient geometric conjugate gradient algorithm to maximize the SparLow function on its underlying Riemannian manifold. Performance of the proposed SparLow algorithmic framework is investigated on several image processing tasks, such as 3D data visualization, face/digit recognition, and object/scene categorization.


title: QCD critical end point from a realistic PNJL model

abstract: With parameters fixed by critical temperature and equation of state at zero baryon chemical potential, a realistic Polyakov--Nambu--Jona-Lasinio (rPNJL) model predicts a critical end point of chiral phase transition at $(\mu_B^E= 720 {\rm MeV}, T^E=93 {\rm MeV})$. The extracted freeze-out line from heavy ion collisions is close to the chiral phase transition boundary in the rPNJL model, and the kurtosis $\kappa \sigma^2$ of baryon number fluctuations from the rPNJL model along the experimental freeze-out line agrees well with the BES-I measurement. Our analysis shows that the dip structure of measured $\kappa\sigma^2$ is determined by the relationship between the freeze-out line and chiral phase transition line at low baryon density region, and the peak structure can be regarded as a clean signature for the existence of CEP.


title: Quantum Black Holes

abstract: In 1974 Jacob Bekenstein has noticed that the area of the black hole behaves as adiabatic invariant and hence most likely must be quantized in integers of the Planckian area. In these notes I will present the arguments which led him and myself to such conclusion and will discuss the consequences of the black hole quantization.


title: Seven Problems with the Claims Related to the Hubble Tension in arXiv:1810.02595

abstract: Shanks et al. (2018) arXiv:1810.02595 make two claims that they argue bring the local measurement and early Universe prediction of H0 into agreement: A) they claim that Gaia DR2 parallax measurements show the geometric calibration of the Cepheid distance scale used to measure H0 to be grossly in error and B) that we live near the middle of an enormous void, further biasing the local measurement of the Hubble constant. We show that the first claim is caused by five erroneous uses of the data: in decreasing order of importance: 1) the use of a distance indicator, main sequence fitting of cluster stars, which is unrelated to the calibration of Cepheids and therefore has no bearing on current measurements of H0; 2) the use of Gaia data for Cepheids that fully saturate the detector, producing unreliable parallaxes; 3) the use of a fixed parallax offset which is known to depend on source magnitude and color but which is derived for sources with extremely different colors and magnitudes; 4) ignoring the uncertainty in this offset; and 5) ignoring the other geometric sources of Cepheid calibration, the distance of the LMC from detached eclipsing binaries and the masers in NGC 4258, which are independent of Milky Way parallaxes. Just resolving the first two of these issues by not using unrelated or saturated data leads to no inconsistency between Gaia parallaxes and the current Cepheid distance scale. The second claim can be refuted 6) because of the increase in chi-squared that the alleged void would entail in SN measurements in the Hubble flow, and 7) because it would represent a 6 sigma fluctuation of cosmic variance between the local and globally measured expansion, requiring us to live in an exceedingly special location.


title: CHOPT : Automated Hyperparameter Optimization Framework for Cloud-Based Machine Learning Platforms

abstract: Many hyperparameter optimization (HyperOpt) methods assume restricted computing resources and mainly focus on enhancing performance. Here we propose a novel cloud-based HyperOpt (CHOPT) framework which can efficiently utilize shared computing resources while supporting various HyperOpt algorithms. We incorporate convenient web-based user interfaces, visualization, and analysis tools, enabling users to easily control optimization procedures and build up valuable insights with an iterative analysis procedure. Furthermore, our framework can be incorporated with any cloud platform, thus complementarily increasing the efficiency of conventional deep learning frameworks. We demonstrate applications of CHOPT with tasks such as image recognition and question-answering, showing that our framework can find hyperparameter configurations competitive with previous work. We also show CHOPT is capable of providing interesting observations through its analysing tools


title: Automated detection of many-particle solvation states for accurate characterizations of diffusion kinetics

abstract: Discrete-space kinetic models, i.e., Markov state models, have emerged as powerful tools for reducing the complexity of trajectories generated from molecular dynamics simulations. These models require configuration-space representations that accurately characterize the relevant dynamics. Well-established, low-dimensional order parameters for constructing this representation have led to widespread application of Markov state models to study conformational dynamics in biomolecular systems. On the contrary, applications to characterize single-molecule diffusion processes have been scarce and typically employ system-specific, higher-dimensional order parameters to characterize the local solvation state of the molecule. In this work, we propose an automated method for generating a coarse configuration-space representation, using generic features of solvation structure---the coordination numbers about each particle. To overcome the inherent noisy behavior of these low-dimensional observables, we treat the features as indicators of an underlying, latent Markov process. The resulting hidden Markov models filter the trajectories of each feature into the most likely latent solvation state at each time step. The filtered trajectories are then used to construct a configuration-space discretization, which accurately describes the diffusion kinetics. The method is validated on a standard model for glassy liquids, where particle jumps between local cages determine the diffusion properties of the system. Not only do the resulting models provide quantitatively accurate characterizations of the diffusion constant, but they also reveal a mechanistic description of diffusive jumps, quantifying the heterogeneity of local diffusion.


title: Crossover to negative dielectric constant in perovskite PrMnO3

abstract: Negative dielectric constant materials, once an incumbrance for physicists, are now the stockpiles of unique optical and microwave devices that will also avoid complex geometries. We report the observation of temperature dependent negative dielectric constant (NDC) above 503 K in the perovskite PrMnO3, confirmed through impedance spectroscopy, obeying classical Drude theory. The principle behind the associated negative dielectric loss is explained using the Axelrod mechanism.


title: Effective Parallelisation for Machine Learning

abstract: We present a novel parallelisation scheme that simplifies the adaptation of learning algorithms to growing amounts of data as well as growing needs for accurate and confident predictions in critical applications. In contrast to other parallelisation techniques, it can be applied to a broad class of learning algorithms without further mathematical derivations and without writing dedicated code, while at the same time maintaining theoretical performance guarantees. Moreover, our parallelisation scheme is able to reduce the runtime of many learning algorithms to polylogarithmic time on quasi-polynomially many processing units. This is a significant step towards a general answer to an open question on the efficient parallelisation of machine learning algorithms in the sense of Nick's Class (NC). The cost of this parallelisation is in the form of a larger sample complexity. Our empirical study confirms the potential of our parallelisation scheme with fixed numbers of processors and instances in realistic application scenarios.


title: Blow-up solutions of Helmholtz equation for a Kerr slab with a complex linear and nonlinear permittivity

abstract: We show that the Helmholtz equation describing the propagation of transverse electric waves in a Kerr slab with a complex linear permittivity and a complex Kerr coefficient admits blow-up solutions provided that the real part of the Kerr coefficient is negative, i.e., the slab is defocusing. This result applies to homogeneous as well as inhomogeneous Kerr slabs whose linear permittivity and Kerr coefficient are continuous functions of the transverse coordinate. For an inhomogeneous Kerr slab, blow-up solutions exist if the real part of Kerr coefficient is bounded above by a negative number.


title: The $Y(4260)$ and $Y(4360)$ enhancements within coupled-channels

abstract: Puzzling structures have been observed in the charmonium energy region, namely the $Y(4260)$ and the $Y(4360)$, that cannot be easily accommodated within quark model frameworks. The proximity of nearby dominant hadronic thresholds suggests that they play an important role in the formation of the enhancements. We present results of an unitarized effective Lagrangian model, where mesonic loops, equivalent to coupled-channels, and charmonium vectors $\psi$ interplay to generate line-shapes and poles.


title: Formal inverses of the generalized Thue-Morse sequences and variations of the Rudin-Shapiro sequence

abstract: A formal inverse of a given automatic sequence (the sequence of coefficients of the composition inverse of its associated formal power series) is also automatic. The comparison of properties of the original sequence and its formal inverse is an interesting problem. Such an analysis has been done before for the Thue{Morse sequence. In this paper, we describe arithmetic properties of formal inverses of the generalized Thue-Morse sequences and formal inverses of two modifications of the Rudin{Shapiro sequence. In each case, we give the recurrence relations and the automaton, then we analyze the lengths of strings of consecutive identical letters as well as the frequencies of letters. We also compare the obtained results with the original sequences.


title: Stability of entanglement-spectrum crossing in quench dynamics of one dimensional gapped free-fermion systems

abstract: In a recent work by Gong and Ueda (arXiv:1710.05289), the classification of (1+1)-dimensional quench dynamics for the ten Altland-Zirnbauer classes is achieved, and entanglement-spectrum crossings of the time-dependent states for the topological classes (AIII, DIII, CII, BDI, and D) are discovered as a consequence of the bulk-edge correspondence. We note that, their classification scheme relies on the limit that the energy spectrum of the post-quench Hamiltonian is flat, because any finite band dispersion leads to the break down of time-reversal and chiral symmetries for the parent Hamiltonian (which are used for the classification). We show that, because of the reduction of symmetry by finite energy dispersion, the gapless entanglement-spectrum crossing in the flat-band limit in classes AIII, DIII, and CII is unstable, and could be gapped without closing the bulk gap. The entanglement-spectrum crossing in classes BDI and D is still stable against energy dispersion. We show that the quench process for classes BDI and D can be understood as a $\mathbb{Z}_2$ fermion parity pump, and the entanglement-spectrum crossing for this case is protected by the conservation of fermion parity.


title: Estimation of the weighted integrated square error of the Grenander estimator by the Kolmogorov-Smirnov statistic

abstract: We consider in this paper the Grenander estimator of unbounded, in general, nonincreasing densities on the interval [0; 1] without any smoothness assumptions. For fixed number n of i.i.d. random vari- ables X1;X2; : : : ;Xn with values in [0; 1] and the nonincreasing den- sity function f(x), 0 < x < 1, we prove an inequality bounding the weighted integrated square error of the Grenander estimator with probability one by the classical Kolmogorov-Smirnov statistic. Fur- ther, we consider some interesting implications of the latter inequality


title: The Age of the Galactic Stellar Halo from Gaia White Dwarfs

abstract: We use 156 044 white dwarf candidates with $\geq5\sigma$ significant parallax measurements from the Gaia mission to measure the velocity dispersion of the Galactic disc; $(\sigma_U,\sigma_V,\sigma_W) = (30.8, 23.9, 20.0)$ km s$^{-1}$. We identify 142 objects that are inconsistent with disc membership at the $>5\sigma$ level. This is the largest sample of field halo white dwarfs identified to date. We perform a detailed model atmosphere analysis using optical and near-infrared photometry and parallaxes to constrain the mass and cooling age of each white dwarf. The white dwarf cooling ages of our targets range from 7 Myr for J1657+2056 to 10.3 Gyr for J1049-7400. The latter provides a firm lower limit of 10.3 Gyr for the age of the inner halo based on the well-understood physics of white dwarfs. Including the pre-white dwarf evolutionary lifetimes, and limiting our sample to the recently formed white dwarfs with cooling ages of $<500$ Myr, we estimate an age of $10.9 \pm 0.4$ Gyr (internal errors only) for the Galactic inner halo. The coolest white dwarfs in our sample also give similar results. For example, J1049-7400 has a total age of 10.9-11.1 Gyr. Our age measurements are consistent with other measurements of the age of the inner halo, including the white dwarf based measurements of the globular clusters M4, NGC 6397, and 47 Tuc.


title: Asymptotic dimension and the disk graph II

abstract: We show that the asymptotic dimension of a hyperbolic relatively hyperbolic graph is finite provided that this holds true uniformly for the peripheral subgraphs and for the electrifiation. We use this to show that the asymptotic dimension of the disk graph of a handlebody of genus at least two is at most quadratic in the genus.


title: Combinatorial Attacks on Binarized Neural Networks

abstract: Binarized Neural Networks (BNNs) have recently attracted significant interest due to their computational efficiency. Concurrently, it has been shown that neural networks may be overly sensitive to "attacks" - tiny adversarial changes in the input - which may be detrimental to their use in safety-critical domains. Designing attack algorithms that effectively fool trained models is a key step towards learning robust neural networks. The discrete, non-differentiable nature of BNNs, which distinguishes them from their full-precision counterparts, poses a challenge to gradient-based attacks. In this work, we study the problem of attacking a BNN through the lens of combinatorial and integer optimization. We propose a Mixed Integer Linear Programming (MILP) formulation of the problem. While exact and flexible, the MILP quickly becomes intractable as the network and perturbation space grow. To address this issue, we propose IProp, a decomposition-based algorithm that solves a sequence of much smaller MILP problems. Experimentally, we evaluate both proposed methods against the standard gradient-based attack (FGSM) on MNIST and Fashion-MNIST, and show that IProp performs favorably compared to FGSM, while scaling beyond the limits of the MILP.


title: Scaling laws in the stellar mass distribution and the transition to homogeneity

abstract: We present a new statistical analysis of the large-scale stellar mass distribution in the Sloan Digital Sky Survey (data release 7). A set of volume-limited samples shows that the stellar mass of galaxies is concentrated in a range of galaxy luminosities that is very different from the range selected by the usual analysis of galaxy positions. Nevertheless, the two-point correlation function is a power-law with the usual exponent $\gamma=1.71$--$1.82$, which varies with luminosity. The mass concentration property allows us to make a meaningful analysis of the angular distribution of the full flux-limited sample. With this analysis, after suppressing the shot noise, we extend further the scaling range and thus obtain $\gamma=1.83$ and a clustering length \redc{$r_0= 5.8$--$7.0\,h^{-1}$Mpc.} Fractional statistical moments of the coarse-grained stellar mass density exhibit multifractal scaling. Our results support a multifractal model with a transition to homogeneity at about $10\,h^{-1}$Mpc.


title: Charge susceptibility and conductances of a double quantum dot

abstract: We calculate the charge susceptibility and the linear and differential conductances of a double quantum dot coupled to two metallic reservoirs both at equilibrium and when the system is driven away from equilibrium. This work is motivated by recent progress in the realization of solid state spin qubits. The calculations are performed by using the Keldysh nonequilibrium Green function technique. In the noninteracting case, we give the analytical expression for the electrical current and deduce from there the linear conductance as a function of the gate voltages applied to the dots, leading to a characteristic charge stability diagram. We determine the charge susceptibility which also exhibits peaks as a function of gate voltages. We show how the study can be extended to the case of an interacting quantum dot.


title: An AMR Aligner Tuned by Transition-based Parser

abstract: In this paper, we propose a new rich resource enhanced AMR aligner which produces multiple alignments and a new transition system for AMR parsing along with its oracle parser. Our aligner is further tuned by our oracle parser via picking the alignment that leads to the highest-scored achievable AMR graph. Experimental results show that our aligner outperforms the rule-based aligner in previous work by achieving higher alignment F1 score and consistently improving two open-sourced AMR parsers. Based on our aligner and transition system, we develop a transition-based AMR parser that parses a sentence into its AMR graph directly. An ensemble of our parsers with only words and POS tags as input leads to 68.4 Smatch F1 score.


title: ECHO-3DHPC: relativistic accretion disks onto black holes

abstract: Current state-of-the-art simulations of accretion flows onto black holes require a significant level of numerical sophistication, in order to allow the three-dimensional modelling of relativistic magnetised plasma in a regime of strong gravity. We present here a new version of the GRMHD code \texttt{ECHO} developed in collaboration with the Max Planck Computing and Data Facility (MPCDF) and the Leibniz Rechenzentrum (LRZ), which employs a hybrid multidimensional MPI-OpenMP coupled with the production of MPI-HDF5 output files. The code's high degree of parallelisation has been crucial for the study of some fundamental properties of thick accretion disks around black holes, in particular the excitation of non-axisymmetric modes in presence of both hydrodynamic and magnetohydrodynamic instabilities.


title: CP violation in QCD

abstract: Among the parameters of QCD is one that results in CP violation when non-vanishing. This is closely related to possible quark mass terms. It is conventionally interpreted in terms of gauge field topology or alternatively in terms of phases in the quark masses. There is no experimental evidence for this parameter having a non-zero value, a puzzle for theories involving unification.