title: Kinematic wave solutions for dam-break floods in non-uniform valleys

abstract: In non-uniform valleys, dam-break flood waves can be significantly affected by downstream variations in river width, slope and roughness. To model these effects, we derive new analytical solutions to the kinematic wave equation, applicable to rating curves in the power law form and hydrographs of generic shape as long as they produce a single shock at the wave front. New results are first obtained for uniform channels, using the Gauss-Green theorem applied to characteristic-bounded regions of the plane. The results are then extended to non-uniform valleys, using a change of variable that homogenizes river properties by rescaling the distance coordinate. The solutions are illustrated and validated for idealized cases, then applied to three historical dam failures: the 2008 breaching failure of the Tangjiashan landslide dam, the 1976 piping failure of Teton Dam, and the 1959 sudden failure of Malpasset Dam. In spite of the much reduced computational cost and data requirements, the results agree well with the field data and with more elaborate simulations. They also clarify how both river and hydrograph properties affect flood propagation and attenuation.


title: Impossibility of convergence of a confluent Heun function on the boundary of the disc of convergence

abstract: The confluent Heun equation is one of 4 confluent forms of Heun's differential equation in which is the Fuchsian equation of second order with four regular singularities. A confluent Heun function is applicable to diverse areas such as theory of rotating/non-rotating black hole, the gauge theories on thick brane words, Schr$\ddot{\mbox{o}}$dinger equation for hydrogen molecule ion in Stark effect and etc. The confluent Heun function consists of the three term recurrence relation in its power series, and we show that the function is divergent on the boundary of the disc of convergence.


title: The dynamics of polydisperse spray fuel in thermal explosion processes

abstract: The dynamics of the particle-size distribution (PSD) of the polydispersed fuel is important for evaluation of the combustion process. In this paper we unfold the mystery of the dynamics represented by the PSD and gain new insight for the droplet behavior during the ignition process. A simplified model of the polydispersity is used for describing the system near the linear region, which evolves time depended function which describes the PSD. We examine the PSD uctuation in time of the initial PSD described by the experimental as well as the Rosin-Rammler, Nukiyama-Tanasawa and the gamma distributions approximations. The results shows that the during the ignition process the droplets radii decrease as expected, yet the number of the smaller droplet increase in inverse proportion to the radius. An important novel result visualized by the graph, is the average radius of the droplets which first increases for shot time following by decreasing. The last result show the maximum of average radius is not located at the beginning of the process as expected. The algorithm presented here is superior to the parcel approach, since it can be applied for any approximation of the PSD, with negligible computation time.


title: Spatially-resolved luminescence and crystal structure of single core-shell nanowires measured in the as-grown geometry

abstract: We report on the direct correlation between the structural and optical properties of single, as-grown core-multi-shell GaAs/In$_{0.15}$Ga$_{0.85}$As/GaAs/AlAs/GaAs nanowires. Fabricated by molecular beam epitaxy on a pre-patterned Si(111) substrate, on a row of well separated nucleation sites, it was possible to access individual nanowires in the as-grown geometry. The polytype distribution along the growth axis of the nanowires was revealed by synchrotron-based nanoprobe X-ray diffraction techniques monitoring the axial 111 Bragg reflection. For the same nanowires, the spatially-resolved emission properties were obtained by cathodoluminescence hyperspectral linescans in a scanning electron microscope. Correlating both measurements, we reveal a blueshift of the shell quantum well emission energy combined with an increased emission intensity for segments exhibiting a mixed structure of alternating wurtzite and zincblende stacking compared with the pure crystal polytypes. The presence of this mixed structure was independently confirmed by cross-sectional transmission electron microscopy.


title: Factorization of denominators in integration-by-parts reductions

abstract: We present a Mathematica package which finds a basis of master integrals for the Feynman integral reduction. In this basis the dependence on the dimensional regularization in the denominators factorizes in kinematic independent polynomials.


title: Dynamics of semigroups generated by analytic functions of the Laplacian on Homogeneous Trees

abstract: Let $f$ be a non-constant complex-valued analytic function defined on a connected, open set containing the $L^p$-spectrum of the Laplacian $\mathcal L$ on a homogeneous tree. In this paper we give a necessary and sufficient condition for the semigroup $T(t)=e^{tf(\mathcal{L})}$ to be chaotic on $L^{p}$-spaces. We also study the chaotic dynamics of the semigroup $T(t)=e^{t(a\mathcal{L}+b)}$ separately and obtain the sharp range of $b$ for which $T(t)$ is chaotic on $L^{p}$-spaces. It includes some of the important semigroups, such as the heat semigroup and the Schr\"{o}dinger semigroup.


title: Imprecise Probability for Multiparty Session Types in Process Algebra

abstract: In this paper we introduce imprecise probability for session types. More exactly, we use a probabilistic process calculus in which both nondeterministic external choice and probabilistic internal choice are considered. We propose the probabilistic multiparty session types able to codify the structure of the communications by using some imprecise probabilities given in terms of lower and upper probabilities. We prove that this new probabilistic typing system is sound, as well as several other results dealing with both classical and probabilistic properties. The approach is illustrated by a simple example inspired by survey polls.


title: Silicon-Organic Hybrid (SOH) Mach-Zehnder Modulators for 100 GBd PAM4 Signaling With Sub-1 dB Phase-Shifter Loss

abstract: We report on compact and efficient silicon-organic hybrid (SOH) Mach-Zehnder modulators (MZM) with low phase shifter insertion loss of 0.7 dB. The 280 $\mu$m-long phase shifters feature a $\pi$-voltage-length product of 0.41 Vmm and a loss-efficiency product as small as $aU_{\pi}L = 1.0\space\rm{VdB}$. The device performance is demonstrated in a data transmission experiment, where we generate on-off-keying (OOK) and four-level pulse-amplitude modulation (PAM4) signals at symbol rates of 100 GBd, resulting in line rates of up to 200 Gbit/s. Bit error ratios are below the threshold for hard-decision forward error correction (HD-FEC) with 7 % coding overhead, leading to net data rates of 187 Gbit/s. This is the highest PAM4 data rate ever achieved for a sub-1 mm silicon photonic MZM.


title: Optical control of the charge state of color centers in hexagonal boron nitride

abstract: We report on multicolor excitation experiments with color centers in hexagonal boron nitride at cryogenic temperatures. We demonstrate controllable optical switching between bright and dark states of color centers emitting around 2eV. Resonant, or quasi-resonant excitation also pumps the color center, via a two-photon process, into a dark state, where it becomes trapped. Photoluminescence excitation spectroscopy reveals a defect dependent energy threshold for repumping the color center into the bright state of between 2.2 and 2.6eV. Photoionization and photocharging of the defect is the most plausible explanation for this behaviour, with the negative and neutral charge states of the boron vacancy potential candidates for the bright and dark states, respectively. Furthermore, a second zero phonon line, detuned by +0.4eV, is observed in absorption with orthogonal polarization to the emission, evidencing an additional energy level in the color center.


title: Testing ER=EPR

abstract: We discuss a few tests of the ER=EPR proposal. We consider certain conceptual issues as well as explicit physical examples that could be experimentally realized. In particular, we discuss the role of the Bell bounds, the large N limit, as well as the consistency of certain theoretical assumptions underlying the ER=EPR proposal. As explicit tests of the ER=EPR proposal we consider limits coming from the entropy-energy relation and certain limits coming from measurements of the speed of light as well as measurements of effective weights of entangled states. We also discuss various caveats of such experimental tests of the ER=EPR proposal.


title: Spin Quantum Entanglement in a General Curved Static Space-Time

abstract: A general formalism of the spin quantum entanglement in a curved space-time represented. As examples Kerr and non commutative Reissner- Nordstr\"om models are considered. The behaviors of the concurrence and entanglement entropy as a function of the various parameters are also discussed.


title: Fluid flow through anisotropic and deformable double porosity media with ultra-low matrix permeability: A continuum framework

abstract: Fractured porous media or double porosity media are common in nature. At the same time, accurate modeling remains a significant challenge due to bi-modal pore size distribution, anisotropy, multi-field coupling, and various flow patterns. This study aims to formulate a comprehensive coupled continuum framework that could adequately consider these critical characteristics. In our framework, fluid flow in the micro-fracture network is modeled with the generalized Darcy's law, in which the equivalent fracture permeability is upscaled from the detailed geological characterizations. The liquid in the much less permeable matrix follows a low-velocity non-Darcy flow characterized by threshold values and non-linearity. The fluid mass transfer is assumed to be a function of the shape factor, pressure difference, and (variable) interface permeability. The solid deformation relies on a thermodynamically consistent effective stress derived from the energy balance equation, and it is modeled following anisotropic poroelastic theory. The discussion revolves around generic double porosity media. Model applications reveal the capability of our framework to capture the crucial roles of coupling, poroelastic coefficients, anisotropy, and ultra-low matrix permeability in dictating the pressure and displacement fields.


title: Interface Modeling for Quality and Resource Management

abstract: We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as performance and energy consumption. We base these aspects on partially-ordered sets to capture quality levels, budget sizes, and functional compatibility. This makes the framework widely applicable and domain independent (although we aim for embedded and cyber-physical systems). The framework paves the way for dynamic (re-)configuration and multi-objective optimization of component-based systems for quality- and resource-management purposes.


title: Pulsed-laser epitaxy of metallic delafossite PdCrO$_2$ films

abstract: Alternate stacking of a highly conducting metallic layer with a magnetic triangular layer found in delafossite PdCrO2 provides an excellent platform for discovering intriguing correlated quantum phenomena. Thin film growth of the material may enable not only tuning the basic physical properties beyond what bulk materials can exhibit, but also developing novel hybrid materials by interfacing with dissimilar materials, yet this has proven to be extremely challenging. Here, we report the epitaxial growth of metallic delafossite PdCrO2 films by pulsed laser epitaxy (PLE). The fundamental role of the PLE growth conditions, epitaxial strain, and chemical and structural characteristics of the substrate is investigated by growing under various growth conditions and on various types of substrates. While strain plays a large role in improving the crystallinities, the direct growth of epitaxial PdCrO2 films without impurity phases was not successful. We attribute this difficulty to both the chemical and structural dissimilarities between the substrates and volatile nature of PdO layer, which make nucleation of the right phase difficult. This difficulty was overcome by growing CuCrO2 buffer layers before PdCrO2 were grown. Unlike PdCrO2, CuCrO2 films were rather readily grown with a relatively wide growth window. Only monolayer thick buffer layer was sufficient to grow the correct PdCrO2 phase. This result indicates that the epitaxy of Pd-based delafossites is extremely sensitive to the chemistry and structure of the interface, necessitating near perfect substrate materials. The resulting films are commensurately strained and show an antiferromagnetic transition at 40 K that persists down to as thin as 3.6 nm in thickness.


title: Gravitoelectromagnetism, Solar System Test and Weak-Field Solutions in $f(T,B)$ Gravity with Observational Constraints

abstract: Gravitomagnetism characterize phenomena in the weak field limit within the context of rotating systems. These are mainly manifested in the geodetic and Lense-Thirring effects. The geodetic effect describes the precession of the spin of a gyroscope in orbit about a massive static central object, while the Lense-Thirring effect expresses the analogous effect for the precession of the orbit about a rotating source. In this work, we explore these effects in the framework of Teleparallel Gravity and investigate how these effects may impact recent and future missions. We find that teleparallel theories of gravity may have an important impact on these effects which may constrain potential models within these theories.


title: Nonminimally Coupled Boltzmann Equation I: Foundations

abstract: We derive the Boltzmann equation in the context of a gravity theory with non-minimal coupling between matter and curvature. We show that as the energy-momentum tensor is not conserved in these theories, it follows a condition on the normalisation of an homogeneous distribution function. The Boltzmann H-theorem is preserved such that the entropy vector flux is still a non-decreasing function in these theories. The case of an homogeneous and isotropic Universe is analysed.


title: Properties of Trans-fast Magnetosonic Jets in Black Hole Magnetospheres

abstract: Traveling across several order of magnitude in distance, relativistic jets from strong gravity region to asymptotic flat spacetime region are believed to consist of several general relativistic magnetohydrodynamic (GRMHD) processes. We present a semi-analytical approach for modeling the global structures of a trans-fast magnetosonic relativistic jet, which should be ejected from a plasma source nearby a black hole in a funnel region enclosed by dense accreting flow and also disk corona around the black hole. Our model consistently includes the inflow and outflow part of the GRMHD solution along the magnetic field lines penetrating the black hole horizon. After the rotational energy of the black hole is extracted electromagnetically by the negative energy GRMHD inflow, the huge electromagnetic energy flux then propagates from the inflow to the outflow region across the plasma source, and in the outflow region the electromagnetic energy converts to the fluid kinetic energy. Eventually, the accelerated outflow must exceed the fast-magnetosonic wave speed. We apply the semi-analytical trans-fast magnetosonic flow model to the black hole magnetosphere for both parabolic and split-monopole magnetic field configurations, and discuss the general flow properties; that is, jet acceleration, jet magnetization, and the locations of some characteristic surfaces of the black hole magnetosphere. We have confirmed that, at large distance, the GRMHD jet solutions are in good agreement with the previously known trans-fast special relativistic magnetohydrodynamic (SRMHD) jet properties, as expected. The flexibility of the model provides a prompt and heuristic way to approximate the global GRMHD trans-fast magnetosonic jet properties.


title: On the smallest trees with the same restricted $U$-polynomial and the rooted $U$-polynomial

abstract: In this article, we construct explicit examples of pairs of non-isomorphic trees with the same restricted $U$-polynomial for every $k$; by this we mean that the polynomials agree on terms with degree at most $k+1$. The main tool for this construction is a generalization of the $U$-polynomial to rooted graphs, which we introduce and study in this article. Most notably we show that rooted trees can be reconstructed from its rooted $U$-polynomial.


title: An adaptive virtual element method for the polymer self-consistent field theory

abstract: In this paper, we develop a high-order adaptive virtual element method (VEM) to simulate the self-consistent field theory (SCFT) model in arbitrary domains. The VEM is very flexible in handling general polygon elements and can treat hanging nodes as polygon vertices without additional processing. Besides, to effectively simulate the phase separation behavior in strong segregation systems, an adaptive method on polygonal mesh equipped with a new marking strategy is developed. This new marking strategy will indicate the times of marked elements to be refined and coarsened, making full use of the information contained in the current numerical results. Using the halfedge data structure, we can apply the adaptive method to the arbitrary polygonal mesh. Numerical results demonstrate that the developed method is efficient in simulating polymers' phase behavior in complex geometric domains. The accuracy is consistent with theoretical results. The adaptive method can greatly reduce computational costs to obtain prescribed numerical accuracy for strong segregation systems.


title: Critical behavior of charged dilaton black holes in AdS space

abstract: We revisit critical behaviour and phase structure of charged anti-deSitter (AdS) dilaton black holes for arbitrary values of dilaton coupling $\alpha$, and realize several novel phase behaviour for this system. We adopt the viewpoint that cosmological constant (pressure) is fixed and treat the charge of the black hole as a thermodynamical variable. We study critical behaviour and phase structure by analyzing the phase diagrams in $T-S$ and $ q-T$ planes. We numerically derive the critical point in terms of $\alpha$ and observe that for $\alpha =1$ and $\alpha \geq \sqrt{3}$, the system does not admit any critical point, while for $0<\alpha <1$, the critical quantities are not significantly affected by $\alpha$. We find that unstable behavior of the Gibbs free energy for $q<q_{c}$ exhibits a \textit{first order} (discontinuous) phase transition between small and large black holes for $0\leq\alpha<1$. For $1<\alpha <\sqrt{3}$ and $q>q_{c}$, however, a novel first order phase transition occurs between small and large black hole, which has not been observed in the previous studies on phase transition of charged AdS black holes.


title: Discovery of technetium- and niobium-rich S stars: the case for bitrinsic stars

abstract: S stars are late-type giants with overabundances of s-process elements. They come in two flavours depending on the presence or not of technetium (Tc), an element without stable isotopes. Intrinsic S stars are Tc-rich and genuine asymptotic giant branch (AGB)stars while extrinsic S stars owe their s-process overabundances to the pollution from a former AGB companion, now a white dwarf(WD). In addition to Tc, another distinctive feature between intrinsic and extrinsic S stars is the overabundance of niobium (Nb) in the latter class. We discuss the case of the S stars BD+79 156 and o1Ori whose specificity is to share the distinctive features of both intrinsic and extrinsic S stars, namely the presence of Tc along with a Nb overabundance. BD+79 156 is the first clear case of a bitrinsic star, i.e. a doubly s-process-enriched object, first through mass transfer in a binary system, and then through internal nucleosynthesis (responsible for the Tc-enrichment in BD+79 156 which must therefore have reached the AGB phase of its evolution). This hybrid nature of the s-process pattern in BD+79 156 is supported by its binary nature and its location in the HR diagram just beyond the onset of the third dredge-up on the AGB. The Tc-rich, binary S-star o1Ori with a WD companion was another long-standing candidate for a similar hybrid s-process enrichment. However the marginal overabundance of Nb derived ino1Ori does not allow to trace unambiguously the evidence of a large pollution coming from the AGB progenitor of its current WD companion. As a side product, the current study offers a new way of detecting binary AGB stars with WD companions by identifying their Tc-rich nature along with a Nb overabundance.


title: On Hilbert's sum type inequalities

abstract: The main purpose of the present article is to give some new Hilbert's sum type inequalities, which in special cases yield the classical Hilbert's inequalities. Our results provide some new estimates to these types of inequalities.


title: Involutions of alternating links

abstract: Let $L$ be an alternating prime non-split link in $S^3$. We use the category of flypes between reduced alternating diagrams for $L$ to classify involutions on $L$. As consequences, we show that the quotient of an alternating periodic link is alternating, and that all freely 2-periodic alternating links have an even number of components.


title: Photon Statistics of Filtered Resonance Fluorescence

abstract: Spectral filtering of resonance fluorescence is widely employed to improve single photon purity and indistinguishability by removing unwanted backgrounds. For filter bandwidths approaching the emitter linewidth, complex behaviour is predicted due to preferential transmission of components with differing photon statistics. We probe this regime using a Purcell-enhanced quantum dot in both weak and strong excitation limits, finding excellent agreement with an extended sensor theory model. By changing only the filter width, the photon statistics can be transformed between antibunched, bunched, or Poissonian. Our results verify that strong antibunching and a sub-natural linewidth cannot simultaneously be observed, providing new insight into the nature of coherent scattering.


title: Cominuscule subvarieties of flag varieties

abstract: We show that every flag variety contains a natural choice of homogeneous cominuscule subvariety. From the Dynkin diagram of the flag variety, we compute the Dynkin diagram of that subvariety.


title: On the Likelihood of Observing Extragalactic Civilizations: Predictions from the Self-Indication Assumption

abstract: Ambitious civilizations that expand for resources at an intergalactic scale could be observable from a cosmological distance, but how likely is one to be visible to us? The question comes down to estimating the appearance rate of such things in the cosmos --- a radically uncertain quantity. Despite this prior uncertainty, anthropic considerations give rise to Bayesian updates, and thus predictions. The Self-Sampling Assumption (SSA), a school of anthropic probability, has previously been used for this purpose. Here, we derive predictions from the alternative school, the Self-Indication Assumption (SIA), and point out its features. SIA favors a higher appearance rate of expansionistic life, but our existence at the present cosmic time means that such life cannot be too common (else our galaxy would long ago have been overrun). This combination squeezes our vast prior uncertainty into a few orders of magnitude. Details of the background cosmology fall out, and we are left with some stark conclusions. E.g. if the limits to technology allow a civilization to expand at speed $v$, the probability of at least one expanding cosmological civilization being visible on our past light cone is $1-\frac{v^3}{c^3}$. We also show how the SIA estimate can be updated from the results of a hypothetical full-sky survey that detects "$n$" expanding civilizations (for $n \geq 0$), and calculate the implied final extent of life in the universe.


title: Inertial clustering and emergent phase separation of spherical spinners

abstract: We study the hydrodynamics of spherical spinners suspended in a Newtonian fluid at inertial regime. We observe a spontaneous condensation of the spinners into particle rich regions, at low but finite particle Reynolds numbers and volume fractions. The particle clusters have a coherent internal dynamics. The spinners form colloidal vortices surrounded by the fluid depleted of the particles. The formation of vortices is observed both in periodic simulation box and when the spinners are confined between two flat walls. The stabilisation of the observed states relies only on hydrodynamic interactions between the spinners and requires a finite amount of inertia. The observations pave the way for the realisation of 3-dimensional spinner materials, where coherent structures and collective dynamics arise only from the rotational motion of the constituents.


title: Federated Learning in the Sky: Joint Power Allocation and Scheduling with UAV Swarms

abstract: Unmanned aerial vehicle (UAV) swarms must exploit machine learning (ML) in order to execute various tasks ranging from coordinated trajectory planning to cooperative target recognition. However, due to the lack of continuous connections between the UAV swarm and ground base stations (BSs), using centralized ML will be challenging, particularly when dealing with a large volume of data. In this paper, a novel framework is proposed to implement distributed federated learning (FL) algorithms within a UAV swarm that consists of a leading UAV and several following UAVs. Each following UAV trains a local FL model based on its collected data and then sends this trained local model to the leading UAV who will aggregate the received models, generate a global FL model, and transmit it to followers over the intra-swarm network. To identify how wireless factors, like fading, transmission delay, and UAV antenna angle deviations resulting from wind and mechanical vibrations, impact the performance of FL, a rigorous convergence analysis for FL is performed. Then, a joint power allocation and scheduling design is proposed to optimize the convergence rate of FL while taking into account the energy consumption during convergence and the delay requirement imposed by the swarm's control system. Simulation results validate the effectiveness of the FL convergence analysis and show that the joint design strategy can reduce the number of communication rounds needed for convergence by as much as 35% compared with the baseline design.

categories: cs.LG cs.IT cs.RO eess.SP math.IT stat.ML


title: Quantum optical synthesis in 2D time-frequency space

abstract: Conventional optical synthesis, the manipulation of the phase and amplitude of spectral components to produce an optical pulse in different temporal modes, is revolutionizing ultrafast optical science and metrology. These technologies rely on the Fourier transform of light fields between time and frequency domains in one-dimensional space. However, within this treatment it is impossible to incorporate the quantum correlation among photons. Here we expand the Fourier synthesis into high dimensional space to deal with the quantum correlation, and carry out an experimental demonstration by manipulating the two-photon probability distribution of a biphoton in two-dimensional time and frequency space. As a potential application, we show manipulation of a heralded single-photon wave packet, which is never explained by the conventional one-dimensional Fourier optics. Our approach opens up a new pathway to tailor the temporal characteristics of a biphoton wave packet with high dimensional quantum-mechanical treatment. We anticipate such high dimensional treatment of light in time and frequency domains could bridge the research fields between quantum optics and ultrafast optical measurements.


title: The Tree Stabbing Number is not Monotone

abstract: Let $P \subseteq \mathbb{R}^2$ be a set of points and $T$ be a spanning tree of $P$. The \emph{stabbing number} of $T$ is the maximum number of intersections any line in the plane determines with the edges of $T$. The \emph{tree stabbing number} of $P$ is the minimum stabbing number of any spanning tree of $P$. We prove that the tree stabbing number is not a monotone parameter, i.e., there exist point sets $P \subsetneq P'$ such that \treestab{$P$} $>$ \treestab{$P'$}, answering a question by Eppstein \cite[Open Problem~17.5]{eppstein_2018}.


title: The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable

abstract: In this note, we construct an algorithm that, on input of a description of a structurally stable planar dynamical flow $f$ defined on the closed unit disk, outputs the exact number of the (hyperbolic) equilibrium points and their locations with arbitrary accuracy. By arbitrary accuracy it is meant that any accuracy required by the input can be achieved. The algorithm can be further extended to a root-finding algorithm that computes the exact number of zeros as well the location of each zero of a continuously differentiable function $f$ defined on the closed unit ball of $\mathbb{R}^{d}$, provided that the Jacobian of $f$ is invertible at each zero of $f$; moreover, the computation is uniform in $f$.


title: Sensitivity of the lower-edge of the pair instability black hole mass gap to the treatment of time dependent convection

abstract: Gravitational-wave detections are now probing the black hole (BH) mass distribution, including the predicted pair-instability mass gap. These data require robust quantitative predictions, which are challenging to obtain. The most massive BH progenitors experience episodic mass ejections on timescales shorter than the convective turn-over timescale. This invalidates the steady-state assumption on which the classic mixing-length theory relies. We compare the final BH masses computed with two different versions of the stellar evolutionary code \texttt{MESA}: (i) using the default implementation of \cite{paxton:18} and (ii) solving an additional equation accounting for the timescale for convective deceleration. In the second grid, where stronger convection develops during the pulses and carries part of the energy, we find weaker pulses. This leads to lower amounts of mass being ejected and thus higher final BH masses of up to $\sim$\,$5\,M_\odot$. The differences are much smaller for the progenitors which determine the maximum mass of BHs below the gap. This prediction is robust at $M_{\rm BH, max}\simeq 48\,M_\odot$, at least within the idealized context of this study. This is an encouraging indication that current models are robust enough for comparison with the present-day gravitational-wave detections. However, the large differences between individual models emphasize the importance of improving the treatment of convection in stellar models, especially in the light of the data anticipated from the third generation of gravitational wave detectors.


title: Teleporting quantum information encoded in fermionic modes

abstract: Quantum teleportation is considered a basic primitive in many quantum information processing tasks and has been experimentally confirmed in various photonic and matter-based setups. Here, we consider teleportation of quantum information encoded in modes of a fermionic field. In fermionic systems, superselection rules lead to a more differentiated picture of entanglement and teleportation. In particular, one is forced to distinguish between single-mode entanglement swapping, and qubit teleportation with or without authentication via Bell inequality violation, as we discuss here in detail. We focus on systems subject to parity superselection where the particle number is not fixed, and contrast them with systems constrained by particle number superselection which are relevant for possible practical implementations. Finally, we analyze the consequences for the operational interpretation of fermionic mode entanglement and examine the usefulness of so-called mixed maximally entangled states for teleportation.


title: Span Recovery for Deep Neural Networks with Applications to Input Obfuscation

abstract: The tremendous success of deep neural networks has motivated the need to better understand the fundamental properties of these networks, but many of the theoretical results proposed have only been for shallow networks. In this paper, we study an important primitive for understanding the meaningful input space of a deep network: span recovery. For $k<n$, let $\mathbf{A} \in \mathbb{R}^{k \times n}$ be the innermost weight matrix of an arbitrary feed forward neural network $M:\mathbb{R}^n \to \mathbb{R}$, so $M(x)$ can be written as $M(x) = \sigma(\mathbf{A} x)$, for some network $\sigma:\mathbb{R}^k \to \mathbb{R}$. The goal is then to recover the row span of $\mathbf{A}$ given only oracle access to the value of $M(x)$. We show that if $M$ is a multi-layered network with ReLU activation functions, then partial recovery is possible: namely, we can provably recover $k/2$ linearly independent vectors in the row span of $\mathbf{A}$ using poly$(n)$ non-adaptive queries to $M(x)$. Furthermore, if $M$ has differentiable activation functions, we demonstrate that full span recovery is possible even when the output is first passed through a sign or $0/1$ thresholding function; in this case our algorithm is adaptive. Empirically, we confirm that full span recovery is not always possible, but only for unrealistically thin layers. For reasonably wide networks, we obtain full span recovery on both random networks and networks trained on MNIST data. Furthermore, we demonstrate the utility of span recovery as an attack by inducing neural networks to misclassify data obfuscated by controlled random noise as sensical inputs.


title: On Computability of Data Word Functions Defined by Transducers

abstract: In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data omega-words). The notion of computability is defined through Turing machines with infinite inputs which can produce the corresponding infinite outputs in the limit. We use non-deterministic transducers equipped with registers, an extension of register automata with outputs, to specify functions. Such transducers may not define functions but more generally relations of data omega-words, and we show that it is PSpace-complete to test whether a given transducer defines a function. Then, given a function defined by some register transducer, we show that it is decidable (and again, PSpace-complete) whether such function is computable. As for the known finite alphabet case, we show that computability and continuity coincide for functions defined by register transducers, and show how to decide continuity. We also define a subclass for which those problems are solvable in polynomial time.


title: SYMOG: learning symmetric mixture of Gaussian modes for improved fixed-point quantization

abstract: Deep neural networks (DNNs) have been proven to outperform classical methods on several machine learning benchmarks. However, they have high computational complexity and require powerful processing units. Especially when deployed on embedded systems, model size and inference time must be significantly reduced. We propose SYMOG (symmetric mixture of Gaussian modes), which significantly decreases the complexity of DNNs through low-bit fixed-point quantization. SYMOG is a novel soft quantization method such that the learning task and the quantization are solved simultaneously. During training the weight distribution changes from an unimodal Gaussian distribution to a symmetric mixture of Gaussians, where each mean value belongs to a particular fixed-point mode. We evaluate our approach with different architectures (LeNet5, VGG7, VGG11, DenseNet) on common benchmark data sets (MNIST, CIFAR-10, CIFAR-100) and we compare with state-of-the-art quantization approaches. We achieve excellent results and outperform 2-bit state-of-the-art performance with an error rate of only 5.71% on CIFAR-10 and 27.65% on CIFAR-100.


title: FPGA-based Neural Network Accelerator for Millimeter-Wave Radio-over-Fiber Systems

abstract: With the rapidly-developing high-speed wireless communications, the 60 GHz millimeter-wave frequency range and radio-over-fiber systems have been investigated as a promising solution to deliver mm-wave signals. Neural networks have been studied to improve the mm-wave RoF system performances at the receiver side by suppressing linear and nonlinear impairments. However, previous neural network studies in mm-wave RoF systems focus on the off-line implementation with high-end GPUs , which is not practical for low power-consumption, low-cost and limited computation platform applications. To solve this issue, we investigate neural network hardware accelerator implementations using the field programmable gate array (FPGA), taking advantage of the low power consumption, parallel computation capability, and reconfigurablity features of FPGA. Convolutional neural network (CNN) and binary convolutional neural network (BCNN) hardware accelerators are demonstrated. In addition, to satisfy the low-latency requirement in mm-wave RoF systems and to enable the use of low-cost compact FPGA devices, a novel inner parallel optimization method is proposed. Compared with the embedded processor (ARM Cortex A9) execution latency, the CNN/BCNN FPGA-based hardware accelerator reduces their latency by over 92%. Compared with non-optimized FPGA implementations, the proposed optimization method reduces the processing latency by over 44% for CNN and BCNN. Compared with the GPU implementation, the latency of CNN implementation with the proposed optimization method is reduced by 85.49%, while the power consumption is reduced by 86.91%. Although the latency of BCNN implementation with the proposed optimization method is larger compared with the GPU implementation, the power consumption is reduced by 86.14%. The FPGA-based neural network hardware accelerators provide a promising solution for mm-wave RoF systems.


title: Specializing Wide Aronszajn Trees without Adding Reals

abstract: We show that under certain circumstances wide Aronszajn trees can be specialized iteratively without adding reals. We then use this fact to study forcing axioms compatible with CH and list some open problems.


title: Inventory effects on the price dynamics of VSTOXX futures quantified via machine learning

abstract: The VSTOXX index tracks the expected 30-day volatility of the EURO STOXX 50 equity index. Futures on the VSTOXX index can, therefore, be used to hedge against economic uncertainty. We investigate the effect of trader inventory on the price of VSTOXX futures through a combination of stochastic processes and machine learning methods. We formulate a simple and efficient pricing methodology for VSTOXX futures, which assumes a Heston-type stochastic process for the underlying EURO STOXX 50 market. Under these dynamics, approximate analytical formulas for the implied volatility smile and the VSTOXX index have recently been derived. We use the EURO STOXX 50 option implied volatilities and the VSTOXX index value to estimate the parameters of this Heston model. Following the calibration, we calculate theoretical VSTOXX future prices and compare them to the actual market prices. While theoretical and market prices are usually in line, we also observe time periods, during which the market price does not agree with our Heston model. We collect a variety of market features that could potentially explain the price deviations and calibrate two machine learning models to the price difference: a regularized linear model and a random forest. We find that both models indicate a strong influence of accumulated trader positions on the VSTOXX futures price.


title: An Open-Source LoRa Physical Layer Prototype on GNU Radio

abstract: LoRa is the proprietary physical layer (PHY) of LoRaWAN, which is a popular Internet-of-Things (IoT) protocol enabling low-power devices to communicate over long ranges. A number of reverse engineering attempts have been published in the last few years that helped to reveal many of the LoRa PHY details. In this work, we describe our standard compatible LoRa PHY software-defined radio (SDR) prototype based on GNU Radio. We show how this SDR prototype can be used to develop and evaluate receiver algorithms for LoRa. As an example, we describe the sampling time offset and the carrier frequency offset estimation and compensation blocks. We experimentally evaluate the error rate of LoRa, both for the uncoded and the coded cases, to illustrate that our publicly available open-source implementation is a solid basis for further research.


title: A queueing system with batch renewal input and negative arrivals

abstract: This paper studies an infinite buffer single server queueing model with exponentially distributed service times and negative arrivals. The ordinary (positive) customers arrive in batches of random size according to renewal arrival process, and joins the queue/server for service. The negative arrivals are characterized by two independent Poisson arrival processes, a negative customer which removes the positive customer undergoing service, if any, and a disaster which makes the system empty by simultaneously removing all the positive customers present in the system. Using the supplementary variable technique and difference equation method we obtain explicit formulae for the steady-state distribution of the number of positive customers in the system at pre-arrival and arbitrary epochs. Moreover, we discuss the results of some special models with or without negative arrivals along with their stability conditions. The results obtained throughout the analysis are computationally tractable as illustrated by few numerical examples. Furthermore, we discuss the impact of the negative arrivals on the performance of the system by means of some graphical representations.


title: A Structured Approach to Trustworthy Autonomous/Cognitive Systems

abstract: Autonomous systems with cognitive features are on their way into the market. Within complex environments, they promise to implement complex and goal oriented behavior even in a safety related context. This behavior is based on a certain level of situational awareness (perception) and advanced de-cision making (deliberation). These systems in many cases are driven by artificial intelligence (e.g. neural networks). The problem with such complex systems and with using AI technology is that there is no generally accepted approach to ensure trustworthiness. This paper presents a framework to exactly fill this gap. It proposes a reference lifecycle as a structured approach that is based on current safety standards and enhanced to meet the requirements of autonomous/cog-nitive systems and trustworthiness.


title: Again around frieze patterns

abstract: The main goal of this paper is to prove several new results about frieze patterns and their equivalents, the quiddity (or $\eta$-)sequences and to obtain a formula giving the number of non-similar frieze patterns of given finite width.


title: Polarity of almost all points for systems of non-linear stochastic heat equations in the critical dimension

abstract: We study vector-valued solutions $u(t,x)\in\mathbb{R}^d$ to systems of nonlinear stochastic heat equations with multiplicative noise: \begin{equation*} \frac{\partial}{\partial t} u(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+\sigma(u(t,x))\dot{W}(t,x). \end{equation*} Here $t\geq 0$, $x\in\mathbb{R}$ and $\dot{W}(t,x)$ is an $\mathbb{R}^d$-valued space-time white noise. We say that a point $z\in\mathbb{R}^d$ is polar if \begin{equation*} P\{u(t,x)=z\text{ for some $t>0$ and $x\in\mathbb{R}$}\}=0. \end{equation*} We show that in the critical dimension $d=6$, almost all points in $\mathbb{R}^d$ are polar.


title: Generating the spin mapping class group by Dehn twists

abstract: Let f be a Z/2Z-spin structureon a closed surface S of genus g>3. We determine a generating set of the stabilizer of f in the mapping class group of S consisting of Dehn twists about an explicit collection of 2g+1 curves in S. If g=3 then we also determine a generating set of the stabilizer of an odd Z/2Z-spin structure consisting of Dehn twists about a collection of 6 curves.


title: DeFraudNet:End2End Fingerprint Spoof Detection using Patch Level Attention

abstract: In recent years, fingerprint recognition systems have made remarkable advancements in the field of biometric security as it plays an important role in personal, national and global security. In spite of all these notable advancements, the fingerprint recognition technology is still susceptible to spoof attacks which can significantly jeopardize the user security. The cross sensor and cross material spoof detection still pose a challenge with a myriad of spoof materials emerging every day, compromising sensor interoperability and robustness. This paper proposes a novel method for fingerprint spoof detection using both global and local fingerprint feature descriptors. These descriptors are extracted using DenseNet which significantly improves cross-sensor, cross-material and cross-dataset performance. A novel patch attention network is used for finding the most discriminative patches and also for network fusion. We evaluate our method on four publicly available datasets:LivDet 2011, 2013, 2015 and 2017. A set of comprehensive experiments are carried out to evaluate cross-sensor, cross-material and cross-dataset performance over these datasets. The proposed approach achieves an average accuracy of 99.52%, 99.16% and 99.72% on LivDet 2017,2015 and 2011 respectively outperforming the current state-of-the-art results by 3% and 4% for LivDet 2015 and 2011 respectively.


title: First-principles Equations of State and Structures of Liquid Metals in Multi-megabar Conditions

abstract: Liquid metals at extreme pressures and temperatures are widely interested in the high-pressure community. Based on density functional theory molecular dynamics, we conduct first-principles investigations on the equation of state (EOS) and structures of four metals (Cu, Fe, Pb, and Sn) at 1.5--5 megabar conditions and 5$\times10^3$--4$\times10^4$ K. Our first-principles EOS data enable evaluating the performance of four EOS models in predicting Hugoniot densities and temperatures of the four systems. We find the melting temperature of Cu is 1000--2000 K higher and shows a similar Clapeyron slope, in comparison to those of Fe. Our structure, coordination number, and diffusivity analysis indicates all the four liquid metals form similar simple close-packed structures. Our results set theoretical benchmarks for EOS development and structures of metals in their liquid states and under dynamic compression.


title: Truly Tight-in-$\Delta$ Bounds for Bipartite Maximal Matching and Variants

abstract: In a recent breakthrough result, Balliu et al. [FOCS'19] proved a deterministic $\Omega(\min(\Delta,\log n /\log \log n))$-round and a randomized $\Omega(\min(\Delta,\log \log n/\log \log \log n))$-round lower bound for the complexity of the bipartite maximal matching problem on $n$-node graphs in the LOCAL model of distributed computing. Both lower bounds are asymptotically tight as a function of the maximum degree $\Delta$. We provide truly tight bounds in $\Delta$ for the complexity of bipartite maximal matching and many natural variants, up to and including the additive constant. As a by-product, our results yield a considerably simplified version of the proof by Balliu et al. We show that our results can be obtained via bounded automatic round elimination, a version of the recent automatic round elimination technique by Brandt [PODC'19] that is particularly suited for automatization from a practical perspective. In this context, our work can be seen as another step towards the automatization of lower bounds in the LOCAL model.


title: Model of a gap formed by a planet with fast inward migration

abstract: A planet is formed within a protoplanetary disk. Recent observations have revealed substructures such as gaps and rings, which may indicate forming planets within the disk. Due to disk--planet interaction, the planet migrates within the disk, which can affect a shape of the planet-induced gap. In this paper, we investigate effects of fast inward migration of the planet on the gap shape, by carrying out hydrodynamic simulations. We found that when the migration timescale is shorter than the timescale of the gap-opening, the orbital radius is shifted inward as compared to the radial location of the gap. We also found a scaling relation between the radial shift of the locations of the planet and the gap as a function of the ratio of the timescale of the migration and gap-opening. Our scaling relation also enables us to constrain the gas surface density and the viscosity when the gap and the planet are observed. Moreover, we also found the scaling relation between the location of the secondary gap and the aspect ratio. By combining the radial shift and the secondary gap, we may constrain the physical condition of the planet formation and how the planet evolves in the protoplanetary disk, from the observational morphology.


title: First Excited 2+ Energy State Estimations of Even-even Nuclei by Using Artificial Neural Networks

abstract: The first excited 2+ energy states of nuclei give many substantial information related to the nuclear structure. Including these levels, all excited states of nuclei are shown regularities in spin, parity and energy. In the even-even nuclei, the first excited state is generally 2+ and the energy values of them increase as the closed shells are approached. The excited levels in nuclei can be investigated by using theoretical nuclear models such nuclear shell model. In the present study for the first time, we have used artificial neural networks for the determination of the energies of first 2+ states in the even-even nuclei in nuclidic chart as a function of Z, N and A numbers. We have used adopted literature values for the estimations. According to the results, the method is convenient for this goal and one can confidently use the method for the determination of first 2+ state energy values whose experimental values do not exist in the literature.


title: Three-Stream Fusion Network for First-Person Interaction Recognition

abstract: First-person interaction recognition is a challenging task because of unstable video conditions resulting from the camera wearer's movement. For human interaction recognition from a first-person viewpoint, this paper proposes a three-stream fusion network with two main parts: three-stream architecture and three-stream correlation fusion. Thre three-stream architecture captures the characteristics of the target appearance, target motion, and camera ego-motion. Meanwhile the three-stream correlation fusion combines the feature map of each of the three streams to consider the correlations among the target appearance, target motion and camera ego-motion. The fused feature vector is robust to the camera movement and compensates for the noise of the camera ego-motion. Short-term intervals are modeled using the fused feature vector, and a long short-term memory(LSTM) model considers the temporal dynamics of the video. We evaluated the proposed method on two-public benchmark datasets to validate the effectiveness of our approach. The experimental results show that the proposed fusion method successfully generated a discriminative feature vector, and our network outperformed all competing activity recognition methods in first-person videos where considerable camera ego-motion occurs.


title: A combined fluid-dynamic and thermodynamic model to predict the onset of rapid phase transitions in LNG spills

abstract: Transport of liquefied natural gas (LNG) by ship occurs globally on a massive scale. The large temperature difference between LNG and water means LNG will boil violently if spilled onto water. This may cause a physical explosion known as rapid phase transition (RPT). Since RPT results from a complex interplay between physical phenomena on several scales, the risk of its occurrence is difficult to estimate. In this work, we present a combined fluid-dynamic and thermodynamic model to predict the onset of delayed RPT. On the basis of the full coupled model, we derive analytical solutions for the location and time of delayed RPT in an axisymmetric steady-state spill of LNG onto water. These equations are shown to be accurate when compared to simulation results for a range of relevant parameters. The relative discrepancy between the analytic solutions and predictions from the full coupled model is within 2% for the RPT position and within 8% for the time of RPT. This provides a simple procedure to quantify the risk of occurrence for delayed RPT for LNG on water. Due to its modular formulation, the full coupled model can straightforwardly be extended to study RPT in other systems.


title: A composite massless vector boson

abstract: In a non-perturbative gauge-invariant formulation of grand-unified theories all low energy vector states need to be composite with respect to the high-scale gauge group, including the photon. We investigate this by using lattice methods to spectroscopically analyze the vector channel in a toy grand-unified theory, an SU(2) adjoint Higgs model. Our results support indeed the existence of a massless composite vector particle.


title: Winding Numbers and Generalized Mobility Edges in Non-Hermitian Systems

abstract: The Aubry-Andr\'e-Harper (AAH) model with a self-dual symmetry plays an important role in studying the Anderson localization. Here we find a self-dual symmetry determining the quantum phase transition between extended and localized states in a non-Hermitian AAH model and show that the eigenenergies of these states are characterized by two types of winding numbers. By constructing and studying a non-Hermitian generalized AAH model, we further generalize the notion of the mobility edge, which separates the localized and extended states in the energy spectrum of disordered systems, to the non-Hermitian case and find that the generalized mobility edge is of a topological nature even in the open boundary geometry in the sense that the energies of localized and extended states exhibit distinct topological structures in the complex energy plane. Finally, we propose an experimental scheme to realize these models with electric circuits.


title: Beam-energy and collision-system dependence of the linear and mode-coupled flow harmonics from STAR

abstract: Recent measurements and hydrodynamic model calculations suggest that the higher-order flow coefficients $v_{4}$ and $v_{5}$ have two contributions: a linear contribution driven by the initial-state eccentricities, $\varepsilon_{n}$, and a mode-coupled contribution derived from the lower-order eccentricity coefficients $\varepsilon_{2}$ and $\varepsilon_{3}$. Measurements of these two contributions to $v_{4}$ and $v_{5}$ provide crucial insights to discern initial-state models and to constrain the temperature-dependent specific shear viscosity, $\eta/s$, of the plasma produced in heavy-ion collisions. In this work, we have employed the two-subevents cumulant technique to provide the first beam-energy and collision-system dependence of the linear and mode-coupled contributions to the higher-order flow harmonics. Our results are shown and discussed for several centrality intervals for U+U collisions at $\mathrm{\sqrt{s_{NN}}}$= 193 GeV, Au+Au collisions at $\mathrm{\sqrt{s_{NN}}}$=200, and 54.4 GeV and Cu+Au collisions at $\mathrm{\sqrt{s_{NN}}}$=200 GeV. The results are compared with similar studies performed by the ALICE experiment at LHC.


title: A Survey on Predictive Maintenance for Industry 4.0

abstract: Production issues at Volkswagen in 2016 lead to dramatic losses in sales of up to 400 million Euros per week. This example shows the huge financial impact of a working production facility for companies. Especially in the data-driven domains of Industry 4.0 and Industrial IoT with intelligent, connected machines, a conventional, static maintenance schedule seems to be old-fashioned. In this paper, we present a survey on the current state of the art in predictive maintenance for Industry 4.0. Based on a structured literate survey, we present a classification of predictive maintenance in the context of Industry 4.0 and discuss recent developments in this area.


title: Efficient Construction of Behavior Graphs for Uncertain Event Data

abstract: The discipline of process mining deals with analyzing execution data of operational processes, extracting models from event data, checking the conformance between event data and normative models, and enhancing all aspects of processes. Recently, new techniques have been developed to analyze event data containing uncertainty; these techniques strongly rely on representing uncertain event data through graph-based models capturing uncertainty. In this paper we present a novel approach to efficiently compute a graph representation of the behavior contained in an uncertain process trace. We present our new algorithm, analyze its time complexity, and report experimental results showing order-of-magnitude performance improvements for behavior graph construction.


title: Subexponential parameterized algorithms and kernelization on almost chordal graphs

abstract: We study the algorithmic properties of the graph class Chordal-ke, that is, graphs that can be turned into a chordal graph by adding at most k edges or, equivalently, the class of graphs of fill-in at most k. We discover that a number of fundamental intractable optimization problems being parameterized by k admit subexponential algorithms on graphs from Chordal-ke. We identify a large class of optimization problems on Chordal-ke that admit algorithms with the typical running time 2^{O(\sqrt{k}\log k)}\cdot n^{O(1)}. Examples of the problems from this class are finding an independent set of maximum weight, finding a feedback vertex set or an odd cycle transversal of minimum weight, or the problem of finding a maximum induced planar subgraph. On the other hand, we show that for some fundamental optimization problems, like finding an optimal graph coloring or finding a maximum clique, are FPT on Chordal-ke when parameterized by k but do not admit subexponential in k algorithms unless ETH fails. Besides subexponential time algorithms, the class of Chordal-ke graphs appears to be appealing from the perspective of kernelization (with parameter k). While it is possible to show that most of the weighted variants of optimization problems do not admit polynomial in k kernels on Chordal-ke graphs, this does not exclude the existence of Turing kernelization and kernelization for unweighted graphs. In particular, we construct a polynomial Turing kernel for Weighted Clique on Chordal-ke graphs. For (unweighted) Independent Set we design polynomial kernels on two interesting subclasses of Chordal-ke, namely, Interval-ke and Split-ke graphs.


title: Can we detect the stellar differential rotation of WASP-7 through theRossiter-McLaughlin observations?

abstract: The Rossiter-McLaughlin (RM) effect is the radial velocity signal generated when an object transits a rotating star. Stars rotate differentially and this affects the shape and amplitude of this signal, on a level that can no longer be ignored with precise spectrographs. Highly misaligned planets provide a unique opportunity to probe stellar differential rotation via the RM effect, as they cross several stellar latitudes. In this sense, WASP-7, and its hot Jupiter with a projected misalignment of \sim 90{\deg}, is one of the most promising targets. The aim of this work is to understand if the stellar differential rotation is measurable through the RM signal for systems with a geometry similar to WASP-7. In this sense, we use a modified version of SOAP3.0 to explore the main hurdles that prevented the precise determination of the differential rotation of WASP-7. We also investigate whether the adoption of the next generation spectrographs, like ESPRESSO, would solve these issues. Additionally, we assess how instrumental and stellar noise influence this effect and the derived geometry of the system. We found that, for WASP-7, the white noise represents an important hurdle in the detection of the stellar differential rotation, and that a precision of at least 2m/s or better is essential.


title: Metric results on sumsets and Cartesian products of classes of Diophantine sets

abstract: Erd\H{o}s proved that any real number can be written as a sum, and a product, of two Liouville numbers. Motivated by these results, we study sumsets of classes of real numbers with prescribed (or bounded) irrationality exponents. We show that such sumsets turn out to be large in general, indeed almost every real number with respect to Lebesgue measure can be written as the sum of two numbers with sufficiently large prescribed irrationality exponents. In fact the Hausdorff dimension of the complement is small, and the result remains true if we impose considerably refined conditions on the orders of rational approximation (``exact approximation'' with respect to an approximation function). As an application, we show that in many cases the Hausdorff dimension of Cartesian products of sets with prescribed irrationality exponent exceeds the expected dimension, that is the sum of the single Hausdorff dimensions. We also address their packing dimensions. Similar results hold when restricting to classical missing digit Cantor sets, relative to its natural Cantor measure. In particular, we prove that the subset of numbers with prescribed large irrationality exponent has full packing dimension, i.e. the same packing dimension as the entire Cantor set. This complements some results on the Hausdorff dimension of these sets, which is an extensively studied topic in Diophantine approximation. Our proofs are based on ideas of Erd\H{o}s, but vastly extend them.


title: Measurement of the branching fraction of the decay $B_s^0\to K_S^0 K_S^0$

abstract: A measurement of the branching fraction of the decay $B_s^0 \to K_S^0 K_S^0$ is performed using proton-proton collision data corresponding to an integrated luminosity of 5 $fb^{-1}$ collected by the LHCb experiment between 2011 and 2016. The branching fraction is determined to be BR($B_s^0 \to K_S^0 K_S^0$) = [8.3 $\pm$ 1.6 (stat) $\pm$ 0.9 (syst) $\pm$ 0.8 (norm) $\pm$ 0.3 ($f_s/f_d$)] $\times 10^{-6}$ , where the first uncertainty is statistical, the second is systematic, and the third and fourth are due to uncertainties on the branching fraction of the normalization mode $B^0 \to \phi K_S^0$ and the ratio of hadronization fractions $f_s/f_d$. This is the most precise measurement of this branching fraction to date. Furthermore, a measurement of the branching fraction of the decay $B^0 \to K_S^0 K_S^0$ is performed relative to that of the $B_s^0 \to K_S^0 K_S^0$ channel, and is found to be $\frac{BR(B^0 \to K_S^0 K_S^0)}{BR(B_s^0 \to K_S^0 K_S^0)}$ = [7.5 $\pm$ 3.1 (stat) $\pm$ 0.5 (syst) $\pm$ 0.3 ($f_s/f_d$)] $\times 10^{-2}$.


title: Phase-Controllable Nonlocal Spin Polarization in Proximitized Nanowires

abstract: We study the magnetic and superconducting proximity effects in a semiconducting nanowire (NW) attached to superconducting leads and a ferromagnetic insulator (FI). We show that a sizable equilibrium spin polarization arises in the NW due to the interplay between the superconducting correlations and the exchange field in the FI. The resulting magnetization has a nonlocal contribution that spreads in the NW over the superconducting coherence length and is opposite in sign to the local spin polarization induced by the magnetic proximity effect in the normal state. For a Josephson-junction setup, we show that the nonlocal magnetization can be controlled by the superconducting phase bias across the junction. Our findings are relevant for the implementation of Majorana bound states in state-of-the-art hybrid structures.


title: A note on the explicit constructions of tree codes over polylogarithmic-sized alphabet

abstract: Recently, Cohen, Haeupler and Schulman gave an explicit construction of binary tree codes over polylogarithmic-sized output alphabet based on Pudl\'{a}k's construction of maximum-distance-separable (MDS) tree codes using totally-non-singular triangular matrices. In this short note, we give a unified and simpler presentation of Pudl\'{a}k and Cohen-Haeupler-Schulman's constructions.


title: CoLES: Contrastive Learning for Event Sequences with Self-Supervision

abstract: We address the problem of self-supervised learning on discrete event sequences generated by real-world users. Self-supervised learning incorporates complex information from the raw data in low-dimensional fixed-length vector representations that could be easily applied in various downstream machine learning tasks. In this paper, we propose a new method "CoLES", which adapts contrastive learning, previously used for audio and computer vision domains, to the discrete event sequences domain in a self-supervised setting. We deployed CoLES embeddings based on sequences of transactions at the large European financial services company. Usage of CoLES embeddings significantly improves the performance of the pre-existing models on downstream tasks and produces significant financial gains, measured in hundreds of millions of dollars yearly. We also evaluated CoLES on several public event sequences datasets and showed that CoLES representations consistently outperform other methods on different downstream tasks.


title: BatchLayout: A Batch-Parallel Force-Directed Graph Layout Algorithm in Shared Memory

abstract: Force-directed algorithms are widely used to generate aesthetically pleasing layouts of graphs or networks arisen in many scientific disciplines. To visualize large-scale graphs, several parallel algorithms have been discussed in the literature. However, existing parallel algorithms do not utilize memory hierarchy efficiently and often offer limited parallelism. This paper addresses these limitations with BatchLayout, an algorithm that groups vertices into minibatches and processes them in parallel. BatchLayout also employs cache blocking techniques to utilize memory hierarchy efficiently. More parallelism and improved memory accesses coupled with force approximating techniques, better initialization, and optimized learning rate make BatchLayout significantly faster than other state-of-the-art algorithms such as ForceAtlas2 and OpenOrd. The visualization quality of layouts from BatchLayout is comparable or better than similar visualization tools. All of our source code, links to datasets, results and log files are available at https://github.com/khaled-rahman/BatchLayout.


title: Unusual spectral categories

abstract: The paper is devoted to a kind of `very non-abelian' spectral categories. Under strong conditions on a category $\mathcal{X}$, we prove, among other things, that, for a given faithful localization $\mathcal{C}\to\mathcal{X}$, we have canonical equivalences $\mathrm{Spec}(\mathcal{C})\sim\mathcal{X}\sim(\mathrm{Category\,\,of\,\,injective\,\,objects\,\,in}\,\, \mathcal{C})$, and that $\mathcal{C}$ has natural injective envelopes.


title: Physics-informed Neural Networks for Solving Nonlinear Diffusivity and Biot's equations

abstract: This paper presents the potential of applying physics-informed neural networks for solving nonlinear multiphysics problems, which are essential to many fields such as biomedical engineering, earthquake prediction, and underground energy harvesting. Specifically, we investigate how to extend the methodology of physics-informed neural networks to solve both the forward and inverse problems in relation to the nonlinear diffusivity and Biot's equations. We explore the accuracy of the physics-informed neural networks with different training example sizes and choices of hyperparameters. The impacts of the stochastic variations between various training realizations are also investigated. In the inverse case, we also study the effects of noisy measurements. Furthermore, we address the challenge of selecting the hyperparameters of the inverse model and illustrate how this challenge is linked to the hyperparameters selection performed for the forward one.


title: Comparing consecutive letter counts in multiple context-free languages

abstract: Context-free grammars are not able to model cross-serial dependencies in natural languages. To overcome this issue, Seki et al. introduced a generalization called $m$-multiple context-free grammars ($m$-MCFGs), which deal with $m$-tuples of strings. We show that $m$-MCFGs are capable of comparing the number of consecutive occurrences of at most $2m$ different letters. In particular, the language $\{a_1^{n_1} a_2^{n_2} \dots a_{k}^{n_{2m+1}} \mid n_1 \geq n_2 \geq \dots \geq n_{2m+1} \geq 0\}$ is $(m+1)$-multiple context-free, but not $m$-multiple context-free.


title: Faster uphill relaxation in thermodynamically equidistant temperature quenches

abstract: We uncover an unforeseen asymmetry in relaxation -- for a pair of thermodynamically equidistant temperature quenches, one from a lower and the other from a higher temperature, the relaxation at the ambient temperature is faster in case of the former. We demonstrate this finding on hand of two exactly solvable many-body systems relevant in the context of single-molecule and tracer-particle dynamics. We prove that near stable minima and for all quadratic energy landscapes it is a general phenomenon that also exists in a class of non-Markovian observables probed in single-molecule and particle-tracking experiments. The asymmetry is a general feature of reversible overdamped diffusive systems with smooth single-well potentials and occurs in multi-well landscapes when quenches disturb predominantly intra-well equilibria. Our findings may be relevant for the optimization of stochastic heat engines.


title: Estimation of HII Bubble Size Distribution from 21cm Power Spectrum with Artificial Neural Networks

abstract: The bubble size distribution of ionized hydrogen regions probes the information about the morphology of \HII\ bubbles during the reionization. Conventionally, the \HII\ bubble size distribution can be derived from the tomographic imaging data of the redshifted 21~cm signal from the epoch of reionization, which, however, is observationally challenging even for the upcoming large radio interferometer arrays. Given that these interferometers promise to measure the 21~cm power spectrum accurately, we propose a new method, which is based on the artificial neural networks (ANN), to reconstruct the \HII\ bubble size distribution from the 21~cm power spectrum. We demonstrate that the reconstruction from the 21~cm power spectrum can be almost as accurate as directly measured from the imaging data with the fractional error $\lesssim 10\%$, even with thermal noise at the sensitivity level of the Square Kilometre Array. Nevertheless, the reconstruction implicitly exploits the modelling in reionization simulations, and hence the recovered \HII\ bubble size distribution is not an independent summary statistic from the power spectrum, and should be used only as the indicator for understanding \HII\ bubble morphology and its evolution.


title: siaNMS: Non-Maximum Suppression with Siamese Networks for Multi-Camera 3D Object Detection

abstract: The rapid development of embedded hardware in autonomous vehicles broadens their computational capabilities, thus bringing the possibility to mount more complete sensor setups able to handle driving scenarios of higher complexity. As a result, new challenges such as multiple detections of the same object have to be addressed. In this work, a siamese network is integrated into the pipeline of a well-known 3D object detector approach to suppress duplicate proposals coming from different cameras via re-identification. Additionally, associations are exploited to enhance the 3D box regression of the object by aggregating their corresponding LiDAR frustums. The experimental evaluation on the nuScenes dataset shows that the proposed method outperforms traditional NMS approaches.


title: Quantum statistical query learning

abstract: We propose a learning model called the quantum statistical learning QSQ model, which extends the SQ learning model introduced by Kearns to the quantum setting. Our model can be also seen as a restriction of the quantum PAC learning model: here, the learner does not have direct access to quantum examples, but can only obtain estimates of measurement statistics on them. Theoretically, this model provides a simple yet expressive setting to explore the power of quantum examples in machine learning. From a practical perspective, since simpler operations are required, learning algorithms in the QSQ model are more feasible for implementation on near-term quantum devices. We prove a number of results about the QSQ learning model. We first show that parity functions, (log n)-juntas and polynomial-sized DNF formulas are efficiently learnable in the QSQ model, in contrast to the classical setting where these problems are provably hard. This implies that many of the advantages of quantum PAC learning can be realized even in the more restricted quantum SQ learning model. It is well-known that weak statistical query dimension, denoted by WSQDIM(C), characterizes the complexity of learning a concept class C in the classical SQ model. We show that log(WSQDIM(C)) is a lower bound on the complexity of QSQ learning, and furthermore it is tight for certain concept classes C. Additionally, we show that this quantity provides strong lower bounds for the small-bias quantum communication model under product distributions. Finally, we introduce the notion of private quantum PAC learning, in which a quantum PAC learner is required to be differentially private. We show that learnability in the QSQ model implies learnability in the quantum private PAC model. Additionally, we show that in the private PAC learning setting, the classical and quantum sample complexities are equal, up to constant factors.


title: A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation

abstract: Building on the observation that reverse-mode automatic differentiation (AD) -- a generalisation of backpropagation -- can naturally be expressed as pullbacks of differential 1-forms, we design a simple higher-order programming language with a first-class differential operator, and present a reduction strategy which exactly simulates reverse-mode AD. We justify our reduction strategy by interpreting our language in any differential $\lambda$-category that satisfies the Hahn-Banach Separation Theorem, and show that the reduction strategy precisely captures reverse-mode AD in a truly higher-order setting.


title: AI Online Filters to Real World Image Recognition

abstract: Deep artificial neural networks, trained with labeled data sets are widely used in numerous vision and robotics applications today. In terms of AI, these are called reflex models, referring to the fact that they do not self-evolve or actively adapt to environmental changes. As demand for intelligent robot control expands to many high level tasks, reinforcement learning and state based models play an increasingly important role. Herein, in computer vision and robotics domain, we study a novel approach to add reinforcement controls onto the image recognition reflex models to attain better overall performance, specifically to a wider environment range beyond what is expected of the task reflex models. Follow a common infrastructure with environment sensing and AI based modeling of self-adaptive agents, we implement multiple types of AI control agents. To the end, we provide comparative results of these agents with baseline, and an insightful analysis of their benefit to improve overall image recognition performance in real world.


title: Optimistic Policy Optimization with Bandit Feedback

abstract: Policy optimization methods are one of the most widely used classes of Reinforcement Learning (RL) algorithms. Yet, so far, such methods have been mostly analyzed from an optimization perspective, without addressing the problem of exploration, or by making strong assumptions on the interaction with the environment. In this paper we consider model-based RL in the tabular finite-horizon MDP setting with unknown transitions and bandit feedback. For this setting, we propose an optimistic trust region policy optimization (TRPO) algorithm for which we establish $\tilde O(\sqrt{S^2 A H^4 K})$ regret for stochastic rewards. Furthermore, we prove $\tilde O( \sqrt{ S^2 A H^4 } K^{2/3} ) $ regret for adversarial rewards. Interestingly, this result matches previous bounds derived for the bandit feedback case, yet with known transitions. To the best of our knowledge, the two results are the first sub-linear regret bounds obtained for policy optimization algorithms with unknown transitions and bandit feedback.


title: Rhythmic behavior of an Ising Model with dissipation at low temperature

abstract: In this paper we consider the Glauber dynamics for the one-dimensional Ising model with dissipation, in a mesoscopic regime obtained by letting inverse temperature and volume go to infinity with a suitable scaling. In this limit the magnetization has a periodic behavior. Self-organized collective periodicity has been shown for many mean-field models but, to our knowledge, this is the first example with short-range interaction. This supports the view that self-organized periodicity is not linked with the mean-field assumption but it is a thermodynamic phenomenon compatible with short range interactions.


title: AutoAlpha: an Efficient Hierarchical Evolutionary Algorithm for Mining Alpha Factors in Quantitative Investment

abstract: The multi-factor model is a widely used model in quantitative investment. The success of a multi-factor model is largely determined by the effectiveness of the alpha factors used in the model. This paper proposes a new evolutionary algorithm called AutoAlpha to automatically generate effective formulaic alphas from massive stock datasets. Specifically, first we discover an inherent pattern of the formulaic alphas and propose a hierarchical structure to quickly locate the promising part of space for search. Then we propose a new Quality Diversity search based on the Principal Component Analysis (PCA-QD) to guide the search away from the well-explored space for more desirable results. Next, we utilize the warm start method and the replacement method to prevent the premature convergence problem. Based on the formulaic alphas we discover, we propose an ensemble learning-to-rank model for generating the portfolio. The backtests in the Chinese stock market and the comparisons with several baselines further demonstrate the effectiveness of AutoAlpha in mining formulaic alphas for quantitative trading.


title: A Unified Convergence Analysis for Shuffling-Type Gradient Methods

abstract: In this paper, we propose a unified convergence analysis for a class of generic shuffling-type gradient methods for solving finite-sum optimization problems. Our analysis works with any sampling without replacement strategy and covers many known variants such as randomized reshuffling, deterministic or randomized single permutation, and cyclic and incremental gradient schemes. We focus on two different settings: strongly convex and nonconvex problems, but also discuss the non-strongly convex case. Our main contribution consists of new non-asymptotic and asymptotic convergence rates for a wide class of shuffling-type gradient methods in both nonconvex and convex settings. We also study uniformly randomized shuffling variants with different learning rates and model assumptions. While our rate in the nonconvex case is new and significantly improved over existing works under standard assumptions, the rate on the strongly convex one matches the existing best-known rates prior to this paper up to a constant factor without imposing a bounded gradient condition. Finally, we empirically illustrate our theoretical results via two numerical examples: nonconvex logistic regression and neural network training examples. As byproducts, our results suggest some appropriate choices for diminishing learning rates in certain shuffling variants.


title: Learning Global Transparent Models Consistent with Local Contrastive Explanations

abstract: There is a rich and growing literature on producing local contrastive/counterfactual explanations for black-box models (e.g. neural networks). In these methods, for an input, an explanation is in the form of a contrast point differing in very few features from the original input and lying in a different class. Other works try to build globally interpretable models like decision trees and rule lists based on the data using actual labels or based on the black-box models predictions. Although these interpretable global models can be useful, they may not be consistent with local explanations from a specific black-box of choice. In this work, we explore the question: Can we produce a transparent global model that is simultaneously accurate and consistent with the local (contrastive) explanations of the black-box model? We introduce a natural local consistency metric that quantifies if the local explanations and predictions of the black-box model are also consistent with the proxy global transparent model. Based on a key insight we propose a novel method where we create custom boolean features from sparse local contrastive explanations of the black-box model and then train a globally transparent model on just these, and showcase empirically that such models have higher local consistency compared with other known strategies, while still being close in performance to models that are trained with access to the original data.


title: Cospectral constructions for several graph matrices using cousin vertices

abstract: Graphs can be associated with a matrix according to some rule and we can find the spectrum of a graph with respect to that matrix. Two graphs are cospectral if they have the same spectrum. Constructions of cospectral graphs help us establish patterns about structural information not preserved by the spectrum. We generalize a construction for cospectral graphs previously given for the distance Laplacian matrix to a larger family of graphs. In addition, we show that with appropriate assumptions this generalized construction extends to the adjacency matrix, combinatorial Laplacian matrix, signless Laplacian matrix, normalized Laplacian matrix, and distance matrix.


title: Workshop Report: Detection and Classification in Marine Bioacoustics with Deep Learning

abstract: On 21-22 November 2019, about 30 researchers gathered in Victoria, BC, Canada, for the workshop "Detection and Classification in Marine Bioacoustics with Deep Learning" organized by MERIDIAN and hosted by Ocean Networks Canada. The workshop was attended by marine biologists, data scientists, and computer scientists coming from both Canadian coasts and the US and representing a wide spectrum of research organizations including universities, government (Fisheries and Oceans Canada, National Oceanic and Atmospheric Administration), industry (JASCO Applied Sciences, Google, Axiom Data Science), and non-for-profits (Orcasound, OrcaLab). Consisting of a mix of oral presentations, open discussion sessions, and hands-on tutorials, the workshop program offered a rare opportunity for specialists from distinctly different domains to engage in conversation about deep learning and its promising potential for the development of detection and classification algorithms in underwater acoustics. In this workshop report, we summarize key points from the presentations and discussion sessions.


title: On the position of nodes of plane curves

abstract: The Severi variety $V_{d,n}$ of plane curves of a given degree $d$ and exactly $n$ nodes admits a map to the Hilbert scheme $\mathbb{P}^{2[n]}$ of zero-dimensional subschemes of $\mathbb{P}^2$ of degree $n$. This map assigns to every curve $C\in V_{d,n}$ its nodes. For some $n$, we consider the image under this map of many known divisors of the Severi variety and its partial compactification. We compute the divisor classes of such images in Pic$(\mathbb{P}^{2[n]})$ and provide enumerative numbers of nodal curves. We also answer directly a question of Diaz-Harris about whether the canonical class of the Severi variety is effective.


title: Dust as probes: determining confinement and interaction forces

abstract: Complex plasmas are interesting systems as the charged dust can self-assemble into different types of ordered structures. To understand the mechanisms which govern the transitions from one type of structure to another, it is necessary to know both the dust charge and the confining electric fields within the environment, parameters which are difficult to measure independently. The problem is further complicated by the ion wake field, which develops downstream of the dust grains in a flowing plasma. The differences in local ion density caused by the wake field change the equilibrium dust charge and shielding distance of the dust grains, and thus affect the interaction between grains. Here we use a molecular dynamics simulation of ion flow past dust grains to investigate the interaction between the dust particles and ions. We consider a long vertical chain of particles confined within a glass box placed on the lower electrode of a GEC rf reference cell. Ions stream from the bulk plasma at the top of the box to the negative lower electrode. We apply the model iteratively to self-consistently determine the dust charge, electric field, and ion density along the length of the chain as well as the ion flow speed. Simulation results indicate that the ion flow speed within the box is subsonic.


title: Semigroup-fication of univalent self-maps of the unit disc

abstract: Let $f$ be a univalent self-map of the unit disc. We introduce a technique, that we call {\sl semigroup-fication}, which allows to construct a continuous semigroup $(\phi_t)$ of holomorphic self-maps of the unit disc whose time one map $\phi_1$ is, in a sense, very close to $f$. The semigrup-fication of $f$ is of the same type as $f$ (elliptic, hyperbolic, parabolic of positive step or parabolic of zero step) and there is a one-to-one correspondence between the set of boundary regular fixed points of $f$ with a given multiplier and the corresponding set for $\phi_1$. Moreover, in case $f$ (and hence $\phi_1$) has no interior fixed points, the slope of the orbits converging to the Denjoy-Wolff point is the same. The construction is based on holomorphic models, localization techniques and Gromov hyperbolicity. As an application of this construction, we prove that in the non-elliptic case, the orbits of $f$ converge non-tangentially to the Denjoy-Wolff point if and only if the Koenigs domain of $f$ is "almost symmetric" with respect to vertical lines.


title: Distance-Based Regularisation of Deep Networks for Fine-Tuning

abstract: We investigate approaches to regularisation during fine-tuning of deep neural networks. First we provide a neural network generalisation bound based on Rademacher complexity that uses the distance the weights have moved from their initial values. This bound has no direct dependence on the number of weights and compares favourably to other bounds when applied to convolutional networks. Our bound is highly relevant for fine-tuning, because providing a network with a good initialisation based on transfer learning means that learning can modify the weights less, and hence achieve tighter generalisation. Inspired by this, we develop a simple yet effective fine-tuning algorithm that constrains the hypothesis class to a small sphere centred on the initial pre-trained weights, thus obtaining provably better generalisation performance than conventional transfer learning. Empirical evaluation shows that our algorithm works well, corroborating our theoretical results. It outperforms both state of the art fine-tuning competitors, and penalty-based alternatives that we show do not directly constrain the radius of the search space.


title: Weakly Supervised Semantic Segmentation of Satellite Images for Land Cover Mapping -- Challenges and Opportunities

abstract: Fully automatic large-scale land cover mapping belongs to the core challenges addressed by the remote sensing community. Usually, the basis of this task is formed by (supervised) machine learning models. However, in spite of recent growth in the availability of satellite observations, accurate training data remains comparably scarce. On the other hand, numerous global land cover products exist and can be accessed often free-of-charge. Unfortunately, these maps are typically of a much lower resolution than modern day satellite imagery. Besides, they always come with a significant amount of noise, as they cannot be considered ground truth, but are products of previous (semi-)automatic prediction tasks. Therefore, this paper seeks to make a case for the application of weakly supervised learning strategies to get the most out of available data sources and achieve progress in high-resolution large-scale land cover mapping. Challenges and opportunities are discussed based on the SEN12MS dataset, for which also some baseline results are shown. These baselines indicate that there is still a lot of potential for dedicated approaches designed to deal with remote sensing-specific forms of weak supervision.


title: Sub-nanotesla magnetometry with a fibre-coupled diamond sensor

abstract: Sensing small magnetic fields is relevant for many applications ranging from geology to medical diagnosis. We present a fiber-coupled diamond magnetometer with a sensitivity of (310 $\pm$ 20) pT$/\sqrt{\text{Hz}}$ in the frequency range of 10-150 Hz. This is based on optically detected magnetic resonance of an ensemble of nitrogen vacancy centers in diamond at room temperature. Fiber coupling means the sensor can be conveniently brought within 2 mm of the object under study.


title: Beyond 5G Low-Power Wide-Area Networks: A LoRaWAN Suitability Study

abstract: In this paper, we deliver a discussion regarding the role of Low-Power Wide-Area Networks (LPWAN) in the cellular Internet-of-Things (IoT) infrastructure to support massive Machine-Type Communications (mMTC) in next-generation wireless systems beyond 5G. We commence by presenting a performance analysis of current LPWAN systems, specifically LoRaWAN, in terms of coverage and throughput. The results obtained using analytic methods and network simulations are combined in the paper for getting a more comprehensive vision. Next, we identify possible performance bottlenecks, speculate on the characteristics of coming IoT applications, and seek to identify potential enhancements to the current technologies that may overcome the identified shortcomings.


title: An X-ray View of the Hot Circum-Galactic Medium

abstract: The hot circum-galactic medium (CGM) represents the hot gas distributed beyond the stellar content of the galaxies while typically within their dark matter halos. It serves as a depository of energy and metal-enriched materials from galactic feedback and a reservoir from which the galaxy acquires fuels to form stars. It thus plays a critical role in the coevolution of galaxies and their environments. X-rays are one of the best ways to trace the hot CGM. I will briefly review what we have learned about the hot CGM based on X-ray observations over the past two decades, and what we still do not know. I will also briefly prospect what may be the foreseeable breakthrough in the next one or two decades with future X-ray missions.


title: Knapsack Pruning with Inner Distillation

abstract: Neural network pruning reduces the computational cost of an over-parameterized network to improve its efficiency. Popular methods vary from $\ell_1$-norm sparsification to Neural Architecture Search (NAS). In this work, we propose a novel pruning method that optimizes the final accuracy of the pruned network and distills knowledge from the over-parameterized parent network's inner layers. To enable this approach, we formulate the network pruning as a Knapsack Problem which optimizes the trade-off between the importance of neurons and their associated computational cost. Then we prune the network channels while maintaining the high-level structure of the network. The pruned network is fine-tuned under the supervision of the parent network using its inner network knowledge, a technique we refer to as the Inner Knowledge Distillation. Our method leads to state-of-the-art pruning results on ImageNet, CIFAR-10 and CIFAR-100 using ResNet backbones. To prune complex network structures such as convolutions with skip-links and depth-wise convolutions, we propose a block grouping approach to cope with these structures. Through this we produce compact architectures with the same FLOPs as EfficientNet-B0 and MobileNetV3 but with higher accuracy, by $1\%$ and $0.3\%$ respectively on ImageNet, and faster runtime on GPU.


title: Influence of the growth conditions on the magnetism of SrFe$_{12}$O$_{19}$ thin films and the behavior of Co / SrFe$_{12}$O$_{19}$ bilayers

abstract: SrFe$_{12}$O$_{19}$ (SFO) films grown on Si (100) substrates by radio-frequency magnetron sputtering have been characterized in terms of composition, structural and magnetic properties by a combination of microscopy, diffraction and spectroscopy techniques. M\"ossbauer spectroscopy was used to determine the orientation of the films magnetization, which was found to be controlled by both the sputtering power and the thickness of the films. Additionally, the coupling between the SFO films and a deposited cobalt overlayer was studied by means of synchrotron-based spectromicroscopy techniques. A structural coupling at the SFO/Co interface is suggested to account for the expetimental observations. Micromagnetic simulations were performed in order to reproduce the experimental behaviour of the system.


title: On generalization in moment-based domain adaptation

abstract: Domain adaptation algorithms are designed to minimize the misclassification risk of a discriminative model for a target domain with little training data by adapting a model from a source domain with a large amount of training data. Standard approaches measure the adaptation discrepancy based on distance measures between the empirical probability distributions in the source and target domain. In this setting, we address the problem of deriving generalization bounds under practice-oriented general conditions on the underlying probability distributions. As a result, we obtain generalization bounds for domain adaptation based on finitely many moments and smoothness conditions.


title: Weak Sequential Properties of the Multiplication Operators on Banach Algebras

abstract: Let $A$ be a Banach algebra. For $f\in A^{\ast}$, we inspect the weak sequential properties of the well-known map $T_f:A\to A^{\ast}$, $T_f(a) = fa$, where $fa\in A^{\ast}$ is defined by $fa(x) = f(ax)$ for all $x\in A$. We provide equivalent conditions for when $T_f$ is completely continuous for every $f\in A^{\ast}$, and for when $T_f$ maps weakly precompact sets onto L-sets for every $f\in A^{\ast}$. Our results have applications to the algebra of compact operators $K(X)$ on a Banach space $X$.


title: Characterizing the spatial pattern of solar supergranulation using the bispectrum

abstract: Context. The spatial power spectrum of supergranulation does not fully characterize the underlying physics of turbulent convection. For example, it does not describe the non-Gaussianity in the horizontal flow divergence. Aims. Our aim is to statistically characterize the spatial pattern of solar supergranulation beyond the power spectrum. The next-order statistic is the bispectrum. It measures correlations of three Fourier components and is related to the nonlinearities in the underlying physics. Methods. We estimated the bispectrum of supergranular horizontal surface divergence maps that were obtained using local correlation tracking (LCT) and time-distance helioseismology (TD) from one year of data from the Helioseismic and Magnetic Imager on-board the Solar Dynamics Observatory starting in May 2010. Results. We find significantly nonzero and consistent estimates for the bispectrum. The strongest nonlinearity is present when the three coupling wave vectors are at the supergranular scale. These are the same wave vectors that are present in regular hexagons, which were used in analytical studies of solar convection. At these Fourier components, the bispectrum is positive, consistent with the positive skewness in the data and with supergranules preferentially consisting of outflows surrounded by a network of inflows. We use the bispectrum to generate synthetic divergence maps that are very similar to the data by a model that consists of a Gaussian term and a weaker quadratic nonlinear component. Thereby, we estimate the fraction of the variance in the divergence maps from the nonlinear component to be of the order of 4-6%. Conclusions. We propose that bispectral analysis is useful for understanding solar turbulent convection, for example for comparing observations and numerical models of supergranular flows. This analysis may also be useful to generate synthetic flow fields.

categories: astro-ph.SR nlin.PS physics.flu-dyn stat.AP


title: Connecting two stochastic theories that lead to quantum mechanics

abstract: The connection is established between two theories that have developed independently with the aim to describe quantum mechanics as a stochastic process, namely stochastic quantum mechanics (sqm) and stochastic electrodynamics (sed). Important commonalities and complementarities between the two theories are identified, notwithstanding their dissimilar origins and approaches. Further, the dynamical equation of sqm is completed with the radiation terms that are an integral element in sed. The central problem of the transition to the quantum dynamics is addressed, pointing to the key role of diffusion in the emergence of quantization.