title: Ergodic aspects of some Ornstein-Uhlenbeck type processes related to L\'evy processes

abstract: This work concerns the Ornstein-Uhlenbeck type process associated to a positive self-similar Markov process $(X(t))_{t\geq 0}$ which drifts to $\infty$, namely $U(t):= {\rm e}^{-t}X({\rm e}^t-1)$. We point out that $U$ is always a (topologically) recurrent Markov process and identify its invariant measure in terms of the law of the exponential functional $\hat I := \int_0^\infty \exp(\hat\xi_s) {\rm d}s$, where $\hat\xi$ is the dual of the real-valued L\'evy process $\xi$ related to $X$ by the Lamperti transformation. This invariant measure is infinite (i.e. $U$ is null-recurrent) if and only if $\xi_1\not \in L^1(\mathbb{P})$. In that case, we determine the family of L\'evy processes $\xi$ for which $U$ fulfills the conclusions of the Darling-Kac theorem. Our approach relies crucially on another generalized Ornstein-Uhlenbeck process that can be associated to the L\'evy process $\xi$, namely $V(t) := \exp(\xi_t)\left(\int_0^t \exp(-\xi_s){\rm d}s +V(0)\right)$, and properties of time-substitutions based on additive functionals.


title: Spatial effects in meta-food-webs

abstract: In ecology it is widely recognised that many landscapes comprise a network of discrete patches of habitat. The species that inhabit the patches interact with each other through a foodweb, the network of feeding interactions. The meta-foodweb model proposed by Pillai et al. combines the feeding relationships at each patch with the dispersal of species between patches, such that the whole system is represented by a network of networks. Previous work on meta-foodwebs has focussed on landscape networks that do not have an explicit spatial embedding, but in real landscapes the patches are usually distributed in space. Here we compare the dispersal of a meta-foodweb on \ER networks, that do not have a spatial embedding, and random geometric networks, that do have a spatial embedding. We found that local structure and large network distances in spatially embedded networks, lead to meso-scale patterns of patch occupation by both specialist and omnivorous species. In particular, we found that spatial separations make the coexistence of competing species more likely. Our results highlight the effects of spatial embeddings for meta-foodweb models, and the need for new analytical approaches to them.


title: The invariably generating graph of the alternating and symmetric groups

abstract: Given a finite group $G$, the invariably generating graph of $G$ is defined as the undirected graph in which the vertices are the nontrivial conjugacy classes of $G$, and two classes are adjacent if and only if they invariably generate $G$. In this paper we study this object for alternating and symmetric groups. The main result of the paper states that, if we remove the isolated vertices from the graph, the resulting graph is connected and has diameter at most $6$.


title: On algorithms to calculate integer complexity

abstract: We consider a problem first proposed by Mahler and Popken in 1953 and later developed by Coppersmith, Erd\H{o}s, Guy, Isbell, Selfridge, and others. Let $f(n)$ be the complexity of $n \in \mathbb{Z^{+}}$, where $f(n)$ is defined as the least number of $1$'s needed to represent $n$ in conjunction with an arbitrary number of $+$'s, $*$'s, and parentheses. Several algorithms have been developed to calculate the complexity of all integers up to $n$. Currently, the fastest known algorithm runs in time $\mathcal{O}(n^{1.230175})$ and was given by J. Arias de Reyna and J. van de Lune in 2014. This algorithm makes use of a recursive definition given by Guy and iterates through products, $f(d) + f\left(\frac{n}{d}\right)$, for $d \ |\ n$, and sums, $f(a) + f(n - a)$, for $a$ up to some function of $n$. The rate-limiting factor is iterating through the sums. We discuss potential improvements to this algorithm via a method that provides a strong uniform bound on the number of summands that must be calculated for almost all $n$. We also develop code to run J. Arias de Reyna and J. van de Lune's analysis in higher bases and thus reduce their runtime of $\mathcal{O}(n^{1.230175})$ to $\mathcal{O}(n^{1.222911236})$. All of our code can be found online at: https://github.com/kcordwel/Integer-Complexity.


title: Orbital variations and outbursts of the unusual variable star V1129 Centauri

abstract: The variable star V1129 Cen is classified in the GCVS as being of $\beta$ Lyr type. Unusual for such stars, it exhibits outbursts roughly once a year, lasting for $\sim$40 days. For this reason, a relationship to the dwarf novae has been suspected. Here, for the first time a detailed analysis of the light curve of the system is presented. Based on observations with high time resolution obtained at the Observat\'orio do Pico dos Dias and on the long term ASAS light curve the orbital variations of the system are studied. They are dominated by ellipsoidal variations and partial eclipses of a probably slightly evolved F2 star in a binary with an orbital period of $21^{\rm h}$ $26^{\rm m}$. Comparison with the characteristics of dwarf novae show that the observational properties of V1129 Cen can be explained if it is just another dwarf novae, albeit with an unusually bright and early type mass donor which outshines the accretion disk and the mass gainer to a degree that many normal photometric and spectroscopic hallmarks of cataclysmic variables remain undetected.


title: The Hawking-Penrose singularity theorem for $C^{1,1}$-Lorentzian metrics

abstract: We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these weak conditions, causal geodesics necessarily become non-maximising. This requires a detailed analysis of the matrix Riccati equation for the approximating metrics, which may be of independent interest.


title: Approximate Steepest Coordinate Descent

abstract: We propose a new selection rule for the coordinate selection in coordinate descent methods for huge-scale optimization. The efficiency of this novel scheme is provably better than the efficiency of uniformly random selection, and can reach the efficiency of steepest coordinate descent (SCD), enabling an acceleration of a factor of up to $n$, the number of coordinates. In many practical applications, our scheme can be implemented at no extra cost and computational efficiency very close to the faster uniform selection. Numerical experiments with Lasso and Ridge regression show promising improvements, in line with our theoretical guarantees.


title: CMB anisotropies at all orders: the non-linear Sachs-Wolfe formula

abstract: We obtain the non-linear generalization of the Sachs-Wolfe + integrated Sachs-Wolfe (ISW) formula describing the CMB temperature anisotropies. Our formula is valid at all orders in perturbation theory, is also valid in all gauges and includes scalar, vector and tensor modes. A direct consequence of our results is that the maps of the logarithmic temperature anisotropies are much cleaner than the usual CMB maps, because they automatically remove many secondary anisotropies. This can for instance, facilitate the search for primordial non-Gaussianity in future works. It also disentangles the non-linear ISW from other effects. Finally, we provide a method which can iteratively be used to obtain the lensing solution at the desired order.

categories: astro-ph.CO astro-ph.GA gr-qc physics.space-ph


title: Cellular Automata on Group Sets

abstract: We introduce and study cellular automata whose cell spaces are left-homogeneous spaces. Examples of left-homogeneous spaces are spheres, Euclidean spaces, as well as hyperbolic spaces acted on by isometries; uniform tilings acted on by symmetries; vertex-transitive graphs, in particular, Cayley graphs, acted on by automorphisms; groups acting on themselves by multiplication; and integer lattices acted on by translations. For such automata and spaces, we prove, in particular, generalisations of topological and uniform variants of the Curtis-Hedlund-Lyndon theorem, of the Tarski-F{\o}lner theorem, and of the Garden-of-Eden theorem on the full shift and certain subshifts. Moreover, we introduce signal machines that can handle accumulations of events and using such machines we present a time-optimal quasi-solution of the firing mob synchronisation problem on finite and connected graphs.


title: Resultants and Singularities of Parametric Curves

abstract: Let ${\cal C}$ be an algebraic space curve defined parametrically by ${\cal P}(t)\in {\Bbb K}(t)^{n},\,n\geq 2$. In this paper, we introduce a polynomial, the T--function, $T(s)$, which is defined by means of a univariate resultant constructed from ${\cal P}(t)$. We show that $T(s)=\prod_{i=1}^n H_{P_i}(s)^{m_i-1}$, where $H_{P_i}(s),\,i=1,\ldots,n$ are polynomials (called the fibre functions) whose roots are the fibre of the ordinary singularities $P_i\in {\cal C}$ of multiplicity $m_i,\,i=1,\ldots,n$. Thus, a complete classification of the singularities of a given space curve, via the factorization of a resultant, is obtained.


title: Bounds on the Satisfiability Threshold for Power Law Distributed Random SAT

abstract: Propositional satisfiability (SAT) is one of the most fundamental problems in computer science. The worst-case hardness of SAT lies at the core of computational complexity theory. The average-case analysis of SAT has triggered the development of sophisticated rigorous and non-rigorous techniques for analyzing random structures. Despite a long line of research and substantial progress, nearly all theoretical work on random SAT assumes a uniform distribution on the variables. In contrast, real-world instances often exhibit large fluctuations in variable occurrence. This can be modeled by a scale-free distribution of the variables, which results in distributions closer to industrial SAT instances. We study random k-SAT on n variables, $m=\Theta(n)$ clauses, and a power law distribution on the variable occurrences with exponent $\beta$. We observe a satisfiability threshold at $\beta=(2k-1)/(k-1)$. This threshold is tight in the sense that instances with $\beta\le(2k-1)/(k-1)-\varepsilon$ for any constant $\varepsilon>0$ are unsatisfiable with high probability (w.h.p.). For $\beta\geq(2k-1)/(k-1)+\varepsilon$, the picture is reminiscent of the uniform case: instances are satisfiable w.h.p. for sufficiently small constant clause-variable ratios $m/n$; they are unsatisfiable above a ratio $m/n$ that depends on $\beta$.


title: On regularity of weak solutions to linear parabolic systems with measurable coefficients

abstract: We establish a new regularity property for weak solutions of parabolic systems with coefficients depending measurably on time as well as on all spatial variables. Namely, weak solutions are locally H{\"o}lder continuous Lp valued functions for some p > 2.


title: LaCu$_{6-x}$Ag$_{x}$: A promising host of an elastic quantum critical point

abstract: Structural properties of LaCu$_{6-x}$Ag$_{x}$ have been investigated using neutron and x-ray diffraction, and resonant ultrasound spectroscopy (RUS) measurements. Diffraction measurements indicate a continuous structural transition from orthorhombic ($Pnma$) to monoclinic ($P2_1/c$) structure. RUS measurements show softening of natural frequencies at the structural transition, consistent with the elastic nature of the structural ground state. The structural transition temperatures in LaCu$_{6-x}$Ag$_{x}$ decrease with Ag composition until the monoclinic phase is completely suppressed at $x_c$ = 0.225. All of the evidence is consistent with the presence of an elastic quantum critical point in LaCu$_{6-x}$Ag$_{x}$.


title: Towards tomography of quark-gluon plasma using double inclusive forward-central jets in Pb-Pb collision

abstract: We propose a new framework, merging High Energy Factorization with final-state jet quenching effects due to interactions in a quark-gluon plasma, to compute di-jet rates at mid- and forward rapidity. It allows to consistently study the interplay of initial-state effects with medium interactions, opening the possibility for understanding the dynamics of hard probes in heavy-ion collisions and the QGP evolution in rapidity.


title: Electron crescent distributions as a manifestation of diamagnetic drift in an electron scale current sheet

abstract: We report Magnetospheric Multiscale observations of electron pressure gradient electric fields near a magnetic reconnection diffusion region using a new technique for extracting 7.5 ms electron moments from the Fast Plasma Investigation. We find that the deviation of the perpendicular electron bulk velocity from $E \times B$ drift in the interval where the out-of-plane current density is increasing can be explained by the diamagnetic drift. In the interval where the out-of-plane current is transitioning to in-plane current, the electron momentum equation is not satisfied at 7.5 ms resolution.


title: Image Processing in Floriculture Using a robotic Mobile Platform

abstract: Colombia has a privileged geographical location which makes it a cornerstone and equidistant point to all regional markets. The country has a great ecological diversity and it is one of the largest suppliers of flowers for US. Colombian flower companies have made innovations in the marketing process, using methods to reach all conditions for final consumers. This article develops a monitoring system for floriculture industries. The system was implemented in a robotic platform. This device has the ability to be programmed in different programming languages. The robot takes the necessary environment information from its camera. The algorithm of the monitoring system was developed with the image processing toolbox on Matlab. The implemented algorithm acquires images through its camera, it performs a preprocessing of the image, noise filter, enhancing of the color and adjusting the dimension in order to increase processing speed. Then, the image is segmented by color and with the binarized version of the image using morphological operations (erosion and dilation), extract relevant features such as centroid, perimeter and area. The data obtained from the image processing helps the robot with the automatic identification of objectives, orientation and move towards them. Also, the results generate a diagnostic quality of each object scanned.


title: Minimal unified resolution to $R_{K^{(*)}}$ and $R(D^{(*)})$ anomalies with lepton mixing

abstract: It is a challenging task to explain, in terms of a simple and compelling new physics scenario, the intriguing discrepancies between the standard model expectations and the data for the neutral-current observables $R_K$ and $R_{K^*}$, as well as the charged-current observables $R(D)$ and $R(D^*)$. We show that this can be achieved in an effective theory with only two unknown parameters. In addition, this class of models predicts some interesting signatures in the context of both $B$ decays as well as high-energy collisions.


title: On branching-point selection for trilinear monomials in spatial branch-and-bound: the hull relaxation

abstract: In Speakman and Lee (2017), we analytically developed the idea of using volume as a measure for comparing relaxations in the context of spatial branch-and-bound. Specifically, for trilinear monomials, we analytically compared the three possible "double-McCormick relaxations" with the tight convex-hull relaxation. Here, again using volume as a measure, for the convex-hull relaxation of trilinear monomials, we establish simple rules for determining the optimal branching variable and optimal branching point. Additionally, we compare our results with current software practice.


title: Optimal choice: new machine learning problem and its solution

abstract: The task of learning to pick a single preferred example out a finite set of examples, an "optimal choice problem", is a supervised machine learning problem with complex, structured input. Problems of optimal choice emerge often in various practical applications. We formalize the problem, show that it does not satisfy the assumptions of statistical learning theory, yet it can be solved efficiently in some cases. We propose two approaches to solve the problem. Both of them reach good solutions on real life data from a signal processing application.


title: Challenges to estimating contagion effects from observational data

abstract: A growing body of literature attempts to learn about contagion using observational (i.e. non-experimental) data collected from a single social network. While the conclusions of these studies may be correct, the methods rely on assumptions that are likely--and sometimes guaranteed to be--false, and therefore the evidence for the conclusions is often weaker than it seems. Developing methods that do not need to rely on implausible assumptions is an incredibly challenging and important open problem in statistics. Appropriate methods don't (yet!) exist, so researchers hoping to learn about contagion from observational social network data are sometimes faced with a dilemma: they can abandon their research program, or they can use inappropriate methods. This chapter will focus on the challenges and the open problems and will not weigh in on that dilemma, except to mention here that the most responsible way to use any statistical method, especially when it is well-known that the assumptions on which it rests do not hold, is with a healthy dose of skepticism, with honest acknowledgment and deep understanding of the limitations, and with copious caveats about how to interpret the results.


title: Estudio Comparativo Entre Las Diferentes Fuentes De Energia Electrica En Colombia Y La Generacion De Electricidad A Partir De Biomasa

abstract: This paper presents a comparison about different ways to generate electricity in Colombia (mainly the operation of each method) with respect to a technique made in Europe, focused in the develop of energy with biomass or solid waste, taking into account that Colombia is a country with an economy based in agriculture processes. The article presents the advantages and disadvantages in each method with variables like Generation, investment, employment and environment aspects, and with these information a proposal is presented like the best way to generate energy in the country.


title: Learning to Map Vehicles into Bird's Eye View

abstract: Awareness of the road scene is an essential component for both autonomous vehicles and Advances Driver Assistance Systems and is gaining importance both for the academia and car companies. This paper presents a way to learn a semantic-aware transformation which maps detections from a dashboard camera view onto a broader bird's eye occupancy map of the scene. To this end, a huge synthetic dataset featuring 1M couples of frames, taken from both car dashboard and bird's eye view, has been collected and automatically annotated. A deep-network is then trained to warp detections from the first to the second view. We demonstrate the effectiveness of our model against several baselines and observe that is able to generalize on real-world data despite having been trained solely on synthetic ones.


title: One- and two-channel Kondo model with logarithmic Van Hove singularity: a numerical renormalization group solution

abstract: Simple scaling consideration and NRG solution of the one- and two-channel Kondo model in the presence of a logarithmic Van Hove singularity at the Fermi level is given. The temperature dependences of local and impurity magnetic susceptibility and impurity entropy are calculated. The low-temperature behavior of the impurity susceptibility and impurity entropy turns out to be non-universal in the Kondo sense and independent of the $s-d$ coupling $J$. The resonant level model solution in the strong coupling regime confirms the NRG results. In the two-channel case the local susceptibility demonstrates a non-Fermi-liquid power-law behavior.


title: The ARIEL Mission Reference Sample

abstract: The ARIEL (Atmospheric Remote-sensing Exoplanet Large-survey) mission concept is one of the three M4 mission candidates selected by the European Space Agency (ESA) for a Phase A study, competing for a launch in 2026. ARIEL has been designed to study the physical and chemical properties of a large and diverse sample of exoplanets, and through those understand how planets form and evolve in our galaxy. Here we describe the assumptions made to estimate an optimal sample of exoplanets - including both the already known exoplanets and the "expected" ones yet to be discovered - observable by ARIEL and define a realistic mission scenario. To achieve the mission objectives, the sample should include gaseous and rocky planets with a range of temperatures around stars of different spectral type and metallicity. The current ARIEL design enables the observation of ~1000 planets, covering a broad range of planetary and stellar parameters, during its four year mission lifetime. This nominal list of planets is expected to evolve over the years depending on the new exoplanet discoveries.


title: Broadband Dual-Comb Spectroscopy in the Spectral Fingerprint Region

abstract: Infrared spectroscopy in the spectral fingerprint region from 6-12 um accesses the largest molecular absorption cross-sections, permitting sensitive, quantitative and species-specific measurements. Here, we show how dual-comb spectroscopy--a form of high-speed Fourier-transform spectroscopy involving no moving parts and capable of very high resolutions--can be extended to the 6-8um wavelength band using femtosecond optical parametric oscillators (OPOs). By acquiring dual-comb interferograms faster than the mutual decoherence time of the OPO combs we implement line-shape-preserving averaging to obtain low-noise, high-fidelity spectra of H2O and CH4 at approximately 0.3 cm-1 resolutions from 1285-1585 cm-1.


title: Finite-dimensional quasi-Hopf algebras of Cartan type

abstract: In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of finite-dimensional radically graded basic quasi-Hopf algebras over abelian groups with dimensions not divisible by $2,3,5,7$ and associators given by abelian $3$-cocycles. As special cases , the small quasi-quantum groups are introduced and studied. Many new explicit examples of finite-dimensional genuine quasi-Hopf algebras are obtained.


title: On the selection of polynomials for the DLP quasi-polynomial time algorithm in small characteristic

abstract: In this paper we characterize the set of polynomials $f\in\mathbb F_q[X]$ satisfying the following property: there exists a positive integer $d$ such that for any positive integer $\ell$ less or equal than the degree of $f$, there exists $t_0$ in $\mathbb F_{q^d}$ such that the polynomial $f-t_0$ has an irreducible factor of degree $\ell$ over $\mathbb F_{q^d}[X]$. This result is then used to progress in the last step which is needed to remove the heuristic from one of the quasi-polynomial time algorithms for discrete logarithm problems (DLP) in small characteristic. Our characterization allows a construction of polynomials satisfying the wanted property. The method is general and can be used to tackle similar problems which involve factorization patterns of polynomials over finite fields.


title: Edge states and thermodynamics of rotating relativistic fermions under magnetic field

abstract: We discuss free Dirac fermions rotating uniformly inside a cylindrical cavity in the presence of background magnetic field parallel to the cylinder axis. We show that in addition to the known bulk states the system contains massive edge states with the masses inversely proportional to the radius of the cylinder. The edge states appear at quantized threshold values of the fermion mass. In the limit of infinite fermion mass the masses of the edge states remain finite but, generally, nonzero as contrasted to the bulk states whose masses become infinite. The presence of magnetic field affects the spectrum of both bulk and edge modes, and the masses of the edge states may vanish at certain values of magnetic field. The moment of inertia of Dirac fermions is non-monotonically increasing, oscillating function of magnetic field. The oscillations are well pronounced in a low-temperature domain and they disappear at high temperatures.

categories: hep-th cond-mat.other cond-mat.quant-gas hep-ph


title: Dynamical birefringence: Electron-hole recollisions as probes of Berry curvature

abstract: The direct measurement of Berry phases is still a great challenge in condensed matter systems. The bottleneck has been the ability to adiabatically drive an electron coherently across a large portion of the Brillouin zone in a solid where the scattering is strong and complicated. We break through this bottleneck and show that high-order sideband generation (HSG) in semiconductors is intimately affected by Berry phases. Electron-hole recollisions and HSG occur when a near-band gap laser beam excites a semiconductor that is driven by sufficiently strong terahertz (THz)-frequency electric fields. We carried out experimental and theoretical studies of HSG from three GaAs/AlGaAs quantum wells. The observed HSG spectra contain sidebands up to the 90th order, to our knowledge the highest-order optical nonlinearity observed in solids. The highest-order sidebands are associated with electron-hole pairs driven coherently across roughly 10% of the Brillouin zone around the \Gamma point. The principal experimental claim is a dynamical birefringence: the sidebands, when the order is high enough (> 20), are usually stronger when the exciting near-infrared (NIR) and the THz electric fields are polarized perpendicular than parallel; the sideband intensities depend on the angles between the THz field and the crystal axes in samples with sufficiently weak quenched disorder; and the sidebands exhibit significant ellipticity that increases with increasing sideband order, despite nearly linear excitation and driving fields. We explain dynamical birefringence by generalizing the three-step model for high order harmonic generation. The hole accumulates Berry phases due to variation of its internal state as the quasi-momentum changes under the THz field. Dynamical birefringence arises from quantum interference between time-reversed pairs of electron-hole recollision pathways.


title: Quantum Exciton-Polariton Networks through Inverse Four-Wave Mixing

abstract: We demonstrate the potential of quantum operation using lattices of exciton-polaritons in patterned semiconductor microcavities. By introducing an inverse four-wave mixing scheme acting on localized modes, we show that it is possible to develop non-classical correlations between individual condensates. This allows a concept of quantum exciton-polariton networks, characterized by the appearance of multimode entanglement even in the presence of realistic levels of dissipation.


title: Edge of spiked beta ensembles, stochastic Airy semigroups and reflected Brownian motions

abstract: We access the edge of Gaussian beta ensembles with one spike by analyzing high powers of the associated tridiagonal matrix models. In the classical cases beta=1, 2, 4, this corresponds to studying the fluctuations of the largest eigenvalues of additive rank one perturbations of the GOE/GUE/GSE random matrices. In the infinite-dimensional limit, we arrive at a one-parameter family of random Feynman-Kac type semigroups, which features the stochastic Airy semigroup of Gorin and Shkolnikov [13] as an extreme case. Our analysis also provides Feynman-Kac formulas for the spiked stochastic Airy operators, introduced by Bloemendal and Virag [6]. The Feynman-Kac formulas involve functionals of a reflected Brownian motion and its local times, thus, allowing to study the limiting operators by tools of stochastic analysis. We derive a first result in this direction by obtaining a new distributional identity for a reflected Brownian bridge conditioned on its local time at zero.


title: The Link between Magnetic-field Orientations and Star Formation Rates

abstract: Understanding star formation rates (SFR) is a central goal of modern star-formation models, which mainly involve gravity, turbulence and, in some cases, magnetic fields (B-fields). However, a connection between B-fields and SFR has never been observed. Here, a comparison between the surveys of SFR and a study of cloud-field alignment - which revealed a bimodal (parallel or perpendicular) alignment - shows consistently lower SFR per solar mass for clouds almost perpendicular to the B-fields. This is evidence of B-fields being a primary regulator of SFR. The perpendicular alignment possesses a significantly higher magnetic flux than the parallel alignment and thus a stronger support of the gas against self-gravity. This results in overall lower masses of the fragmented components, which are in agreement with the lower SFR.


title: The DArk Matter Particle Explorer mission

abstract: The DArk Matter Particle Explorer (DAMPE), one of the four scientific space science missions within the framework of the Strategic Pioneer Program on Space Science of the Chinese Academy of Sciences, is a general purpose high energy cosmic-ray and gamma-ray observatory, which was successfully launched on December 17th, 2015 from the Jiuquan Satellite Launch Center. The DAMPE scientific objectives include the study of galactic cosmic rays up to $\sim 10$ TeV and hundreds of TeV for electrons/gammas and nuclei respectively, and the search for dark matter signatures in their spectra. In this paper we illustrate the layout of the DAMPE instrument, and discuss the results of beam tests and calibrations performed on ground. Finally we present the expected performance in space and give an overview of the mission key scientific goals.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: The Infrared Medium-deep Survey. III. Survey of Luminous Quasars at 4.7 $\leq$ z $\leq$ 5.4

abstract: We present our first results of the survey for high redshift quasars at $5 \lesssim {\rm z} \lesssim 5.7$. The search for quasars in this redshift range has been known to be challenging due to limitations of filter sets used in previous studies. We conducted a quasar survey for two specific redshift ranges, 4.60 $\leq$ z $\leq$ 5.40 and 5.50 $\leq$ z $\leq$ 6.05, using multi-wavelength data that include observations using custom-designed filters, $is$ and $iz$. Using these filters and a new selection technique, we were able to reduce the fraction of interlopers. Through optical spectroscopy, we confirmed seven quasars at 4.7 $\leq$ z $\leq$ 5.4 with $-27.4 < M_{1450} < -26.4$ which were discovered independently by another group recently. We estimated black hole masses and Eddington ratios of four of these quasars from optical and near-infrared spectra, and found that these quasars are undergoing nearly Eddington-limited accretion which is consistent with the rapid growth of supermassive black holes in luminous quasars at z $\sim$ 5.


title: Observation of two types of anyons in the Kitaev honeycomb magnet

abstract: Quantum spin liquid is a disordered magnetic state with fractional spin excitations. Its clearest example is found in an exactly solved Kitaev honeycomb model where a spin flip fractionalizes into two types of anyons, quasiparticles that are neither fermions nor bosons: a pair of gauge fluxes and a Majorana fermion. Here we demonstrate this kind of fractionalization in the Kitaev paramagnetic state of the honeycomb magnet $\alpha$-RuCl$_3$. The spin-excitation gap measured by nuclear magnetic resonance consists of the predicted Majorana fermion contribution following the cube of the applied magnetic field, and a finite zero-field contribution matching the predicted size of the gauge-flux gap. The observed fractionalization into gapped anyons survives in a broad range of temperatures and magnetic fields despite inevitable non-Kitaev interactions between the spins, which are predicted to drive the system towards a gapless ground state. The gapped character of both anyons is crucial for their potential application in topological quantum computing.


title: Unmixing Supergravity

abstract: We examine the double-trace spectrum of $\mathcal{N} = 4$ super Yang-Mills theory in the supergravity limit. At large $N$ double-trace operators exhibit degeneracy. By considering free-field and tree-level supergravity contributions to four-point functions of half-BPS operators we resolve the degeneracy for a large family of double-trace operators. The mixing problem reveals a surprisingly simple structure which allows us to obtain their three-point functions at leading order in the large $N$ expansion as well as their leading anomalous dimensions.


title: Iterative Random Forests to detect predictive and stable high-order interactions

abstract: Genomics has revolutionized biology, enabling the interrogation of whole transcriptomes, genome-wide binding sites for proteins, and many other molecular processes. However, individual genomic assays measure elements that interact in vivo as components of larger molecular machines. Understanding how these high-order interactions drive gene expression presents a substantial statistical challenge. Building on Random Forests (RF), Random Intersection Trees (RITs), and through extensive, biologically inspired simulations, we developed the iterative Random Forest algorithm (iRF). iRF trains a feature-weighted ensemble of decision trees to detect stable, high-order interactions with same order of computational cost as RF. We demonstrate the utility of iRF for high-order interaction discovery in two prediction problems: enhancer activity in the early Drosophila embryo and alternative splicing of primary transcripts in human derived cell lines. In Drosophila, among the 20 pairwise transcription factor interactions iRF identifies as stable (returned in more than half of bootstrap replicates), 80% have been previously reported as physical interactions. Moreover, novel third-order interactions, e.g. between Zelda (Zld), Giant (Gt), and Twist (Twi), suggest high-order relationships that are candidates for follow-up experiments. In human-derived cells, iRF re-discovered a central role of H3K36me3 in chromatin-mediated splicing regulation, and identified novel 5th and 6th order interactions, indicative of multi-valent nucleosomes with specific roles in splicing regulation. By decoupling the order of interactions from the computational cost of identification, iRF opens new avenues of inquiry into the molecular mechanisms underlying genome biology.


title: Multi-spacecraft observations and transport simulations of solar energetic particles for the May 17th 2012 event

abstract: The injection, propagation and arrival of solar energetic particles (SEPs) during eruptive solar events is an important and current research topic of heliospheric physics. During the largest solar events, particles may have energies up to a few GeVs and sometimes even trigger ground-level enhancements (GLEs) at Earth. We study the first GLE-event of solar cycle 24, from 17th May 2012, using data from multiple spacecraft (SOHO, GOES, MSL, STEREO-A, STEREO-B and MESSENGER). These spacecraft are located throughout the inner heliosphere, at heliocentric distances between 0.34 and 1.5 astronomical units (au), covering nearly the whole range of heliospheric longitudes. We present and investigate sub-GeV proton time profiles for the event at several energy channels, obtained via different instruments aboard the above spacecraft. We investigate issues due to magnetic connectivity, and present results of three-dimensional SEP propagation simulations. We gather virtual time profiles and perform qualitative and quantitative comparisons with observations, assessing longitudinal injection and transport effects as well as peak intensities. We distinguish different time profile shapes for well-connected and weakly connected observers, and find our onset time analysis to agree with this distinction. At select observers, we identify an additional low-energy component of Energetic Storm Particles (ESPs). Using well-connected observers for normalisation, our simulations are able to accurately recreate both time profile shapes and peak intensities at multiple observer locations. This synergetic approach combining numerical modeling with multi-spacecraft observations is crucial for understanding the propagation of SEPs within the interplanetary magnetic field. Our novel analysis provides valuable proof of the ability to simulate SEP propagation throughout the inner heliosphere, at a wide range of longitudes.


title: Preasymptotic Convergence of Randomized Kaczmarz Method

abstract: Kaczmarz method is one popular iterative method for solving inverse problems, especially in computed tomography. Recently, it was established that a randomized version of the method enjoys an exponential convergence for well-posed problems, and the convergence rate is determined by a variant of the condition number. In this work, we analyze the preasymptotic convergence behavior of the randomized Kaczmarz method, and show that the low-frequency error (with respect to the right singular vectors) decays faster during first iterations than the high-frequency error. Under the assumption that the inverse solution is smooth (e.g., sourcewise representation), the result explains the fast empirical convergence behavior, thereby shedding new insights into the excellent performance of the randomized Kaczmarz method in practice. Further, we propose a simple strategy to stabilize the asymptotic convergence of the iteration by means of variance reduction. We provide extensive numerical experiments to confirm the analysis and to elucidate the behavior of the algorithms.


title: Resolving ultrafast exciton migration in organic solids at the nanoscale

abstract: The effectiveness of molecular-based light harvesting relies on transport of optical excitations, excitons, to charg-transfer sites. Measuring exciton migration has, however, been challenging because of the mismatch between nanoscale migration lengths and the diffraction limit. In organic semiconductors, common bulk methods employ a series of films terminated at quenching substrates, altering the spatioenergetic landscape for migration. Here we instead define quenching boundaries all-optically with sub-diffraction resolution, thus characterizing spatiotemporal exciton migration on its native nanometer and picosecond scales without disturbing morphology. By transforming stimulated emission depletion microscopy into a time-resolved ultrafast approach, we measure a 16-nm migration length in CN-PPV conjugated polymer films. Combining these experiments with Monte Carlo exciton hopping simulations shows that migration in CN-PPV films is essentially diffusive because intrinsic chromophore energetic disorder is comparable to inhomogeneous broadening among chromophores. This framework also illustrates general trends across materials. Our new approach's sub-diffraction resolution will enable previously unattainable correlations of local material structure to the nature of exciton migration, applicable not only to photovoltaic or display-destined organic semiconductors but also to explaining the quintessential exciton migration exhibited in photosynthesis.


title: Methodological Approach for the Design of a Complex Inclusive Human-Machine System

abstract: Modern industrial automatic machines and robotic cells are equipped with highly complex human-machine interfaces (HMIs) that often prevent human operators from an effective use of the automatic systems. In particular, this applies to vulnerable users, such as those with low experience or education level, the elderly and the disabled. To tackle this issue, it becomes necessary to design user-oriented HMIs, which adapt to the capabilities and skills of users, thus compensating their limitations and taking full advantage of their knowledge. In this paper, we propose a methodological approach to the design of complex adaptive human-machine systems that might be inclusive of all users, in particular the vulnerable ones. The proposed approach takes into account both the technical requirements and the requirements for ethical, legal and social implications (ELSI) for the design of automatic systems. The technical requirements derive from a thorough analysis of three use cases taken from the European project INCLUSIVE. To achieve the ELSI requirements, the MEESTAR approach is combined with the specific legal issues for occupational systems and requirements of the target users.


title: Is the Riemann zeta function in a short interval a 1-RSB spin glass ?

abstract: Fyodorov, Hiary & Keating established an intriguing connection between the maxima of log-correlated processes and the ones of the Riemann zeta function on a short interval of the critical line. In particular, they suggest that the analogue of the free energy of the Riemann zeta function is identical to the one of the Random Energy Model in spin glasses. In this paper, the connection between spin glasses and the Riemann zeta function is explored further. We study a random model of the Riemann zeta function and show that its two-overlap distribution corresponds to the one of a one-step replica symmetry breaking (1-RSB) spin glass. This provides evidence that the local maxima of the zeta function are strongly clustered.


title: X-ray surface brightness observations of galaxy clusters, cosmic opacity and the limits on the matter density parameter

abstract: In this work, we use two gas mass fraction samples of galaxy clusters obtained from their X-ray surface brightness observations jointly with recent $H(z)$ data in a flat $\Lambda$CDM framework to impose limits on cosmic opacity. It is assumed that the galaxy clusters are in hydrostatic equilibrium and their gas mass fraction measurement is constant with redshift. We show that the current limits on the matter density parameter obtained from X-ray gas mass fraction test are strongly dependent on the cosmic transparency assumption even for a flat scenario. Our results are consistent with a transparent universe within $1\sigma$ c.l. in full agreement with other analyses which used type Ia supernovae, gamma ray burst and $H(z)$ data.


title: Photonic-Crystal Exciton-Polaritons in Monolayer Semiconductors

abstract: Semiconductor microcavity polaritons, formed via strong exciton-photon coupling, provide a quantum many-body system on a chip, featuring rich physics phenomena for better photonic technology. However, conventional polariton cavities are bulky, difficult to integrate, and inflexible for mode control, especially for room temperature materials. Here we demonstrate sub-wavelength thick one-dimensional photonic crystals (PCs) as a designable, compact and practical platform for strong coupling with atomically thin van der Waals Crystals (vdWCs). Polariton dispersions and mode anti-crossings are measured up to room temperature. Non-radiative decay to dark excitons was suppressed due to polariton enhancement of the radiative decay. Unusual features, including highly anisotropic dispersions and adjustable Fano resonances in reflectance, may facilitate high temperature polariton condensation in variable dimensions. Combining slab PCs and vdWCs in the strong coupling regime allows unprecedented engineering flexibility for exploring novel polariton phenomena and device concepts.


title: Paths in hypergraphs: a rescaling phenomenon

abstract: Let $P^k_\ell$ denote the loose $k$-path of length $\ell$ and let define $f^k_\ell(n,m)$ as the minimum value of $\Delta(H)$ over all $P^k_\ell$-free $k$-graphs $H$ with $n$ vertices and $m$ edges. In the paper we study the behavior of $f^4_2(n,m)$ and $f^3_3(n,m)$ and characterize the structure of extremal hypergraphs. In particular, it is shown that when $m\sim n^2/8$ the value of each of these functions drops down from $\Theta(n^2)$ to $\Theta(n)$.


title: Inverse Ising inference by combining Ornstein-Zernike theory with deep learning

abstract: Inferring a generative model from data is a fundamental problem in machine learning. It is well-known that the Ising model is the maximum entropy model for binary variables which reproduces the sample mean and pairwise correlations. Learning the parameters of the Ising model from data is the challenge. We establish an analogy between the inverse Ising problem and the Ornstein-Zernike formalism in liquid state physics. Rather than analytically deriving the closure relation, we use a deep neural network to learn the closure from simulations of the Ising model. We show, using simulations as well as biochemical datasets, that the deep neural network model outperforms systematic field-theoretic expansions, is more data-efficient than the pseudolikelihood method, and can generalize well beyond the parameter regime of the training data. The neural network is able to learn from synthetic data, which can be generated with relative ease, to give accurate predictions on real world datasets.


title: Towards Modern Inclusive Factories: A Methodology for the Development of Smart Adaptive Human-Machine Interfaces

abstract: Modern manufacturing systems typically require high degrees of flexibility, in terms of ability to customize the production lines to the constantly changing market requests. For this purpose, manufacturing systems are required to be able to cope with changes in the types of products, and in the size of the production batches. As a consequence, the human-machine interfaces (HMIs) are typically very complex, and include a wide range of possible operational modes and commands. This generally implies an unsustainable cognitive workload for the human operators, in addition to a non-negligible training effort. To overcome this issue, in this paper we present a methodology for the design of adaptive human-centred HMIs for industrial machines and robots. The proposed approach relies on three pillars: measurement of user's capabilities, adaptation of the information presented in the HMI, and training of the user. The results expected from the application of the proposed methodology are investigated in terms of increased customization and productivity of manufacturing processes, and wider acceptance of automation technologies. The proposed approach has been devised in the framework of the European project INCLUSIVE.


title: Distributed compression through the lens of algorithmic information theory: a primer

abstract: Distributed compression is the task of compressing correlated data by several parties, each one possessing one piece of data and acting separately. The classical Slepian-Wolf theorem (D. Slepian, J. K. Wolf, IEEE Transactions on Inf. Theory, 1973) shows that if data is generated by independent draws from a joint distribution, that is by a memoryless stochastic process, then distributed compression can achieve the same compression rates as centralized compression when the parties act together. Recently, the author (M. Zimand, STOC 2017) has obtained an analogue version of the Slepian-Wolf theorem in the framework of Algorithmic Information Theory (also known as Kolmogorov complexity). The advantage over the classical theorem, is that the AIT version works for individual strings, without any assumption regarding the generative process. The only requirement is that the parties know the complexity profile of the input strings, which is a simple quantitative measure of the data correlation. The goal of this paper is to present in an accessible form that omits some technical details the main ideas from the reference (M. Zimand, STOC 2017).


title: Factored closed-form expressions for the sums of cubes of Fibonacci and Lucas numbers

abstract: We obtain explicit factored closed-form expressions for Fibonacci and Lucas sums of the form \mbox{$\sum_{k = 1}^n {F_{2rk}^3 }$} and \mbox{$\sum_{k = 1}^n {L_{2rk}^3 }$}, where $r$~and~$n$ are integers.


title: Efficiency of quantum versus classical annealing in non-convex learning problems

abstract: Quantum annealers aim at solving non-convex optimization problems by exploiting cooperative tunneling effects to escape local minima. The underlying idea consists in designing a classical energy function whose ground states are the sought optimal solutions of the original optimization problem and add a controllable quantum transverse field to generate tunneling processes. A key challenge is to identify classes of non-convex optimization problems for which quantum annealing remains efficient while thermal annealing fails. We show that this happens for a wide class of problems which are central to machine learning. Their energy landscapes is dominated by local minima that cause exponential slow down of classical thermal annealers while simulated quantum annealing converges efficiently to rare dense regions of optimal solutions.


title: Loop groups and diffeomorphism groups of the circle as colimits

abstract: We show that loop groups and the universal cover of $\mathrm{Diff}_+(S^1)$ can be expressed as colimits of groups of loops/diffeomorphisms supported in subintervals of $S^1$. Analogous results hold for based loop groups and for the based diffeomorphism group of $S^1$. These results continue to hold for the corresponding centrally extended groups. We use the above results to construct a comparison functor from the representations of a loop group conformal net to the representations of the corresponding affine Lie algebra. We also establish an equivalence of categories between solitonic representations of the loop group conformal net, and locally normal representations of the based loop group.


title: Pseudorandom number generator based on the Bernoulli map on cubic algebraic integers

abstract: We develop a method for generating pseudorandom binary sequences using the Bernoulli map on cubic algebraic integers. The distinguishing characteristic of our generator is that it generates chaotic true orbits of the Bernoulli map by exact computation. In particular, we clarify a way to properly prepare a set of initial points (i.e., seeds), which is needed when generating multiple pseudorandom sequences. With this seed selection method, we can distribute the initial points almost uniformly in the unit interval and can also guarantee that the orbits starting from them do not merge. We also report results of a large variety of tests indicating that the generated pseudorandom sequences have good statistical properties as well as an advantage over what is probably the most popular generator, the Mersenne Twister MT19937.


title: Magnetic Proximity Effect in Pt/CoFe2O4 Bilayers

abstract: We observe the magnetic proximity effect (MPE) in Pt/CoFe2O4 bilayers grown by molecular beam epitaxy. This is revealed through angle-dependent magnetoresistance measurements at 5 K, which isolate the contributions of induced ferromagnetism (i.e. anisotropic magnetoresistance) and spin Hall effect (i.e. spin Hall magnetoresistance) in the Pt layer. The observation of induced ferromagnetism in Pt via AMR is further supported by density functional theory calculations and various control measurements including insertion of a Cu spacer layer to suppress the induced ferromagnetism. In addition, anomalous Hall effect measurements show an out-of-plane magnetic hysteresis loop of the induced ferromagnetic phase with larger coercivity and larger remanence than the bulk CoFe2O4. By demonstrating MPE in Pt/CoFe2O4, these results establish the spinel ferrite family as a promising material for MPE and spin manipulation via proximity exchange fields.


title: Paying More Attention to Saliency: Image Captioning with Saliency and Context Attention

abstract: Image captioning has been recently gaining a lot of attention thanks to the impressive achievements shown by deep captioning architectures, which combine Convolutional Neural Networks to extract image representations, and Recurrent Neural Networks to generate the corresponding captions. At the same time, a significant research effort has been dedicated to the development of saliency prediction models, which can predict human eye fixations. Even though saliency information could be useful to condition an image captioning architecture, by providing an indication of what is salient and what is not, research is still struggling to incorporate these two techniques. In this work, we propose an image captioning approach in which a generative recurrent neural network can focus on different parts of the input image during the generation of the caption, by exploiting the conditioning given by a saliency prediction model on which parts of the image are salient and which are contextual. We show, through extensive quantitative and qualitative experiments on large scale datasets, that our model achieves superior performances with respect to captioning baselines with and without saliency, and to different state of the art approaches combining saliency and captioning.


title: Local Cauchy theory for the nonlinear Schr\"odinger equation in spaces of infinite mass

abstract: We consider the Cauchy problem for the nonlinear Schr\"odinger equation on $\mathbb{R}^d$, where the initial data is in $\dot{H}^1(\mathbb{R}^d)\cap L^p(\mathbb{R}^d)$. We prove local well-posedness for large ranges of $p$ and discuss some global well-posedness results.


title: Generative Encoder-Decoder Models for Task-Oriented Spoken Dialog Systems with Chatting Capability

abstract: Generative encoder-decoder models offer great promise in developing domain-general dialog systems. However, they have mainly been applied to open-domain conversations. This paper presents a practical and novel framework for building task-oriented dialog systems based on encoder-decoder models. This framework enables encoder-decoder models to accomplish slot-value independent decision-making and interact with external databases. Moreover, this paper shows the flexibility of the proposed method by interleaving chatting capability with a slot-filling system for better out-of-domain recovery. The models were trained on both real-user data from a bus information system and human-human chat data. Results show that the proposed framework achieves good performance in both offline evaluation metrics and in task success rate with human users.


title: Landau Damping of Beam Instabilities by Electron Lenses

abstract: Modern and future particle accelerators employ increasingly higher intensity and brighter beams of charged particles and become operationally limited by coherent beam instabilities. Usual methods to control the instabilities, such as octupole magnets, beam feedback dampers and use of chromatic effects, become less effective and insufficient. We show that, in contrast, Lorentz forces of a low-energy, a magnetically stabilized electron beam, or "electron lens", easily introduces transverse nonlinear focusing sufficient for Landau damping of transverse beam instabilities in accelerators. It is also important that, unlike other nonlinear elements, the electron lens provides the frequency spread mainly at the beam core, thus allowing much higher frequency spread without lifetime degradation. For the parameters of the Future Circular Collider, a single conventional electron lens a few meters long would provide stabilization superior to tens of thousands of superconducting octupole magnets.


title: Artifact Free Transient Near-Field Nanoscopy

abstract: We report on the first implementation of ultrafast near field nanoscopy carried out with the transient pseudoheterodyne detection method (Tr-pHD). This method is well suited for efficient and artifact free pump-probe scattering-type near-field optical microscopy with nanometer scale resolution. The Tr-pHD technique is critically compared to other data acquisition methods and found to offer significant advantages. Experimental evidence for the advantages of Tr-pHD is provided in the Near-IR frequency range. Crucial factors involved in achieving proper performance of the Tr-pHD method with pulsed laser sources are analyzed and detailed in this work. We applied this novel method to time-resolved and spatially resolved studies of the photo-induced effects in the insulator-to-metal transition system vanadium dioxide with nanometer scale resolution.


title: A Partial Solution to Continuous Blotto

abstract: This paper analyzes the structure of mixed-strategy equilibria for Colonel Blotto games, where the outcome on each battlefield is a polynomial function of the difference between the two players' allocations. This paper severely reduces the set of strategies that needs to be searched to find a Nash equilibrium. It finds that there exists a Nash equilibrium where both players' mixed strategies are discrete distributions, and it places an upper bound on the number of points in the supports of these discrete distributions.


title: Dimensional regularization of the IR divergences in the Fokker action of point-particle binaries at the fourth post-Newtonian order

abstract: The Fokker action of point-particle binaries at the fourth post-Newtonian (4PN) approximation of general relativity has been determined previously. However two ambiguity parameters associated with infra-red (IR) divergencies of spatial integrals had to be introduced. These two parameters were fixed by comparison with gravitational self-force (GSF) calculations of the conserved energy and periastron advance for circular orbits in the test-mass limit. In the present paper together with a companion paper, we determine both these ambiguities from first principle, by means of dimensional regularization. Our computation is thus entirely defined within the dimensional regularization scheme, for treating at once the IR and ultra-violet (UV) divergencies. In particular, we obtain crucial contributions coming from the Einstein-Hilbert part of the action and from the non-local tail term in arbitrary dimensions, which resolve the ambiguities.


title: Translations: generalizing relative expressiveness between logics

abstract: There is a strong demand for precise means for the comparison of logics in terms of expressiveness both from theoretical and from application areas. The aim of this paper is to propose a sufficiently general and reasonable formal criterion for expressiveness, so as to apply not only to model-theoretic logics, but also to Tarskian and proof-theoretic logics. For model-theoretic logics there is a standard framework of relative expressiveness, based on the capacity of characterizing structures, and a straightforward formal criterion issuing from it. The problem is that it only allows the comparison of those logics defined within the same class of models. The urge for a broader framework of expressiveness is not new. Nevertheless, the enterprise is complex and a reasonable model-theoretic formal criterion is still wanting. Recently there appeared two criteria in this wider framework, one from Garc\'ia-Matos & V\"a\"an\"anen and other from L. Kuijer. We argue that they are not adequate. Their limitations are analyzed and we propose to move to an even broader framework lacking model-theoretic notions, which we call "translational expressiveness". There is already a criterion in this later framework by Mossakowski et al., however it turned out to be too lax. We propose some adequacy criteria for expressiveness and a formal criterion of translational expressiveness complying with them is given.


title: Deep Network Flow for Multi-Object Tracking

abstract: Data association problems are an important component of many computer vision applications, with multi-object tracking being one of the most prominent examples. A typical approach to data association involves finding a graph matching or network flow that minimizes a sum of pairwise association costs, which are often either hand-crafted or learned as linear functions of fixed features. In this work, we demonstrate that it is possible to learn features for network-flow-based data association via backpropagation, by expressing the optimum of a smoothed network flow problem as a differentiable function of the pairwise association costs. We apply this approach to multi-object tracking with a network flow formulation. Our experiments demonstrate that we are able to successfully learn all cost functions for the association problem in an end-to-end fashion, which outperform hand-crafted costs in all settings. The integration and combination of various sources of inputs becomes easy and the cost functions can be learned entirely from data, alleviating tedious hand-designing of costs.


title: Complexity of the Regularized Newton Method

abstract: Newton's method for finding an unconstrained minimizer for strictly convex functions, generally speaking, does not converge from any starting point. We introduce and study the damped regularized Newton's method (DRNM). It converges globally for any strictly convex function, which has a minimizer in $R^n$. Locally DRNM converges with a quadratic rate. We characterize the neighborhood of the minimizer, where the quadratic rate occurs. Based on it we estimate the number of DRNM's steps required for finding an $\varepsilon$- approximation for the minimizer.


title: Queueing in the Mist: Buffering and Scheduling with Limited Knowledge

abstract: Scheduling and managing queues with bounded buffers are among the most fundamental problems in computer networking. Traditionally, it is often assumed that all the properties of each packet are known immediately upon arrival. However, as traffic becomes increasingly heterogeneous and complex, such assumptions are in many cases invalid. In particular, in various scenarios information about packet characteristics becomes available only after the packet has undergone some initial processing. In this work, we study the problem of managing queues with limited knowledge. We start by showing lower bounds on the competitive ratio of any algorithm in such settings. Next, we use the insight obtained from these bounds to identify several algorithmic concepts appropriate for the problem, and use these guidelines to design a concrete algorithmic framework. We analyze the performance of our proposed algorithm, and further show how it can be implemented in various settings, which differ by the type and nature of the unknown information. We further validate our results and algorithmic approach by a simulation study that provides further insights as to our algorithmic design principles in face of limited knowledge.


title: The local entropy along Ricci flow---Part A: the no-local-collapsing theorems

abstract: We localize the entropy functionals of G. Perelman and generalize his no-local-collapsing theorem and pseudo-locality theorem. Our generalization is technically inspired by further development of Li-Yau estimate along the Ricci flow. It can be used to show the Gromov-Hausdorff convergence of the K\"ahler Ricci flow on each minimal projective manifold of general type.


title: Inverse designed broadband all-dielectric electromagnetic metadevices

abstract: We present an all-dielectric metadevice platform realized by combining an inverse electromagnetic design computational method with additive manufacturing. As opposed to conventional flat metasurface based devices that are composed of resonant building blocks resulting in narrow band operation, our design approach creates non-resonant, extremely broadband metadevices. We propose and demonstrate high-efficiency (transmission > 60%), using thin all-dielectric metadevices that are capable of polarization splitting, beam bending, and focusing. Experimental demonstrations are performed at millimeter-wave frequencies using 3D-printed metadevices, however our proposed platform can be readily applied to the design and fabrication of electromagnetic and photonic metadevices spanning microwave to optical frequencies.


title: Non-Orthogonal Multiple Access combined with Random Linear Network Coded Cooperation

abstract: This letter considers two groups of source nodes. Each group transmits packets to its own designated destination node over single-hop links and via a cluster of relay nodes shared by both groups. In an effort to boost reliability without sacrificing throughput, a scheme is proposed, whereby packets at the relay nodes are combined using two methods; packets delivered by different groups are mixed using non-orthogonal multiple access principles, while packets originating from the same group are mixed using random linear network coding. An analytical framework that characterizes the performance of the proposed scheme is developed, compared to simulation results and benchmarked against a counterpart scheme that is based on orthogonal multiple access.


title: Perpendicular magnetic anisotropy in insulating ferrimagnetic gadolinium iron garnet thin films

abstract: We present experimental control of the magnetic anisotropy in a gadolinium iron garnet (GdIG) thin film from in-plane to perpendicular anisotropy by simply changing the sample temperature. The magnetic hysteresis loops obtained by SQUID magnetometry measurements unambiguously reveal a change of the magnetically easy axis from out-of-plane to in-plane depending on the sample temperature. Additionally, we confirm these findings by the use of temperature dependent broadband ferromagnetic resonance spectroscopy (FMR). In order to determine the effective magnetization, we utilize the intrinsic advantage of FMR spectroscopy which allows to determine the magnetic anisotropy independent of the paramagnetic substrate, while magnetometry determines the combined magnetic moment from film and substrate. This enables us to quantitatively evaluate the anisotropy and the smooth transition from in-plane to perpendicular magnetic anisotropy. Furthermore, we derive the temperature dependent $g$-factor and the Gilbert damping of the GdIG thin film.


title: Sub-Laplacian comparison theorems on totally geodesic Riemannian foliations

abstract: We develop a variational theory of geodesics for the canonical variation of the metric of a totally geodesic foliation. As a consequence, we obtain comparison theorems for the horizontal and vertical Laplacians. In the case of Sasakian foliations, we show that sharp horizontal and vertical comparison theorems for the sub-Riemannian distance may be obtained as a limit of horizontal and vertical comparison theorems for the Riemannian distances approximations.


title: Incorporating Inductances in Tissue-Scale Models of Cardiac Electrophysiology

abstract: In standard models of cardiac electrophysiology, including the bidomain and monodomain models, local perturbations can propagate at infinite speed. We address this unrealistic property by developing a hyperbolic bidomain model that is based on a generalization of Ohm's law with a Cattaneo-type model for the fluxes. Further, we obtain a hyperbolic monodomain model in the case that the intracellular and extracellular conductivity tensors have the same anisotropy ratio. In one spatial dimension, the hyperbolic monodomain model is equivalent to a cable model that includes axial inductances, and the relaxation times of the Cattaneo fluxes are strictly related to these inductances. A purely linear analysis shows that the inductances are negligible, but models of cardiac electrophysiology are highly nonlinear, and linear predictions may not capture the fully nonlinear dynamics. In fact, contrary to the linear analysis, we show that for simple nonlinear ionic models, an increase in conduction velocity is obtained for small and moderate values of the relaxation time. A similar behavior is also demonstrated with biophysically detailed ionic models. Using the Fenton-Karma model along with a low-order finite element spatial discretization, we numerically analyze differences between the standard monodomain model and the hyperbolic monodomain model. In a simple benchmark test, we show that the propagation of the action potential is strongly influenced by the alignment of the fibers with respect to the mesh in both the parabolic and hyperbolic models when using relatively coarse spatial discretizations. Accurate predictions of the conduction velocity require computational mesh spacings on the order of a single cardiac cell. We also compare the two formulations in the case of spiral break up and atrial fibrillation in an anatomically detailed model of the left atrium, and [...].


title: Cognitive Subscore Trajectory Prediction in Alzheimer's Disease

abstract: Accurate diagnosis of Alzheimer's Disease (AD) entails clinical evaluation of multiple cognition metrics and biomarkers. Metrics such as the Alzheimer's Disease Assessment Scale - Cognitive test (ADAS-cog) comprise multiple subscores that quantify different aspects of a patient's cognitive state such as learning, memory, and language production/comprehension. Although computer-aided diagnostic techniques for classification of a patient's current disease state exist, they provide little insight into the relationship between changes in brain structure and different aspects of a patient's cognitive state that occur over time in AD. We have developed a Convolutional Neural Network architecture that can concurrently predict the trajectories of the 13 subscores comprised by a subject's ADAS-cog examination results from a current minimally preprocessed structural MRI scan up to 36 months from image acquisition time without resorting to manual feature extraction. Mean performance metrics are within range of those of existing techniques that require manual feature selection and are limited to predicting aggregate scores.


title: Hybrid Photonic Loss Resilient Entanglement Swapping

abstract: We propose a scheme of loss resilient entanglement swapping between two distant parties in lossy optical fibre. In this scheme, Alice and Bob each begin with a pair of entangled non-classical states; these "hybrid states" of light are entangled discrete variable (Fock state) and continuous variable (coherent state) pairs. The continuous variable halves of each of these pairs are sent through lossy optical fibre to a middle location, where these states are then mixed (using a 50:50 beam-splitter) and measured. The detection scheme we use is to measure one of these modes via vacuum detection, and to measure the other mode using homodyne detection. In this work we show that the Bell state $\lvert\Phi^{+}\rangle=(\lvert 00\rangle+\lvert 11\rangle)/\sqrt{2}$ can theoretically be produced following this scheme with high fidelity and entanglement, even when allowing for a small amount of loss. It can be shown that there is an optimal amplitude value ($\alpha$) of the coherent state when allowing for such loss. We also investigate the realistic circumstance when the loss is not balanced in the propagating modes. We demonstrate that a small amount of loss mismatch does not destroy the overall entanglement, thus demonstrating the physical practicality of this protocol.


title: Towards the Evolution of Multi-Layered Neural Networks: A Dynamic Structured Grammatical Evolution Approach

abstract: Current grammar-based NeuroEvolution approaches have several shortcomings. On the one hand, they do not allow the generation of Artificial Neural Networks (ANNs composed of more than one hidden-layer. On the other, there is no way to evolve networks with more than one output neuron. To properly evolve ANNs with more than one hidden-layer and multiple output nodes there is the need to know the number of neurons available in previous layers. In this paper we introduce Dynamic Structured Grammatical Evolution (DSGE): a new genotypic representation that overcomes the aforementioned limitations. By enabling the creation of dynamic rules that specify the connection possibilities of each neuron, the methodology enables the evolution of multi-layered ANNs with more than one output neuron. Results in different classification problems show that DSGE evolves effective single and multi-layered ANNs, with a varying number of output neurons.


title: On Signal Reconstruction from FROG Measurements

abstract: Phase retrieval refers to recovering a signal from its Fourier magnitude. This problem arises naturally in many scientific applications, such as ultra-short laser pulse characterization and diffraction imaging. Unfortunately, phase retrieval is ill-posed for almost all one-dimensional signals. In order to characterize a laser pulse and overcome the ill-posedness, it is common to use a technique called Frequency-Resolved Optical Gating (FROG). In FROG, the measured data, referred to as FROG trace, is the Fourier magnitude of the product of the underlying signal with several translated versions of itself. The FROG trace results in a system of phaseless quartic Fourier measurements. In this paper, we prove that it suffices to consider only three translations of the signal to determine almost all bandlimited signals, up to trivial ambiguities. In practice, one usually also has access to the signal's Fourier magnitude. We show that in this case only two translations suffice. Our results significantly improve upon earlier work.


title: Uncertainty Decomposition in Bayesian Neural Networks with Latent Variables

abstract: Bayesian neural networks (BNNs) with latent variables are probabilistic models which can automatically identify complex stochastic patterns in the data. We describe and study in these models a decomposition of predictive uncertainty into its epistemic and aleatoric components. First, we show how such a decomposition arises naturally in a Bayesian active learning scenario by following an information theoretic approach. Second, we use a similar decomposition to develop a novel risk sensitive objective for safe reinforcement learning (RL). This objective minimizes the effect of model bias in environments whose stochastic dynamics are described by BNNs with latent variables. Our experiments illustrate the usefulness of the resulting decomposition in active learning and safe RL settings.


title: The NA62 RICH detector

abstract: The RICH detector of the NA62 experiment at CERN SPS is required to suppress $\mu^+$ contamination in $K^+ \to \pi^+ \nu \bar\nu$ candidate events by a factor at least 100 between 15 and 35 GeV/c momentum, to measure the pion arrival time with $\sim 100$ ps resolution and to produce a trigger for a charged track. It consists of a 17 m long tank filled with Neon gas at atmospheric pressure. \v{C}erenkov light is reflected by a mosaic of 20 spherical mirrors placed at the downstream end of the vessel and is collected by 1952 photomultipliers placed at the upstream end. The construction of the detector will be described and the performance reached during first runs will be discussed.


title: Conformal Field Theories as Scaling Limit of Anyonic Chains

abstract: We provide a mathematical definition of a low energy scaling limit of a sequence of general non-relativistic quantum theories in any dimension, and apply our formalism to anyonic chains. We formulate Conjecture 4.3 on conditions when a chiral unitary rational (1+1)-conformal field theory would arise as such a limit and verify the conjecture for the Ising minimal model $M(4,3)$ using Ising anyonic chains. Part of the conjecture is a precise relation between Temperley-Lieb generators $\{e_i\}$ and some finite stage operators of the Virasoro generators $\{L_m+L_{-m}\}$ and $\{i(L_m-L_{-m})\}$ for unitary minimal models $M(k+2,k+1)$ in Conjecture 5.5. A similar earlier relation is known as the Koo-Saleur formula in the physics literature [39]. Assuming Conjecture 4.3, most of our main results for the Ising minimal model $M(4,3)$ hold for unitary minimal models $M(k+2,k+1), k\geq 3$ as well. Our approach is inspired by an eventual application to an efficient simulation of conformal field theories by quantum computers, and supported by extensive numerical simulation and physical proofs in the physics literature.


title: Spectrally-normalized margin bounds for neural networks

abstract: This paper presents a margin-based multiclass generalization bound for neural networks that scales with their margin-normalized "spectral complexity": their Lipschitz constant, meaning the product of the spectral norms of the weight matrices, times a certain correction factor. This bound is empirically investigated for a standard AlexNet network trained with SGD on the mnist and cifar10 datasets, with both original and random labels; the bound, the Lipschitz constants, and the excess risks are all in direct correlation, suggesting both that SGD selects predictors whose complexity scales with the difficulty of the learning task, and secondly that the presented bound is sensitive to this complexity.


title: Hidden long evolutionary memory in a model biochemical network

abstract: We introduce a minimal model for the evolution of functional protein-interaction networks using a sequence-based mutational algorithm, and apply the model to study neutral drift in networks that yield oscillatory dynamics. Starting with a functional core module, random evolutionary drift increases network complexity even in the absence of specific selective pressures. Surprisingly, we uncover a hidden order in sequence space that gives rise to long-term evolutionary memory, implying strong constraints on network evolution due to the topology of accessible sequence space.


title: GANs Trained by a Two Time-Scale Update Rule Converge to a Local Nash Equilibrium

abstract: Generative Adversarial Networks (GANs) excel at creating realistic images with complex models for which maximum likelihood is infeasible. However, the convergence of GAN training has still not been proved. We propose a two time-scale update rule (TTUR) for training GANs with stochastic gradient descent on arbitrary GAN loss functions. TTUR has an individual learning rate for both the discriminator and the generator. Using the theory of stochastic approximation, we prove that the TTUR converges under mild assumptions to a stationary local Nash equilibrium. The convergence carries over to the popular Adam optimization, for which we prove that it follows the dynamics of a heavy ball with friction and thus prefers flat minima in the objective landscape. For the evaluation of the performance of GANs at image generation, we introduce the "Fr\'echet Inception Distance" (FID) which captures the similarity of generated images to real ones better than the Inception Score. In experiments, TTUR improves learning for DCGANs and Improved Wasserstein GANs (WGAN-GP) outperforming conventional GAN training on CelebA, CIFAR-10, SVHN, LSUN Bedrooms, and the One Billion Word Benchmark.


title: A Simulator for Hedonic Games

abstract: Hedonic games are meant to model how coalitions of people form and break apart in the real world. However, it is difficult to run simulations when everything must be done by hand on paper. We present an online software that allows fast and visual simulation of several types of hedonic games. http://lukemiles.org/hedonic-games/


title: Natural Language Does Not Emerge 'Naturally' in Multi-Agent Dialog

abstract: A number of recent works have proposed techniques for end-to-end learning of communication protocols among cooperative multi-agent populations, and have simultaneously found the emergence of grounded human-interpretable language in the protocols developed by the agents, all learned without any human supervision! In this paper, using a Task and Tell reference game between two agents as a testbed, we present a sequence of 'negative' results culminating in a 'positive' one -- showing that while most agent-invented languages are effective (i.e. achieve near-perfect task rewards), they are decidedly not interpretable or compositional. In essence, we find that natural language does not emerge 'naturally', despite the semblance of ease of natural-language-emergence that one may gather from recent literature. We discuss how it is possible to coax the invented languages to become more and more human-like and compositional by increasing restrictions on how two agents may communicate.


title: Fast optimization algorithms and the cosmological constant

abstract: Denef and Douglas have observed that in certain landscape models the problem of finding small values of the cosmological constant is a large instance of an NP-hard problem. The number of elementary operations (quantum gates) needed to solve this problem by brute force search exceeds the estimated computational capacity of the observable universe. Here we describe a way out of this puzzling circumstance: despite being NP-hard, the problem of finding a small cosmological constant can be attacked by more sophisticated algorithms whose performance vastly exceeds brute force search. In fact, in some parameter regimes the average-case complexity is polynomial. We demonstrate this by explicitly finding a cosmological constant of order $10^{-120}$ in a randomly generated $10^9$-dimensional ADK landscape.


title: The Bernays-Sch\"onfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable

abstract: First-order linear real arithmetic enriched with uninterpreted predicate symbols yields an interesting modeling language. However, satisfiability of such formulas is undecidable, even if we restrict the uninterpreted predicate symbols to arity one. In order to find decidable fragments of this language, it is necessary to restrict the expressiveness of the arithmetic part. One possible path is to confine arithmetic expressions to difference constraints of the form $x - y \mathrel{\#} c$, where $\#$ ranges over the standard relations $<, \leq, =, \neq, \geq, >$ and $x,y$ are universally quantified. However, it is known that combining difference constraints with uninterpreted predicate symbols yields an undecidable satisfiability problem again. In this paper, it is shown that satisfiability becomes decidable if we in addition bound the ranges of universally quantified variables. As bounded intervals over the reals still comprise infinitely many values, a trivial instantiation procedure is not sufficient to solve the problem.


title: The set of fiber-bunched cocycles with nonvanishing Lyapunov exponents over a partially hyperbolic map is open

abstract: We prove that the set of fiber-bunched $SL(2,\mathbb{R})$-valued H\"{o}lder cocycles with nonvanishing Lyapunov exponents over a volume preserving, accessible and center-bunched partially hyperbolic diffeomorphism is open. Moreover, we present an example showing that this is no longer true if we do not assume acessibility in the base dynamics.


title: Onsager's energy conservation for inhomogeneous Euler equations

abstract: This paper addresses the problem of energy conservation for the two- and three-dimensional density-dependent Euler equations. Two types of sufficient conditions on the regularity of solutions are provided to ensure the conservation of total kinetic energy on the entire time interval including the initial time. The first class of data assumes integrability on the spatial gradient of the density, and hence covers the classical result of Constantin-E-Titi for the homogeneous Euler equations. The other type of data imposes extra time Besov regularity on the velocity profile, and the corresponding result can be applied to deal with a wide class of rough density profiles.


title: Is my attack tree correct? Extended version

abstract: Attack trees are a popular way to represent and evaluate potential security threats on systems or infrastructures. The goal of this work is to provide a framework allowing to express and check whether an attack tree is consistent with the analyzed system. We model real systems using transition systems and introduce attack trees with formally specified node labels. We formulate the correctness properties of an attack tree with respect to a system and study the complexity of the corresponding decision problems. The proposed framework can be used in practice to assist security experts in manual creation of attack trees and enhance development of tools for automated generation of attack trees.


title: On the impossibility of constructing a triangle given its internal bisectors

abstract: We give a simple proof to the fact that it is impossible to use straightedge and compass to construct a triangle given the lengths of its internal bisectors, even if the triangle is isosceles.


title: Room-Temperature Ionic Liquids Meet Bio-Membranes: the State-of-the- Art

abstract: Room-temperature ionic liquids (RTIL) are a new class of organic salts whose melting temperature falls below the conventional limit of 100C. Their low vapor pressure, moreover, has made these ionic compounds the solvents of choice of the so-called green chemistry. For these and other peculiar characteristics, they are increasingly used in industrial applications. However, studies of their interaction with living organisms have highlighted mild to severe health hazards. Since their cytotoxicity shows a positive correlation with their lipo-philicity, several chemical-physical studies of their interaction with biomembranes have been carried out in the last few years, aiming to identify the microscopic mechanisms behind their toxicity. Cation chain length and anion nature have been seen to affect the lipo-philicity and, in turn, the toxicity of RTILs. The emerging picture, however, raises new questions, points to the need to assess toxicity on a case-by-case basis, but also suggests a potential positive role of RTILs in pharmacology, bio-medicine, and, more in general, bio-nano-technology. Here, we review this new subject of research, and comment on the future and the potential importance of this new field of study.


title: $B$ decay anomalies from nonabelian local horizontal symmetry

abstract: Recent anomalies in $B\to K^{(*)}\ell\ell$ meson decays are consistent with exchange of a heavy $Z'$ vector boson. Here we try to connect such new physics to understanding the origin of flavor, by gauging generation number. Phenomenological and theoretical considerations suggest that the smallest viable flavor symmetry (not including any extra U(1) factors) is chiral ${\rm SU(3)}_L\times{\rm SU(3)}_R$, which acts only on generation indices and does not distinguish between quarks and leptons. Spontaneous breaking of the symmetry gives rise to the standard model Yukawa matrices, and masses for the 16 $Z'$-like gauge bosons, one of which is presumed to be light enough to explain the $B\to K^{(*)}\ell\ell$ anomalies. We perform a bottom-up study of this framework, showing that it is highly constrained by LHC dilepton searches, meson mixing, $Z$ decays and CKM unitarity. Similar anomalies are predicted for semileptonic decays of $B$ to lighter mesons, with excesses in the $ee,\tau\tau$ channels and deficits in $\mu\mu$, but no deviation in $\nu\nu$. The lightest $Z'$ mass is $\lesssim 6\,$TeV if the gauge coupling is $\lesssim 1$.


title: Correlating Lepton Flavour (Universality) Violation in $B$ Decays with $\mu\to e\gamma$ using Leptoquarks

abstract: Motivated by the measurements of $b\to s\ell^+\ell^-$ transitions, including $R(K)$ and $R(K^*)$, we examine lepton flavour (universality) violation in $B$ decays and its connections to $\mu\to e\gamma$ in generic leptoquark models. Considering all 10 representations of scalar and vector leptoquarks under the Standard Model gauge group we compute the tree-level matching for semileptonic $b$-quark operators as well as their loop effects in $\ell\to\ell^\prime\gamma$. In our phenomenological analysis we correlate $R(K)$, $R(K^*)$ and the other $b\to s\mu^+\mu^-$ data to $\mu\to e\gamma$ and $b\to s\mu e$ transitions for the three leptoquark representations that generate left-handed currents in $b\to s\ell^+\ell^-$ transitions and, therefore, provide a good fit to data. We find that while new physics contributions to muons are required by the global fit, also couplings to electrons can be sizeable without violating the stringent bounds from $\mu\to e\gamma$. In fact, if the effect in electrons in $b\to s\ell^+\ell^-$ has opposite sign than the effect in muons the bound from $\mu\to e\gamma$ can always be avoided. However, unavoidable effects in $b\to s\mu e$ transitions (i.e. $B_s\to\mu e$, $B\to K\mu e$, etc.) appear which are within the reach of LHCb and BELLE II.


title: Effect of gravity on clustering patterns and inertial particle attractors in Kinematic Simulation

abstract: In this paper, we study the clustering of inertial particles using a periodic kinematic simulation. The systematic Lagrangian tracking of particles makes it possible to identify the particles' clustering patterns for different values of particle inertia and drift velocity. The different cases are characterised by different pairs of Stokes number $St$ and Froude number $Fr$. For the present study $0\leq St \leq 1$ and {$0.4 \leq Fr \leq 1.4$}. The main focus is to identify and then quantify the clustering attractor - when it exists - that is the set of points in the physical space where the particles settle when time goes to infinity. Depending on gravity effect and inertia values, the Lagrangian attractor can have different dimensions varying from the initial three-dimensional space to two-dimensional layers and one-dimensional attractors that can be shifted from a horizontal to a vertical position.


title: A New Method of Extension of Local Maps of Banach Spaces. Applications and Examples

abstract: A known classical method of extension of smooth local maps of Banach spaces uses smooth bump functions. However, such functions are absent in the majority of infinite-dimensional Banach spaces. This is an obstacle in the development of local analysis, in particular in the questions of extending local maps onto the whole space. We suggest an approach that substitutes bump functions with special maps, which we call blid maps. It allows us to extend smooth local maps from non-smooth spaces, such as $C^q[0,1], q=0,1,...$. As an example of applications, we show how to reconstruct a map from its derivatives at a point, for spaces possessing blid maps. We also show how blid maps can assist in finding global solutions to cohomological equations having linear transformation of argument.


title: Well-supported phylogenies using largest subsets of core-genes by discrete particle swarm optimization

abstract: The number of complete chloroplastic genomes increases day after day, making it possible to rethink plants phylogeny at the biomolecular era. Given a set of close plants sharing in the order of one hundred of core chloroplastic genes, this article focuses on how to extract the largest subset of sequences in order to obtain the most supported species tree. Due to computational complexity, a discrete and distributed Particle Swarm Optimization (DPSO) is proposed. It is finally applied to the core genes of Rosales order.


title: Particle Identification with the TOP and ARICH detectors at Belle II

abstract: Particle identification at the Belle II experiment will be provided by two ring imaging Cherenkov devices, the time of propagation counters in the central region and the proximity focusing RICH with aerogel radiator in the forward end-cap region. The key features of these two detectors, the performance studies, and the construction progress is presented.


title: Measured quantum groupoids on a finite basis and equivariant Kasparov theory

abstract: In this article, we generalize to the case of measured quantum groupoids on a finite basis some important results concerning equivariant Kasparov theory for actions of locally compact quantum groups [S. Baaj and G. Skandalis, 1989, 1993]. To every pair $(A,B)$ of C*-algebras continuously acted upon by a regular measured quantum groupoid on a finite basis $\cal G$, we associate a $\cal G$-equivariant Kasparov theory group ${\sf KK}_{\cal G}(A,B)$. The Kasparov product generalizes to this setting. By applying recent results concerning actions of regular measured quantum groupoids on a finite basis [S. Baaj and J. C., 2015; J. C., 2017], we obtain two canonical homomorphisms $J_{\cal G}:{\sf KK}_{\cal G}(A,B)\rightarrow{\sf KK}_{\widehat{\cal G}}(A\rtimes{\cal G},B\rtimes{\cal G})$ and $J_{\widehat{\cal G}}:{\sf KK}_{\widehat{\cal G}}(A,B)\rightarrow{\sf KK}_{\cal G}(A\rtimes\widehat{\cal G},B\rtimes\widehat{\cal G})$ inverse of each other through the Morita equivalence coming from a version of the Takesaki-Takai duality theorem [S. Baaj and J. C., 2015; J. C., 2017]. We investigate in detail the case of colinking measured quantum groupoids. In particular, if $\mathbb{G}_1$ and $\mathbb{G}_2$ are two monoidally equivalent regular locally compact quantum groups, we obtain a new proof of the canonical equivalence of the associated equivariant Kasparov categories [S. Baaj and J. C., 2015].


title: The superluminous supernova SN 2017egm in the nearby galaxy NGC 3191: a metal-rich environment can support a typical SLSN evolution

abstract: At redshift z=0.03, the recently-discovered SN 2017egm is the nearest Type I superluminous supernova (SLSN) to date, and first near the center of a massive spiral galaxy (NGC 3191). Using SDSS spectra of NGC 3191, we find a metallicity ~2 Z$_\odot$ at the nucleus and ~1.3 Z$_\odot$ for a star forming region at a radial offset similar to SN 2017egm. Archival radio-to-UV photometry reveals a star-formation rate ~15 M$_\odot$ yr$^{-1}$ (with ~70% dust-obscured), which can account for a Swift X-ray detection, and stellar mass ~$10^{10.7}$ M$_\odot$. We model the early UV-optical light curves with a magnetar central-engine model, using the Bayesian light curve fitting tool MOSFiT. The fits indicate ejecta mass 2-4 M$_\odot$, spin period 4-6 ms, magnetic field (0.7-1.7)$\times 10^{14}$G, and kinetic energy 1-2 $\times10^{51}$ erg. These parameters are consistent with the overall distributions for SLSNe, modeled by Nicholl et al (2017), although the derived mass and spin are towards the low end, possibly indicating enhanced loss of mass and angular momentum before explosion. This has two implications: (i) SLSNe can occur at solar metallicity, although with a low fraction ~10%; and (ii) metallicity has at most a modest effect on their properties. Both conclusions are in line with results for long gamma-ray bursts. Assuming a monotonic rise gives an explosion date MJD $57889\pm1$. However, a short-lived excess in the data relative to the best-fitting models may indicate an early-time `bump'. If confirmed, SN 2017egm would be the first SLSN with a spectrum during the bump-phase; this shows the same O II lines seen at maximum light, which may be an important clue for explaining these bumps.


title: Cauchy Tetrahedron Argument and the Proofs of the Existence of Stress Tensor, a Comprehensive Review, Challenges, and Improvements

abstract: In 1822, Cauchy presented the idea of traction vector that contains both the normal and tangential components of the internal surface forces per unit area and gave the tetrahedron argument to prove the existence of stress tensor. These great achievements form the main part of the foundation of continuum mechanics. For about two centuries, some versions of tetrahedron argument and a few other proofs of the existence of stress tensor are presented in every text on continuum mechanics, fluid mechanics, and the relevant subjects. In this article, we show the birth, importance, and location of these Cauchy's achievements, then by presenting the formal tetrahedron argument in detail, for the first time, we extract some fundamental challenges. These conceptual challenges are related to the result of applying the conservation of linear momentum to any mass element, the order of magnitude of the surface and volume terms, the definition of traction vectors on the surfaces that pass through the same point, the approximate processes in the derivation of stress tensor, and some others. In a comprehensive review, we present the different tetrahedron arguments and the proofs of the existence of stress tensor, discuss the challenges in each one, and classify them in two general approaches. In the first approach that is followed in most texts, the traction vectors do not exactly define on the surfaces that pass through the same point, so most of the challenges hold. But in the second approach, the traction vectors are defined on the surfaces that pass exactly through the same point, therefore some of the relevant challenges are removed. We also study the improved works of Hamel and Backus, and indicate that the original work of Backus removes most of the challenges. This article shows that the foundation of continuum mechanics is not a finished subject and there are still some fundamental challenges.


title: On conditional parity as a notion of non-discrimination in machine learning

abstract: We identify conditional parity as a general notion of non-discrimination in machine learning. In fact, several recently proposed notions of non-discrimination, including a few counterfactual notions, are instances of conditional parity. We show that conditional parity is amenable to statistical analysis by studying randomization as a general mechanism for achieving conditional parity and a kernel-based test of conditional parity.