title: Kleene posets and pseudo-Kleene posets

abstract: The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene posets can be characterized by identities and implications of assigned commutative meet-directoids. Moreover, we prove that the Dedekind-MacNeille completion of a pseudo-Kleene poset is a pseudo-Kleene algebra and that the Dedekind-MacNeille completion of a finite Kleene poset is a Kleene algebra. Further, we introduce the concept of a strict (pseudo-)Kleene poset and show that under an additional assumption a strict Kleene poset can be organized into a residuated structure. Finally, we prove by using the so-called twist construction that every poset can be embedded into a pseudo-Kleene poset in some natural way.


title: Learning Long-Term Dependencies in Irregularly-Sampled Time Series

abstract: Recurrent neural networks (RNNs) with continuous-time hidden states are a natural fit for modeling irregularly-sampled time series. These models, however, face difficulties when the input data possess long-term dependencies. We prove that similar to standard RNNs, the underlying reason for this issue is the vanishing or exploding of the gradient during training. This phenomenon is expressed by the ordinary differential equation (ODE) representation of the hidden state, regardless of the ODE solver's choice. We provide a solution by designing a new algorithm based on the long short-term memory (LSTM) that separates its memory from its time-continuous state. This way, we encode a continuous-time dynamical flow within the RNN, allowing it to respond to inputs arriving at arbitrary time-lags while ensuring a constant error propagation through the memory path. We call these RNN models ODE-LSTMs. We experimentally show that ODE-LSTMs outperform advanced RNN-based counterparts on non-uniformly sampled data with long-term dependencies. All code and data is available at https://github.com/mlech26l/ode-lstms.


title: Metagame Autobalancing for Competitive Multiplayer Games

abstract: Automated game balancing has often focused on single-agent scenarios. In this paper we present a tool for balancing multi-player games during game design. Our approach requires a designer to construct an intuitive graphical representation of their meta-game target, representing the relative scores that high-level strategies (or decks, or character types) should experience. This permits more sophisticated balance targets to be defined beyond a simple requirement of equal win chances. We then find a parameterization of the game that meets this target using simulation-based optimization to minimize the distance to the target graph. We show the capabilities of this tool on examples inheriting from Rock-Paper-Scissors, and on a more complex asymmetric fighting game.


title: Mesh quality preserving shape optimization using nonlinear extension operators

abstract: In this article, we propose a shape optimization algorithm which is able to handle large deformations while maintaining a high level of mesh quality. Based on the method of mappings we introduce a nonlinear extension operator, which links a boundary control to domain deformations, ensuring admissibility of resulting shapes. The major focus is on comparisons between well-established approaches involving linear-elliptic operators for the extension and the effect of additional nonlinear advection on the set of reachable shapes. It is moreover discussed how the computational complexity of the proposed algorithm can be reduced. The benefit of the nonlinearity in the extension operator is substantiated by several numerical test cases of stationary, incompressible Navier-Stokes flows in 2d and 3d.


title: Cyber-Physical Control of Indoor Multi-vehicle Testbed for Cooperative Driving

abstract: The system of connected vehicle to vehicle and vehicle to infrastructure can be considered as a wireless cyberphysical system of systems (Wireless CPSoS), which will be provided with the high ability of adaptive control on system of systems, cooperative scenarios to control of a Wireless CPSoS and adaptive wireless networked control system (WNCS). In this paper we present our multi-vehicle testbed based on the cyber-physical system that was designed for verification and validation of cooperative driving algorithm involving WNCS testing. Vehicles were developed as the physical prototype equipped with Raspberry-pi microprocessor and other sensing elements. This testbed consists of a fleet of 4 robot vehicles. An indoor positioning system (IPS) based on particle filter is purposed by using an inertial measurement unit (IMU) and iBeacon that is built upon Bluetooth Low Energy. Some typical cooperative driving scenarios can be implemented on this testbed under indoor laboratory. The method used to realize the objective statement was Model Predictive Control (MPC) with a state observer based on a Kalman Filter (KF). Because the wireless control systems can be severely affected by the imperfections of the wireless communication link. Our experimental testbed paves the way for testing and evaluating more intelligent cooperative driving scenario with the use new wireless technology and control system in the future.


title: Real-time 112 Gbit/s DMT for Data Center Interconnects

abstract: We report on 112 Gbit/s real-time DMT transmission over up to 60 km, targeted at DCI applications. Chromatic dispersion mitigation by vestigial sideband filtering is compared to the use of dispersion compensating fiber.


title: Condition Numbers for the Cube. I: Univariate Polynomials and Hypersurfaces

abstract: The condition-based complexity analysis framework is one of the gems of modern numerical algebraic geometry and theoretical computer science. Among the challenges that it poses is to expand the currently limited range of random polynomials that we can handle. Despite important recent progress, the available tools cannot handle random sparse polynomials and Gaussian polynomials, that is polynomials whose coefficients are i.i.d. Gaussian random variables. We initiate a condition-based complexity framework based on the norm of the cube that is a step in this direction. We present this framework for real hypersurfaces and univariate polynomials. We demonstrate its capabilities in two problems, under very mild probabilistic assumptions. On the one hand, we show that the average run-time of the Plantinga-Vegter algorithm is polynomial in the degree for random sparse (alas a restricted sparseness structure) polynomials and random Gaussian polynomials. On the other hand, we study the size of the subdivision tree for Descartes' solver and run-time of the solver by Jindal and Sagraloff (arXiv:1704.06979). In both cases, we provide a bound that is polynomial in the size of the input (size of the support plus the logarithm of the degree) not only for the average but also for all higher moments.


title: OpenSHC: A Versatile Multilegged Robot Controller

abstract: Multilegged robots have the ability to perform stable locomotion on relatively rough terrain. However, the complexity of legged robots over wheeled or tracked robots make them difficult to control. This paper presents OpenSHC (Open-source Syropod High-level Controller), a versatile high-level controller {capable of generating gaits and poses for quasi-static multilegged robots, both simulated and with real hardware implementations. With full Robot Operating System (ROS) integration, the controller can be quickly deployed on robots with different actuators and sensor payloads}. The flexibility of OpenSHC is demonstrated on the 30 degrees of freedom hexapod Bullet, analysing the energetic performance of various leg configurations, kinematic arrangements and gaits over different locomotion speeds. With OpenSHC being easily configured to different physical and locomotion specifications, a hardware-based parameter space search for optimal locomotion parameters is conducted. The experimental evaluation shows that the mammalian configuration offers lower power consumption across a range of step frequencies; with the insectoid configuration providing performance advantages at higher body velocities and increased stability at low step frequencies. OpenSHC is open-source and able to be configured for various number of joints and legs.


title: Point-Line Geometry in the Tropical Plane

abstract: We study the classical result by Bruijn and Erd\H os regarding the bound on the number of lines determined by a $n$-point configuration in the plane, and in the light of the recently proven Tropical Sylvester-Gallai theorem, come up with a tropical version of the above-mentioned result. In this work, we introduce stable tropical lines, which help in answering questions pertaining to incidence geometry in the tropical plane. Projective duality in the tropical plane helps in translating the question for stable lines to stable intersections that have been previously studied in depth. Invoking duality between Newton subdivisions and line arrangements, we are able to classify stable intersections with shapes of cells in subdivisions, and this ultimately helps us in coming up with a bound. In this process, we also encounter various unique properties of linear Newton subdivisions which are dual to tropical line arrangements.


title: Physically motivated heat conduction treatment in simulations of solar-like stars: effects on dynamo transitions

abstract: Context. Results from global magnetoconvection simulations of solar-like stars are at odds with observations in many respects: They show a surplus of energy in the kinetic power spectrum at large scales, anti-solar differential rotation profiles, with accelerated poles and a slow equator, for the solar rotation rate, and a transition from axi- to non-axisymmetric dynamos at a much lower rotation rate than what is observed. Even though the simulations reproduce the observed active longitudes in fast rotators, their motion in the rotational frame (the so-called azimuthal dynamo wave, ADW) is retrograde, in contrast to the prevalent prograde motion in observations. Aims. We study the effect of a more realistic treatment of heat conductivity in alleviating the discrepancies between observations and simulations. Methods. We use physically-motivated heat conduction, by applying Kramers opacity law, on a semi-global spherical setup describing convective envelopes of solar-like stars, instead of a prescribed heat conduction profile from mixing-length arguments. Results. We find that some aspects of the results now better correspond to observations: The axi- to non-axisymmetric transition point is shifted towards higher rotation rates. We also find a change in the propagation direction of ADWs so that also prograde waves are now found. The transition from anti-solar to solar-like rotation profile, however, is also shifted towards higher rotation rates, leaving the models into an even more unrealistic regime. Conclusions. Although a Kramers-based heat conduction does not help in reproducing the solar rotation profile, it does help in the faster rotation regime, where the dynamo solutions now match better with observations.


title: Coupled electro-elastic deformation and instabilities of a toroidal membrane

abstract: We analyse here the problem of large deformation of dielectric elastomeric membranes under coupled electromechanical loading. Extremely large deformations (enclosed volume changes of 100 times and greater) of a toroidal membrane are studied by the use of a variational formulation that accounts for the total energy due to mechanical and electrical fields. A modified shooting method is adopted to solve the resulting system of coupled and highly nonlinear ordinary differential equations. We demonstrate the occurrence of limit point, wrinkling, and symmetry-breaking buckling instabilities in the solution of this problem. Onset of each of these "reversible" instabilities depends significantly on the ratio of the mechanical load to the electric load, thereby providing a control mechanism for state switching.


title: Envy-free Relaxations for Goods, Chores, and Mixed Items

abstract: In fair division problems, we are given a set $S$ of $m$ items and a set $N$ of $n$ agents with individual preferences, and the goal is to find an allocation of items among agents so that each agent finds the allocation fair. There are several established fairness concepts and envy-freeness is one of the most extensively studied ones. However envy-free allocations do not always exist when items are indivisible and this has motivated relaxations of envy-freeness: envy-freeness up to one item (EF1) and envy-freeness up to any item (EFX) are two well-studied relaxations. We consider the problem of finding EF1 and EFX allocations for utility functions that are not necessarily monotone, and propose four possible extensions of different strength to this setting. In particular, we present a polynomial-time algorithm for finding an EF1 allocation for two agents with arbitrary utility functions. An example is given showing that EFX allocations need not exist for two agents with non-monotone, non-additive, identical utility functions. However, when all agents have monotone (not necessarily additive) identical utility functions, we prove that an EFX allocation of chores always exists. As a step toward understanding the general case, we discuss two subclasses of utility functions: Boolean utilities that are $\{0,+1\}$-valued functions, and negative Boolean utilities that are $\{0,-1\}$-valued functions. For the latter, we give a polynomial time algorithm that finds an EFX allocation when the utility functions are identical.


title: Beyond Worst-Case Analysis in Stochastic Approximation: Moment Estimation Improves Instance Complexity

abstract: We study oracle complexity of gradient based methods for stochastic approximation problems. Though in many settings optimal algorithms and tight lower bounds are known for such problems, these optimal algorithms do not achieve the best performance when used in practice. We address this theory-practice gap by focusing on instance-dependent complexity instead of worst case complexity. In particular, we first summarize known instance-dependent complexity results and categorize them into three levels. We identify the domination relation between different levels and propose a fourth instance-dependent bound that dominates existing ones. We then provide a sufficient condition according to which an adaptive algorithm with moment estimation can achieve the proposed bound without knowledge of noise levels. Our proposed algorithm and its analysis provide a theoretical justification for the success of moment estimation as it achieves improved instance complexity.


title: A Catalog of Short Period Spectroscopic and Eclipsing Binaries Identified from the LAMOST & PTF Surveys

abstract: Binaries play key roles in determining stellar parameters and exploring stellar evolution models. We build a catalog of 88 eclipsing binaries with spectroscopic information, taking advantage of observations from both the Large Sky Area Multi-Object fiber Spectroscopic Telescope (LAMOST) and the Palomar Transient Factory (PTF) surveys. A software pipeline is constructed to identify binary candidates by examining their light curves. The orbital periods of binaries are derived from the Lomb-Scargle method. The key distinguishing features of eclipsing binaries are recognized by a new filter \textit{Flat Test}. We classify the eclipsing binaries by applying Fourier analysis on the light curves. Among all the binary stars, 13 binaries are identified as eclipsing binaries for the first time. The catalog contains information: position, primary eclipsing magnitude and time, eclipsing depth, the number of photometry and radial velocity observations, largest radial velocity difference, binary type, the effective temperature of observable star $T_{\rm eff}$, and surface gravity of observable star log \emph{g}. The false-positive probability is calculated by using both a Monte Carlo simulation and real data from the SDSS Stripe 82 Standard Catalog. The binaries in the catalog are mostly with a period of less than one day. The period distribution shows a 0.22-day cut-off which is consistent with the low probability of an eclipsing binary rotating with such a period.


title: Time-dependent spintronic anisotropy in magnetic molecules

abstract: We theoretically study the quench dynamics of induced anisotropy of a large-spin magnetic molecule coupled to spin-polarized ferromagnetic leads. The real-time evolution is calculated by means of the time-dependent density-matrix numerical renormalization group method implemented within the matrix product states framework, which takes into account all correlations in very accurate manner. We determine the system's response to a quench in the spin-dependent coupling to ferromagnetic leads. In particular, we focus on the transient dynamics associated with crossing from the weak to the strong coupling regime, where the Kondo correlations become important. The dynamics is examined by calculating the time-dependent expectation values of the spin-quadrupole moment and the associated spin operators. We identify the relevant time scales describing the quench dynamics and determine the influence of the molecule's effective exchange coupling and leads spin-polarization on the dynamical behavior of the system. Furthermore, the generalization of our predictions for large values of molecule's spin is considered. Finally, we analyze the effect of finite temperature and show that it gives rise to a reduction of magnetic anisotropy by strong suppression of the time-dependent spin-quadrupole moment due to thermal fluctuations.


title: AdaDeep: A Usage-Driven, Automated Deep Model Compression Framework for Enabling Ubiquitous Intelligent Mobiles

abstract: Recent breakthroughs in Deep Neural Networks (DNNs) have fueled a tremendously growing demand for bringing DNN-powered intelligence into mobile platforms. While the potential of deploying DNNs on resource-constrained platforms has been demonstrated by DNN compression techniques, the current practice suffers from two limitations: 1) merely stand-alone compression schemes are investigated even though each compression technique only suit for certain types of DNN layers; and 2) mostly compression techniques are optimized for DNNs' inference accuracy, without explicitly considering other application-driven system performance (e.g., latency and energy cost) and the varying resource availability across platforms (e.g., storage and processing capability). To this end, we propose AdaDeep, a usage-driven, automated DNN compression framework for systematically exploring the desired trade-off between performance and resource constraints, from a holistic system level. Specifically, in a layer-wise manner, AdaDeep automatically selects the most suitable combination of compression techniques and the corresponding compression hyperparameters for a given DNN. Thorough evaluations on six datasets and across twelve devices demonstrate that AdaDeep can achieve up to $18.6\times$ latency reduction, $9.8\times$ energy-efficiency improvement, and $37.3\times$ storage reduction in DNNs while incurring negligible accuracy loss. Furthermore, AdaDeep also uncovers multiple novel combinations of compression techniques.


title: Numerical modeling of laser tunneling ionization in Particle in Cell Codes with a laser envelope model

abstract: The resources needed for Particle in Cell simulations of Laser Wakefield Acceleration can be greatly reduced in many cases of interest using an envelope model. However, the inclusion of tunneling ionization in this time averaged treatment of laser-plasma acceleration is not straightforward, since the statistical features of the electron beams obtained through ionization should ideally be reproduced without resolving the high frequency laser oscillations. In this context, an extension of an already known envelope ionization procedure is proposed, valid also for laser pulses with higher intensities, which consists in adding the initial longitudinal drift to the newly created electrons within the laser pulse ionizing the medium. The accuracy of the proposed procedure is shown with both linear and circular polarization in a simple benchmark where a nitrogen slab is ionized by a laser pulse, and in a more complex benchmark of laser plasma acceleration with ionization injection in the nonlinear regime. With this addition to the envelope ionization algorithm, the main phase space properties of the bunches injected in a plasma wakefield with ionization by a laser (charge, average energy, energy spread, rms sizes, normalized emittance) can be estimated with accuracy comparable to a non-envelope simulation with significantly reduced resources, even in cylindrical geometry. Through this extended algorithm, preliminary studies of ionization injection in Laser Wakefield Acceleration can be easily carried out even on a laptop.


title: Ergodicity breaking of an inorganic glass in aging near ${T_g}$ probed by elasticity relaxation

abstract: We performed a series of aging experiments of an inorganic glass (As${_2}$Se${_3}$) at a temperature ${T_2}$ near the glass transition point ${T_g}$ by first relaxing it at ${T_1}$. The relaxation of Young's modulus was monitored, which was(almost if not ideally) exponential with a ${T_1}$-dependent relaxation time ${\tau(T_1)}$. We demostrate the Kovacs' paradox for the first time in an inorganic glasses. Associated with the divergence of ${\tau}$, the quasi-equilibrated Young's modulus ${E_\infty}$ does not converge either. An elastic model of relaxation time and a Mori-Tanaka analysis of ${E_\infty}$ lead to a similar estimate of the persistent memory of the history, ergodicity breaking within the accessible experimental time. Experiments with different ${T_2}$ exhibits a critical temperature ${T_p \sim T_g}$, i.e., when ${T_2 > T_p}$, both ${\tau}$ and ${E_\infty}$ converge.


title: CAST: A Correlation-based Adaptive Spectral Clustering Algorithm on Multi-scale Data

abstract: We study the problem of applying spectral clustering to cluster multi-scale data, which is data whose clusters are of various sizes and densities. Traditional spectral clustering techniques discover clusters by processing a similarity matrix that reflects the proximity of objects. For multi-scale data, distance-based similarity is not effective because objects of a sparse cluster could be far apart while those of a dense cluster have to be sufficiently close. Following [16], we solve the problem of spectral clustering on multi-scale data by integrating the concept of objects' "reachability similarity" with a given distance-based similarity to derive an objects' coefficient matrix. We propose the algorithm CAST that applies trace Lasso to regularize the coefficient matrix. We prove that the resulting coefficient matrix has the "grouping effect" and that it exhibits "sparsity". We show that these two characteristics imply very effective spectral clustering. We evaluate CAST and 10 other clustering methods on a wide range of datasets w.r.t. various measures. Experimental results show that CAST provides excellent performance and is highly robust across test cases of multi-scale data.


title: Training Deep Spiking Neural Networks

abstract: Computation using brain-inspired spiking neural networks (SNNs) with neuromorphic hardware may offer orders of magnitude higher energy efficiency compared to the current analog neural networks (ANNs). Unfortunately, training SNNs with the same number of layers as state of the art ANNs remains a challenge. To our knowledge the only method which is successful in this regard is supervised training of ANN and then converting it to SNN. In this work we directly train deep SNNs using backpropagation with surrogate gradient and find that due to implicitly recurrent nature of feed forward SNN's the exploding or vanishing gradient problem severely hinders their training. We show that this problem can be solved by tuning the surrogate gradient function. We also propose using batch normalization from ANN literature on input currents of SNN neurons. Using these improvements we show that is is possible to train SNN with ResNet50 architecture on CIFAR100 and Imagenette object recognition datasets. The trained SNN falls behind in accuracy compared to analogous ANN but requires several orders of magnitude less inference time steps (as low as 10) to reach good accuracy compared to SNNs obtained by conversion from ANN which require on the order of 1000 time steps.


title: The Power Spherical distribution

abstract: There is a growing interest in probabilistic models defined in hyper-spherical spaces, be it to accommodate observed data or latent structure. The von Mises-Fisher (vMF) distribution, often regarded as the Normal distribution on the hyper-sphere, is a standard modeling choice: it is an exponential family and thus enjoys important statistical results, for example, known Kullback-Leibler (KL) divergence from other vMF distributions. Sampling from a vMF distribution, however, requires a rejection sampling procedure which besides being slow poses difficulties in the context of stochastic backpropagation via the reparameterization trick. Moreover, this procedure is numerically unstable for certain vMFs, e.g., those with high concentration and/or in high dimensions. We propose a novel distribution, the Power Spherical distribution, which retains some of the important aspects of the vMF (e.g., support on the hyper-sphere, symmetry about its mean direction parameter, known KL from other vMF distributions) while addressing its main drawbacks (i.e., scalability and numerical stability). We demonstrate the stability of Power Spherical distributions with a numerical experiment and further apply it to a variational auto-encoder trained on MNIST. Code at: https://github.com/nicola-decao/power_spherical


title: Effect of the Reynolds number on turbulence kinetic energy exchanges in flows with highly variable fluid properties

abstract: Spatial and spectral energy exchanges associated with the turbulence kinetic energy per unit mass, or half-trace of the velocity covariance tensor, are studied in an anisothermal low Mach number turbulent channel flow. The temperatures of the two channel walls are 293 K and 586 K. This generates a strong temperature gradient in the wall-normal direction. The effect of the temperature gradient on the energy exchanges is investigated using two direct numerical simulations of the channel, at the mean friction Reynolds numbers 180 and 395. The temperature gradient creates an asymmetry between the energy exchanges at the hot and cold sides, due to the variations of the local fluid properties and low Reynolds number effects. The low Reynolds number effects are smaller at higher Reynolds number, reducing the asymmetry between the hot and cold sides. We also decomposed the energy exchanges in order to study separately the mean-property terms, as found in the constant-property isothermal case, and the thermal terms, specific to flows with variable fluid properties. The significant thermal terms have a similar effect on the flow. Besides, low Reynolds number effects have a negligible impact on thermal terms and only affect mean-property terms.


title: Liquid Time-constant Networks

abstract: We introduce a new class of time-continuous recurrent neural network models. Instead of declaring a learning system's dynamics by implicit nonlinearities, we construct networks of linear first-order dynamical systems modulated via nonlinear interlinked gates. The resulting models represent dynamical systems with varying (i.e., liquid) time-constants coupled to their hidden state, with outputs being computed by numerical differential equation solvers. These neural networks exhibit stable and bounded behavior, yield superior expressivity within the family of neural ordinary differential equations, and give rise to improved performance on time-series prediction tasks. To demonstrate these properties, we first take a theoretical approach to find bounds over their dynamics and compute their expressive power by the trajectory length measure in latent trajectory space. We then conduct a series of time-series prediction experiments to manifest the approximation capability of Liquid Time-Constant Networks (LTCs) compared to classical and modern RNNs. Code and data are available at https://github.com/raminmh/liquid_time_constant_networks


title: A Case study of light pollution in France after the change in legislation

abstract: France issued a decree to restrict and prohibit mainly outdoor lighting effective from January 1st, 2019. Effectiveness of this legislation has been evaluated in this study using GIS data which was first used in \cite{2020MNRAS.493.1204A} (so called astroGIS database - \url{astrogis.org}). A subset of Artificial Light layer of astroGIS database has been adapted for years between January 2012 and December 2019. During 2019, radiance of $1.9 \times 10^{9}$ W cm$^{-2}$ sr$^{-1}$ has been released into space. Annual light pollution in France decreased by 6\% after the enactment of artificial light legislation. France continue to have potential Dark Sky Park locations for example cities like Indre, Lot, Nievre and Creuse having the lowest light pollution values. A strong correlation between population and light pollution ($R\simeq 0.83$) has been observed. A similar but a weak correlation can also be observed for GDP ($R\simeq 0.28$). However, it is still too early to justify whether the improvements observed in the dataset are due to the enactment of the legislation or not.


title: NuSTAR view of Swift/BAT AGN: The $R$-$\Gamma$ correlation

abstract: The reflection hump is a prominent feature in the hard X-ray spectrum of active galactic nuclei (AGN). Its exact shape and its correlation to other quantities provide valuable information about the inner and outer regions of an AGN. Our main goal is to study the reflection hump in a large sample of nearby AGN. We aim to investigate the evolution of reflection with absorption and its correlation with the spectral index. We analysed archived NuSTAR observations of the 70-month BAT catalogue AGN. By performing a detailed spectral analysis, we were able to constrain the spectral parameters and to investigate the reflection emission in a large sample of individual sources. The reflection strength was found to be strongly correlated with the power-law slope in unabsorbed sources, pointing towards disc reflection for these sources. Different possible explanations were tested and the most likely one is that the corona is moving either towards or away from the disc with a moderately relativistic velocity. An $R-\Gamma$ correlation was not detected for absorbed sources. In addition, these AGN feature harder spectra, suggesting intrinsic differences between the two classes or a slab geometry for the X-ray source.


title: Temporally semidiscrete approximation of a Dirichlet boundary control for a fractional/normal evolution equation with a final observation

abstract: Optimal Dirichlet boundary control for a fractional/normal evolution with a final observation is considered. The unique existence of the solution and the first-order optimality condition of the optimal control problem are derived. The convergence of a temporally semidiscrete approximation is rigorously established, where the control is not explicitly discretized and the state equation is discretized by a discontinuous Galerkin method in time. Numerical results are provided to verify the theoretical results.


title: Asymptotic Behavior of the Solution to the Klein-Gordon-Zakharov Model in Dimension Two

abstract: Consider the Klein-Gordon-Zakharov equations in $\mathbb{R}^{1+2}$, and we are interested in establishing the small global solution to the equations and in investigating the pointwise asymptotic behavior of the solution. The Klein-Gordon-Zakharov equations can be regarded as a coupled semilinear wave and Klein-Gordon system with quadratic nonlinearities which do not satisfy the null conditions, and the fact that wave components and Klein-Gordon components do not decay sufficiently fast makes it harder to conduct the analysis. In order to conquer the difficulties, we will rely on the hyperboloidal foliation method and a minor variance of the ghost weight method. As a side result of the analysis, we are also able to show the small data global existence result for a class of quasilinear wave and Klein-Gordon system violating the null conditions.


title: Maximizing Error Injection Realism for Chaos Engineering with System Calls

abstract: In this paper, we present a novel fault injection framework for system call invocation errors, called Phoebe. Phoebe is unique as follows. First, Phoebe enables developers to have full observability of system call invocations. Second, Phoebe generates error models that are realistic in the sense that they mimic errors that naturally happen in production. Third, Phoebe is able to automatically conduct experiments to systematically assess the reliability of applications with respect to system call invocation errors in production. We evaluate the effectiveness and runtime overhead of Phoebe on two real-world applications in a production environment. The results show that Phoebe successfully generates realistic error models and is able to detect important reliability weaknesses with respect to system call invocation errors. To our knowledge, this novel concept of "realistic error injection", which consists of grounding fault injection on production errors, has never been studied before.


title: A posteriori tests of subgrid-scale models in an isothermal turbulent channel flow

abstract: This paper studies the large-eddy simulation (LES) of isothermal turbulent channel flows. We investigate zero-equation algebraic models without wall function or wall model: functional models, structural models and mixed models. In addition to models from the literature, new models are proposed and their relevance is examined. Dynamic versions of each type of model are also analysed. The performance of the subgrid-scale models is assessed using the same finite difference numerical method and physical configuration. The friction Reynolds number of the simulations is 180. Three different mesh resolutions are used. The predictions of large-eddy simulations are compared to a direct numerical simulation filtered at the resolution of the LES meshes. The results are more accurate than a simulation without model. The predictions of functional eddy-viscosity models can be improved using constant-parameter or dynamic tensorial methods.


title: Compression behaviour and crashworthiness analysis of aluminum foam filled corrugated and tapered tubes with graded thickness

abstract: Thin-walled straight circular tubes (SCT) are frequently used as energy absorbing devices in the crashworthy applications. This paper introduces a various tubal configuration, namely aluminium foam filled corrugation tube and tapered tube with graded thickness, to control the collapse mode, and minimize the peak crushing force and fluctuations in force-displacement curves. Dynamic crushing simulations were carried out using commercially available finite element package ABAQUS explicit 6.13 at impact velocity of 60 km/h (corresponding to 16.7 m/s). A comparative study on the dynamic crushing behaviour of aluminum foam-filled tapered with graded thickness and corrugated tubes were performed. The results showed that deformation mode of corrugated tube is more controllable and predictable in the case of empty tubes. In foam filled tubes the mode of deformation changing from diamond or mixed mode to concertina mode which is useful for crashworthy applications. The crushing force efficiency of foam filled tubes increases when compared with the empty tubes because of a higher mean force which can be achieved by less fluctuations in force-displacement curves. The effects of corrugation wavelength and amplitude of corrugation tubes on the collapse mode, peak crushing force and energy absorption were studied. Compared to the conventional straight circular tube, initial peak force and fluctuation in the force-displacement curves of corrugated tube is considerably less. Desired crashworthy characteristics can be obtained by changing corrugation wavelength and amplitude of corrugated tubes.


title: Torsion of instability zones for conservative twist maps on the annulus

abstract: For a twist map $f$ of the annulus preserving the Lebesgue measure, we give sufficient conditions to assure the existence of a set of positive measure of points with non-zero asymptotic torsion. In particular, we deduce that every bounded instability region for $f$ contains a set of positive measure of points with non-zero asymptotic torsion. Moreover, for an exact symplectic twist map $f$, we provide a simple, geometric proof of a result by Cheng and Sun (see [CS96]) which characterizes $\mathcal{C}^0$-integrability of $f$ by the absence of conjugate points.


title: Thermal deflection decoupled 6-DOF pose measurement of hexapods

abstract: Calibration is crucial for hexapods with high-accuracy positioning capability. Many of these calibration procedures require measurement of hexapod's platform pose (position and orientation) at constant temperature. Consequently, thermal deflection of the hexapod's platform during pose measurements impacts the accuracy of calibrated parameters. This paper presents a method to eliminate the impact of thermal deflection of hexapods on their pose measurement. In this method, a reference pose is measured before each measurement of any particular pose. The measurements of reference pose are used to estimate thermal deflection of hexapod's legs. This is in turn used to estimate and correct the resulting pose error at the particular pose to be measured. The advantage of using the proposed method is demonstrated experimentally by means of pose measurements of a high-precision hexapod using a CMM.


title: On Universalized Adversarial and Invariant Perturbations

abstract: Convolutional neural networks or standard CNNs (StdCNNs) are translation-equivariant models that achieve translation invariance when trained on data augmented with sufficient translations. Recent work on equivariant models for a given group of transformations (e.g., rotations) has lead to group-equivariant convolutional neural networks (GCNNs). GCNNs trained on data augmented with sufficient rotations achieve rotation invariance. Recent work by authors arXiv:2002.11318 studies a trade-off between invariance and robustness to adversarial attacks. In another related work arXiv:2005.08632, given any model and any input-dependent attack that satisfies a certain spectral property, the authors propose a universalization technique called SVD-Universal to produce a universal adversarial perturbation by looking at very few test examples. In this paper, we study the effectiveness of SVD-Universal on GCNNs as they gain rotation invariance through higher degree of training augmentation. We empirically observe that as GCNNs gain rotation invariance through training augmented with larger rotations, the fooling rate of SVD-Universal gets better. To understand this phenomenon, we introduce universal invariant directions and study their relation to the universal adversarial direction produced by SVD-Universal.


title: Distributive lattices, associative geometries: the arithmetic case

abstract: We prove an identity for five arguments, valid in the lattice of natural numbers with gcd and lcm as lattice operations. More generally, this identity characterizes arbitrary distributive lattices. Fixing three of the five arguments, we always get associative products, and thus every distributive lattice carries many semigroup structures. In the arithmetic case, we explicitly compute multiplication tables of such semigroups and describe some of their properties. Many of them are periodic, and can be seen as "non-commutative analogs" of the rings Z/nZ.


title: Novel Adaptive Binary Search Strategy-First Hybrid Pyramid- and Clustering-Based CNN Filter Pruning Method without Parameters Setting

abstract: Pruning redundant filters in CNN models has received growing attention. In this paper, we propose an adaptive binary search-first hybrid pyramid- and clustering-based (ABSHPC-based) method for pruning filters automatically. In our method, for each convolutional layer, initially a hybrid pyramid data structure is constructed to store the hierarchical information of each filter. Given a tolerant accuracy loss, without parameters setting, we begin from the last convolutional layer to the first layer; for each considered layer with less or equal pruning rate relative to its previous layer, our ABSHPC-based process is applied to optimally partition all filters to clusters, where each cluster is thus represented by the filter with the median root mean of the hybrid pyramid, leading to maximal removal of redundant filters. Based on the practical dataset and the CNN models, with higher accuracy, the thorough experimental results demonstrated the significant parameters and floating-point operations reduction merits of the proposed filter pruning method relative to the state-of-the-art methods.


title: A functorial approach to differential calculus

abstract: We show that differential calculus (in its usual form, or in the general form of topological differential calculus) can be fully imdedded into a functor category (functors from a small category of anchord tangent algebras to anchored sets). To prepare this approach, we define a new, symmetric, presentation of differential calculus, whose main feature is the central r{\^o}le played by the anchor map, which we study in detail. Our aim for developing this theory is twofold: (1) define a setting for calculus over any commutative ring, including finite rings; (2) define a setting that can be generalized to categories of graded rings (super differential calculus).


title: Some remarks on the Classical KAM Theorem, following P{\"o}schel

abstract: We propose a slight correction and a slight improvement on the main result contained in "A lecture on Classical KAM Theorem" by J. P{\"o}schel.


title: Dispersive and star ordering of sample extremes from dependent random variables following the proportional odds model

abstract: Dispersive order is a type of variability order for comparing the variability in probability distributions. Star order compares the skewness of probability distributions. This work considers dispersive and star orders of extreme order statistics from dependent random variables following the proportional odds (PO) model. The joint distribution of the random variables is modeled with Archimedean copula. Numerical examples are provided to illustrate the findings.


title: Continual Representation Learning for Biometric Identification

abstract: With the explosion of digital data in recent years, continuously learning new tasks from a stream of data without forgetting previously acquired knowledge has become increasingly important. In this paper, we propose a new continual learning (CL) setting, namely ``continual representation learning'', which focuses on learning better representation in a continuous way. We also provide two large-scale multi-step benchmarks for biometric identification, where the visual appearance of different classes are highly relevant. In contrast to requiring the model to recognize more learned classes, we aim to learn feature representation that can be better generalized to not only previously unseen images but also unseen classes/identities. For the new setting, we propose a novel approach that performs the knowledge distillation over a large number of identities by applying the neighbourhood selection and consistency relaxation strategies to improve scalability and flexibility of the continual learning model. We demonstrate that existing CL methods can improve the representation in the new setting, and our method achieves better results than the competitors.


title: Galaxy Optical Variability of Virgo Cluster: New Tracer for Environmental Influences on Galaxies

abstract: We investigate the relationship between the optical variability of galaxies and their distances from the centre of the Virgo Cluster using Palomar Transient Factory data. We define the ratio between the standard deviation of the galaxy brightness and the mean value of the standard deviation as a measure of a galaxy's optical variability. A sample of 814 Virgo galaxies with 230263 observations shows a monotonically decreasing trend of optical variability with increasing clustercentric distance. The variability level inside the cluster is 3.2$\sigma$ higher than the level outside. We fit the variability with a linear function and find that the data reject a distance-independent model. We examine 217 background galaxies for comparison and find no significant trend in galaxy variability. We assess the relation with Monte Carlo simulation by rebuilding the brightness of each galaxy. The simulation shows a monotonically decreasing relation for member galaxy variability and a distance-independent relation for background galaxies. Our result is consistent with the theory that the cold gas flowing inwards the cluster centre fuels AGN activity. This work is a new implementation of the method using optical variability to investigate the relation between galaxies evolution and their environment.


title: On singularity types of del Pezzo surfaces with rational double points in positive characteristic

abstract: In this paper, we prove that a pair of the minimal resolution of a del Pezzo surface with rational double points whose general anti-canonical member is smooth and its exceptional divisor lifts to the Witt ring. We also classify a del Pezzo surface with rational double points whose anti-canonical members are all singular. As a corollary, we determine all singularity types of del Pezzo surfaces with rational double points which only appear in positive characteristic.


title: Energy correlations of non-integrable Ising models: The scaling limit in the cylinder

abstract: We consider a class of non-integrable 2D Ising models, whose Hamiltonian, in addition to the nearest neighbor couplings, includes weak multi-spin interactions, even under spin flip. We study the model in cylindrical domains of arbitrary aspect ratio and prove that, in the scaling limit, the multipoint energy correlations converge to the same limiting correlations as those of the nearest-neighbor Ising model in the cylinder with renormalized couplings, up to an overall multiplicative constant, independent of the shape and size of the domain. The proof is based on a representation of the generating function of correlations in terms of a non-Gaussian Grassmann integral, and a constructive Renormalization Group (RG) analysis thereof. A key technical novelty compared with previous works is a systematic analysis of the effect of the boundary corrections to the RG flow, in particular a proof that the scaling dimension of boundary operators is better by one dimension than their bulk counterparts. A cancellation mechanism based on an approximate image rule for the fermionic Green's function is of crucial importance for controlling the RG flow of the marginal boundary terms.


title: Transience in law for symmetric random walks in infinite measure

abstract: We consider a random walk on a second countable locally compact topological space endowed with an invariant Radon measure. We show that if the walk is symmetric and if every subset which is invariant by the walk has zero or infinite measure, then one has escape of mass for almost every starting point. We then apply this result in the context of homogeneous random walks on infinite volume spaces, and deduce a converse to Eskin-Margulis recurrence theorem.


title: Voltage-controlled binary conductance switching in gold-4,4'-bipyridine-gold single-molecule nanowires

abstract: We investigate gold-4,4'-bipyridine-gold single-molecule junctions with the mechanically controllable break junction technique at cryogenic temperature ($T=4.2\,\text{K}$). We observe bistable probabilistic conductance switching between the two molecular binding configurations, influenced both by the mechanical actuation, and the applied voltage. We demonstrate that the relative dominance of the two conductance states is tunable by the electrode displacement, whereas the voltage manipulation induces an exponential speedup of both switching times. The detailed investigation of the voltage-tunable switching rates provides an insight into the possible switching mechanisms.


title: Bayesian beta nonlinear models with constrained parameters to describe ruminal degradation kinetics

abstract: The models used to describe the kinetics of ruminal degradation are usually nonlinear models where the dependent variable is the proportion of degraded food. The method of least squares is the standard approach used to estimate the unknown parameters but this method can lead to unacceptable predictions. To solve this issue, a beta nonlinear model and the Bayesian perspective is proposed in this article. The application of standard methodologies to obtain prior distributions, such as the Jeffreys prior or the reference priors, involves serious difficulties here because this model is a nonlinear non-normal regression model, and the constrained parameters appear in the log-likelihood function through the Gamma function. This paper proposes an objective method to obtain the prior distribution, which can be applied to other models with similar complexity, can be easily implemented in OpenBUGS, and solves the problem of unacceptable predictions. The model is generalized to a larger class of models. The methodology was applied to real data with three models that were compared using the Deviance Information Criterion and the root mean square prediction error. A simulation study was performed to evaluate the coverage of the credible intervals.


title: A Diffractive Neural Network with Weight-Noise-Injection Training

abstract: We propose a diffractive neural network with strong robustness based on Weight Noise Injection training, which achieves accurate and fast optical-based classification while diffraction layers have a certain amount of surface shape error. To the best of our knowledge, it is the first time that using injection weight noise during training to reduce the impact of external interference on deep learning inference results. In the proposed method, the diffractive neural network learns the mapping between the input image and the label in Weight Noise Injection mode, making the network's weight insensitive to modest changes, which improve the network's noise resistance at a lower cost. By comparing the accuracy of the network under different noise, it is verified that the proposed network (SRNN) still maintains a higher accuracy under serious noise.


title: Properties of brightest group galaxies in cosmic web filaments

abstract: Context. The cosmic web, a complex network of galaxy groups and clusters connected by filaments, is a dynamical environment in which galaxies form and evolve. However, the impact of cosmic filaments on the properties of galaxies is difficult to study because of the much more influential local (galaxy-group scale) environment. Aims. The aim of this paper is to investigate the dependence of intrinsic galaxy properties on distance to the nearest cosmic web filament, using a sample of galaxies for which the local environment is easily assessable.} Methods. Our study is based on a volume-limited galaxy sample with $M_\mathrm{r}$ $\leq -19$ mag, drawn from the SDSS DR12. We chose brightest group galaxies (BGGs) in groups with two to six members as our probes of the impact of filamentary environment because their local environment can be determined more accurately. We use the Bisous marked point process method to detect cosmic-web filaments with radii of $0.5-1.0$ Mpc and measure the perpendicular filament spine distance ($D_{\mathrm{fil}}$) for the BGGs. We limit our study to $D_{\mathrm{fil}}$ values up to 4 Mpc. We use the luminosity density field as a tracer of the local environment. To achieve uniformity of the sample and to reduce potential biases we only consider filaments longer than 5 Mpc. Our final sample contains 1427 BGGs. Results. We note slight deviations between the galaxy populations inside and outside the filament radius in terms of stellar mass, colour, the 4000AA break, specific star formation rates, and morphologies. However, all these differences remain below 95% confidence and are negligible compared to the effects arising from local environment density. Conclusions. Within a 4 Mpc radius of the filament axes, the effect of filaments on BGGs is marginal. The local environment is the main factor in determining BGG properties.


title: Forecasting the transmission of Covid-19 in India using a data driven SEIRD model

abstract: The infections and fatalities due to SARS-CoV-2 virus for cases specific to India have been studied using a deterministic susceptible-exposed-infected-recovered-dead (SEIRD) compartmental model. One of the most significant epidemiological parameter, namely the effective reproduction number of the infection is extracted from the daily growth rate data of reported infections and it is included in the model with a time variation. We evaluate the effect of control interventions implemented till now and estimate the case numbers for infections and deaths averted by these restrictive measures. We further provide a forecast on the extent of the future Covid-19 transmission in India and predict the probable numbers of infections and fatalities under various potential scenarios.


title: Mirror symmetry for quasi-smooth Calabi-Yau hypersurfaces in weighted projective spaces

abstract: We consider a $d$-dimensional well-formed weighted projective space $\mathbb{P}(\overline{w})$ as a toric variety associated with a fan $\Sigma(\overline{w})$ in $N_{\overline{w}} \otimes \mathbb{N}$ whose $1$-dimensional cones are spanned by primitive vectors $v_0, v_1, \ldots, v_d \in N_{\overline{w}}$ generating a lattice $N_{\overline{w}}$ and satisfying the linear relation $\sum_i w_i v_i =0$. For any fixed dimension $d$, there exist only finitely many weight vectors $\overline{w} = (w_0, \ldots, w_d)$ such that $\mathbb{P}(\overline{w})$ contains a quasi-smooth Calabi-Yau hypersurface $X_w$ defined by a transverse weighted homogeneous polynomial $W$ of degree $w = \sum_{i=0}^d w_i$. Using a formula of Vafa for the orbifold Euler number $\chi_{\rm orb}(X_w)$, we show that for any quasi-smooth Calabi-Yau hypersurface $X_w$ the number $(-1)^{d-1}\chi_{\rm orb}(X_w)$ equals the stringy Euler number $\chi_{\rm str}(X_{\overline{w}}^*)$ of Calabi-Yau compactifications $X_{\overline{w}}^*$ of affine toric hypersurfaces $Z_{\overline{w}}$ defined by non-degenerate Laurent polynomials $f_{\overline{w}} \in \mathbb{C}[N_{\overline{w}}]$ with Newton polytope $\text{conv}(\{v_0, \ldots, v_d\})$. In the moduli space of Laurent polynomials $f_{\overline{w}}$ there always exists a special point $f_{\overline{w}}^0$ defining a mirror $X_{\overline{w}}^*$ with a $\mathbb{Z}/w\mathbb{Z}$-symmetry group such that $X_{\overline{w}}^*$ is birational to a quotient of a Fermat hypersurface via a Shioda map.


title: Differentiable Neural Input Search for Recommender Systems

abstract: Latent factor models are the driving forces of the state-of-the-art recommender systems, with an important insight of vectorizing raw input features into dense embeddings. The dimensions of different feature embeddings are often set to a same value empirically, which limits the predictive performance of latent factor models. Existing works have proposed heuristic or reinforcement learning-based methods to search for mixed feature embedding dimensions. For efficiency concern, these methods typically choose embedding dimensions from a restricted set of candidate dimensions. However, this restriction will hurt the flexibility of dimension selection, leading to suboptimal performance of search results. In this paper, we propose Differentiable Neural Input Search (DNIS), a method that searches for mixed feature embedding dimensions in a more flexible space through continuous relaxation and differentiable optimization. The key idea is to introduce a soft selection layer that controls the significance of each embedding dimension, and optimize this layer according to model's validation performance. DNIS is model-agnostic and thus can be seamlessly incorporated with existing latent factor models for recommendation. We conduct experiments with various architectures of latent factor models on three public real-world datasets for rating prediction, Click-Through-Rate (CTR) prediction, and top-k item recommendation. The results demonstrate that our method achieves the best predictive performance compared with existing neural input search approaches with fewer embedding parameters and less time cost.


title: Disorder-Protected Quantum State Transmission through Helical Coupled-Resonator Waveguides

abstract: We predict the preservation of temporal indistinguishability of photons propagating through helical coupled-resonator optical waveguides (H-CROWs). H-CROWs exhibit a pseudospin-momentum locked dispersion, which we show suppresses onsite disorder-induced backscattering and group velocity fluctuations. We simulate numerically the propagation of two-photon wavepackets, demonstrating that they exhibit almost perfect Hong-Ou-Mandel dip visibility and then can preserve their quantum coherence even in the presence of moderate disorder, in contrast to regular CROWs which are highly sensitive to disorder. As indistinguishability is the most fundamental resource of quantum information processing, H-CROWs may find applications for the implementation of robust optical links and delay lines in the emerging quantum photonic communication and computational platforms.


title: The Covid-19 pandemic's effects on poor rural dwellers in sub-Saharan Africa: A case study of access to basic clean water, sanitary systems and hand-washing facilities

abstract: The fear of the invisible but prevalent Coronavirus (COVID-19), disease cannot be overemphasized since there is the potential possibility of it wiping out the entire world population within a few months if adequate and quick steps are not taken to curb this menace, and the sub-Saharan African (SSAn) region is no exception. It is evident that water, as an essential daily commodity, has long been in a state of emergency in SSAn nations, which is largely attributed to decades of neglect by the successive governments, because it has not been possible to separate the existing bond between water, health, livelihood and the economy. The laudable Millennium Development Goals (MDGs) proposed by the United Nations had yet to achieve the stated objective of improving the standards of living and health conditions of the rural communities in the SSAn region before the COVID-19 pandemic outbreak. This failure has been masked by a sort of delusion in which the people of this region are subjected to the hardship of searching for clean and healthy water in their own ponds, rivers, streams and shallow hand-dug local wells on a continuous basis. Less than 17% of the rural population in all the SSAn communities can access basic hand-washing facilities and sanitation systems. The total water productivity, as measured by the Gross Domestic Product (GDP) per cubic meter of total freshwater withdrawn, for the people was less than 5 GDP.


title: A non-causal FFTNet architecture for speech enhancement

abstract: In this paper, we suggest a new parallel, non-causal and shallow waveform domain architecture for speech enhancement based on FFTNet, a neural network for generating high quality audio waveform. In contrast to other waveform based approaches like WaveNet, FFTNet uses an initial wide dilation pattern. Such an architecture better represents the long term correlated structure of speech in the time domain, where noise is usually highly non-correlated, and therefore it is suitable for waveform domain based speech enhancement. To further strengthen this feature of FFTNet, we suggest a non-causal FFTNet architecture, where the present sample in each layer is estimated from the past and future samples of the previous layer. By suggesting a shallow network and applying non-causality within certain limits, the suggested FFTNet for speech enhancement (SE-FFTNet) uses much fewer parameters compared to other neural network based approaches for speech enhancement like WaveNet and SEGAN. Specifically, the suggested network has considerably reduced model parameters: 32% fewer compared to WaveNet and 87% fewer compared to SEGAN. Finally, based on subjective and objective metrics, SE-FFTNet outperforms WaveNet in terms of enhanced signal quality, while it provides equally good performance as SEGAN. A Tensorflow implementation of the architecture is provided at 1 .


title: Constructions of $d$-spheres from $(d-1)$-spheres and $d$-balls with same set of vertices

abstract: Given a combinatorial $(d-1)$-sphere $S$, to construct a combinatorial $d$-sphere $S^{\hspace{.2mm}\prime}$ containing $S$, one usually needs some more vertices. Here we consider the question whether we can do one such construction without the help of any additional vertices. We show that this question has affirmative answer when $S$ is a flag sphere, a stacked sphere or a join of spheres. We also consider the question whether we can construct an $n$-vertex combinatorial $d$-sphere containing a given $n$-vertex combinatorial $d$-ball.


title: A Comparison of Self-Play Algorithms Under a Generalized Framework

abstract: Throughout scientific history, overarching theoretical frameworks have allowed researchers to grow beyond personal intuitions and culturally biased theories. They allow to verify and replicate existing findings, and to link is connected results. The notion of self-play, albeit often cited in multiagent Reinforcement Learning, has never been grounded in a formal model. We present a formalized framework, with clearly defined assumptions, which encapsulates the meaning of self-play as abstracted from various existing self-play algorithms. This framework is framed as an approximation to a theoretical solution concept for multiagent training. On a simple environment, we qualitatively measure how well a subset of the captured self-play methods approximate this solution when paired with the famous PPO algorithm. We also provide insights on interpreting quantitative metrics of performance for self-play training. Our results indicate that, throughout training, various self-play definitions exhibit cyclic policy evolutions.


title: Accelerated Search for Non-Negative Greedy Sparse Decomposition via Dimensionality Reduction

abstract: Non-negative signals form an important class of sparse signals. Many algorithms have already beenproposed to recover such non-negative representations, where greedy and convex relaxed algorithms are among the most popular methods. One fast implementation is the FNNOMP algorithm that updates the non-negative coefficients in an iterative manner. Even though FNNOMP is a good approach when working on libraries of small size, the operational time of the algorithm grows significantly when the size of the library is large. This is mainly due to the selection step of the algorithm that relies on matrix vector multiplications. We here introduce the Embedded Nearest Neighbor (E-NN) algorithm which accelerates the search over large datasets while it is guaranteed to find the most correlated atoms. We then replace the selection step of FNNOMP by E-NN. Furthermore we introduce the Update Nearest Neighbor (U-NN) at the look up table of FNNOMP in order to assure the non-negativity criteria of FNNOMP. The results indicate that the proposed methodology can accelerate FNNOMP with a factor 4 on a real dataset of Raman Spectra and with a factor of 22 on a synthetic dataset.


title: Deep hierarchical pooling design for cross-granularity action recognition

abstract: In this paper, we introduce a novel hierarchical aggregation design that captures different levels of temporal granularity in action recognition. Our design principle is coarse-to-fine and achieved using a tree-structured network; as we traverse this network top-down, pooling operations are getting less invariant but timely more resolute and well localized. Learning the combination of operations in this network -- which best fits a given ground-truth -- is obtained by solving a constrained minimization problem whose solution corresponds to the distribution of weights that capture the contribution of each level (and thereby temporal granularity) in the global hierarchical pooling process. Besides being principled and well grounded, the proposed hierarchical pooling is also video-length agnostic and resilient to misalignments in actions. Extensive experiments conducted on the challenging UCF-101 database corroborate these statements.


title: Vacuum gauge from ultrathin MoS2 transistor

abstract: We fabricate monolayer MoS2 field effect transistors and study their electric characteristics from 10^-6 Torr to atmospheric air pressure. We show that the threshold voltage of the transistor increases with the growing pressure. Hence, we propose the device as an air pressure sensor, showing that it is particularly suitable as a low power consumption vacuum gauge. The device functions on pressure-dependent O2, N2 and H2O molecule adsorption that affect the n-doping of the MoS2 channel.


title: Flexoelectric fluid membrane vesicles in spherical confinement

abstract: The morphology of spherically confined flexoelectric fluid membrane vesicles in an external uniform electric field is studied numerically. Due to the deformations induced by the confinement, the membrane becomes polarized resulting in an interaction with the external field. The equilibrium shapes of the vesicle without electric field can be classified in a geometrical phase diagram as a function of scaled area and reduced volume [1,2]. When the area of the membrane is only slightly larger than the area of the confining sphere, a single axisymmetric invagination appears. A non-vanishing electric field induces an additional elongation of the confined vesicle which is either perpendicular or parallel depending on the sign of the electric field parameter. Higher values of the surface area or the electric field parameter can reduce the symmetry of the system leading to more complex folding. We present the resulting shapes and show that transition lines are shifted in the presence of an electric field. The obtained folding patterns could be of interest for biophysical and technological applications alike.


title: Glassy dynamics from generalized mode-coupling theory: existence and uniqueness of solutions for hierarchically coupled integro-differential equations

abstract: Generalized mode-coupling theory (GMCT) is a first-principles-based and systematically correctable framework to predict the complex relaxation dynamics of glass-forming materials. The formal theory amounts to a hierarchy of infinitely many coupled integro-differential equations, which may be approximated using a suitable finite-order closure relation. Although previous studies have suggested that finite-order GMCT leads to well-defined solutions, and that the hierarchy converges as the closure level increases, no rigorous and general result in this direction is known. Here we unambiguously establish the existence and uniqueness of solutions to generic, schematic GMCT hierarchies that are closed at arbitrary order. We consider two types of commonly invoked closure approximations, namely mean-field and exponential closures. We also distinguish explicitly between overdamped and underdamped glassy dynamics, corresponding to hierarchies of first-order and second-order integro-differential equations, respectively. We find that truncated GMCT hierarchies closed under an exponential closure conform to previously developed mathematical theories, such that the existence of a unique solution can be readily inferred. Self-consistent mean-field closures, however, of which the well-known standard-MCT closure approximation is a special case, warrant additional arguments for mathematical rigour. We demonstrate that the existence of a priori bounds on the solution is sufficient to also prove that unique solutions exist for such self-consistent hierarchies. To complete our analysis, we present simple arguments to show that these a priori bounds must exist, motivated by the physical interpretation of the GMCT solutions as density correlation functions. Overall, our work contributes to the theoretical justification of GMCT for studies of the glass transition, placing GMCT on a firmer mathematical footing.


title: Remarks on the tangent function from an analytic and probability point of view

abstract: We show that a function $\tan(1/it)$ is a Pick function (free-infinitely divisible transform) and indicate its connections with a probability. Moreover, we found its "counterpart" in classical infinitely divisible measures expressed as series of Rademacher variables.


title: Anisotropic physical properties and large critical current density in KCa${_2}$Fe${_4}$As${_4}$F${_2}$ single crystal

abstract: We present a systematic study of electrical resistivity, Hall coefficient, magneto-optical imaging, magnetization, and STEM analyses of KCa${_2}$Fe${_4}$As${_4}$F${_2}$ single crystals. Sharp diamagnetic transition and magneto-optical imaging reveal homogeneity of single crystal and prominent Bean-like penetrations of vortices. Large anisotropy of electrical resistivity, with ${\rho _c / \rho _{ab}}$ > 100, and semiconductor-like ${\rho _c}$ suggest that the electronic state is quasi two-dimensional. Hall effect measurements indicate that KCa${_2}$Fe${_4}$As${_4}$F${_2}$ is a multiband system with holes as main carriers. Magnetization measurements reveal significantly larger J$_c$ compared with that in other iron-based superconductors with different values of J$_c$ depending on the direction of magnetic field. Origin of these J$_c$ characteristics is discussed based on microstructural observations using STEM. In addition, further enhancement of J$_c$ in KCa${_2}$Fe${_4}$As${_4}$F${_2}$ for future application is demonstrated in terms of heavy-ion irradiation.


title: Expansion of Hot Plasma into Cold Plasma

abstract: The X-ray emission of coronal flare sources can be explained considering the kappa electron distribution. Motivated by this fact, we study the problem of how hot plasma with the kappa distribution of electrons is confined in these sources. For comparison, we analyze the same problem but with the Maxwellian distribution. We use a 3-D particle-in-cell code, which is large in one direction and thus effectively only one-dimensional, but describing all electromagnetic effects. In the case with the Maxwellian distribution, and in agreement with the previous studies, we show a formation of the double layer at the hot-cold transition region that suppresses the flux of hot electrons from hot plasma into the cold one. In the case with the kappa distribution, contrary to the Maxwellian case, we found that there are several fronts with the double layers in the hot-cold transition region. It is caused by a more extended tail in the kappa case than in the Maxwellian one. The electrons from the extended tail freely escape from the hot plasma into a cold one. They form a beam which generates the return current and also Langmuir turbulence, where at some locations Langmuir waves are accumulated. At these locations owing to the ponderomotive force, Langmuir waves generate density depressions, where the double layers with the thermal fronts, suppressing the hot electron flux, are formed. We also show how protons are accelerated in these processes. Finally, we compared the kappa and Maxwellian cases and discussed how these processes could be observed.


title: Assessing the Impact of COVID-19 on the Objective and Analysis of Oncology Clinical Trials -- Application of the Estimand Framework

abstract: COVID-19 outbreak has rapidly evolved into a global pandemic. The impact of COVID-19 on patient journeys in oncology represents a new risk to interpretation of trial results and its broad applicability for future clinical practice. We identify key intercurrent events that may occur due to COVID-19 in oncology clinical trials with a focus on time-to-event endpoints and discuss considerations pertaining to the other estimand attributes introduced in the ICH E9 addendum. We propose strategies to handle COVID-19 related intercurrent events, depending on their relationship with malignancy and treatment and the interpretability of data after them. We argue that the clinical trial objective from a world without COVID-19 pandemic remains valid. The estimand framework provides a common language to discuss the impact of COVID-19 in a structured and transparent manner. This demonstrates that the applicability of the framework may even go beyond what it was initially intended for.


title: The monoid of monotone injective partial selfmaps of the poset $(\mathbb{N}^{3},\leqslant)$ with cofinite domains and images

abstract: Let $n$ be a positive integer $\geqslant 2$ and $\mathbb{N}^n_{\leqslant}$ be the $n$-th power of positive integers with the product order of the usual order on $\mathbb{N}$. In the paper we study the semigroup of injective partial monotone selfmaps of $\mathbb{N}^n_{\leqslant}$ with cofinite domains and images. We show that the group of units $H(\mathbb{I})$ of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$ is isomorphic to the group $\mathscr{S}_n$ of permutations of an $n$-element set, and describe the subsemigroup of idempotents of $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^n_{\leqslant})$. Also in the case $n=3$ we describe the property of elements of the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$ as partial bijections of the poset $\mathbb{N}^3_{\leqslant}$ and Green's relations on the semigroup $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$. In particular we show that $\mathscr{D}=\mathscr{J}$ in $\mathscr{P\!O}\!_{\infty}(\mathbb{N}^3_{\leqslant})$.


title: Dimensional Reduction of Dynamical Systems by Machine Learning: Automatic Generation of the Optimum Extensive Variables and Their Time-Evolution Map

abstract: A framework is proposed to generate a phenomenological model that extracts the essence of a dynamical system (DS) with large degrees of freedom using machine learning. For a given microscopic DS, the optimum transformation to a small number of macroscopic variables, which is expected to be extensive, and the rule of time evolution that the variables obey are simultaneously identified. The utility of this method is demonstrated through its application to the nonequilibrium relaxation of the three-state Potts model.


title: Conditional quantum operation of two exchange-coupled single-donor spin qubits in a MOS-compatible silicon device

abstract: Silicon nanoelectronic devices can host single-qubit quantum logic operations with fidelity better than 99.9%. For the spins of an electron bound to a single donor atom, introduced in the silicon by ion implantation, the quantum information can be stored for nearly 1 second. However, manufacturing a scalable quantum processor with this method is considered challenging, because of the exponential sensitivity of the exchange interaction that mediates the coupling between the qubits. Here we demonstrate the conditional, coherent control of an electron spin qubit in an exchange-coupled pair of $^{31}$P donors implanted in silicon. The coupling strength, $J = 32.06 \pm 0.06$ MHz, is measured spectroscopically with unprecedented precision. Since the coupling is weaker than the electron-nuclear hyperfine coupling $A \approx 90$ MHz which detunes the two electrons, a native two-qubit Controlled-Rotation gate can be obtained via a simple electron spin resonance pulse. This scheme is insensitive to the precise value of $J$, which makes it suitable for the scale-up of donor-based quantum computers in silicon that exploit the Metal-Oxide-Semiconductor fabrication protocols commonly used in the classical electronics industry.


title: Hot Corinos Chemical Diversity: Myth or Reality?

abstract: After almost 20 years of hunting, only about a dozen hot corinos, hot regions enriched in interstellar complex organic molecules (iCOMs), are known. Of them, many are binary systems with the two components showing drastically different molecular spectra. Two obvious questions arise. Why are hot corinos so difficult to find and why do their binary components seem chemically different? The answer to both questions could be a high dust opacity that would hide the molecular lines. To test this hypothesis, we observed methanol lines at centimeter wavelengths, where dust opacity is negligible, using the Very Large Array interferometer. We targeted the NGC 1333 IRAS 4A binary system, for which one of the two components, 4A1, has a spectrum deprived of iCOMs lines when observed at millimeter wavelengths, while the other component, 4A2, is very rich in iCOMs. We found that centimeter methanol lines are similarly bright toward 4A1 and 4A2. Their non-LTE analysis indicates gas density and temperature ($\geq2\times10^6$ cm$^{-3}$ and 100--190 K), methanol column density ($\sim10^{19}$ cm$^{-2}$) and extent ($\sim$35 au in radius) similar in 4A1 and 4A2, proving that both are hot corinos. Furthermore, the comparison with previous methanol line millimeter observations allows us to estimate the optical depth of the dust in front of 4A1 and 4A2, respectively. The obtained values explain the absence of iCOMs line emission toward 4A1 at millimeter wavelengths and indicate that the abundances toward 4A2 are underestimated by $\sim$30\%. Therefore, centimeter observations are crucial for the correct study of hot corinos, their census, and their molecular abundances.


title: Classifying maps into uniform tracial sequence algebras

abstract: We classify $^*$-homomorphisms from nuclear $C^*$-algebras into uniform tracial sequence algebras of nuclear $\mathcal Z$-stable $C^*$-algebras via tracial data.


title: Are non-vacuum states much relevant for retrieving shock wave memory of spacetime?

abstract: Shock wave gives back reaction to spacetime and the information is stored in the memory of background. Quantum memory effect of localised shock wave on Minkowski metric is investigated here. We find that the Wightman function for massless scalar field, on both sides of the wave location, turns out to be the same for usual Minkowski spacetime. Therefore the observables obtained from this, for any kind of observer, do not show the signature of the shock. Moreover, the vacuum states of field on both sides are equivalent. On the contrary, the correlator for the non-vacuum state does memorise the classical shock wave and hence the effect of it is visible in the observables, even for any frame. We argue that rather than vacuum state, the non-vacuum ones are relevant to retrieve the quantum information of classical memory.


title: Blockchain Consensus and Integrity: Similarities and Learnings from Ancient Literature

abstract: In this paper, we have studied how the text of an ancient literature on how their integrity has been preserved for several centuries. Specifically, The Vedas is an ancient literature, which has its text remained preserved without any corruption for thousands of years. As we studied the system that protects the integrity of the text, pronunciation and semantics of the The Vedas, we discovered a number of similarities it has with the current concept of blockchain technology. It is surprising that the notion of de-centralized trust and mathematical encodings have existed since thousands of years in order to protect this work of literature. We have presented our findings and analysis of the similarities. There are also certain technical mechanisms that The Vedic integrity system uses, which can be used to enhance the current digital blockchain platforms in terms of its security and robustness.


title: Loewner's theorem for maps on operator domains

abstract: The classical Loewner's theorem states that operator monotone functions on real intervals are described by holomorphic functions on the upper half-plane. We characterize local order isomorphisms on operator domains by biholomorphic automorphisms of the generalized upper half-plane, which is the collection of all operators with positive invertible imaginary part. We describe such maps in an explicit manner, and examine properties of maximal local order isomorphisms. Moreover, in the finite-dimensional case, we prove that every order embedding of a matrix domain is a homeomorphic order isomorphism onto another matrix domain.


title: Action Recognition with Deep Multiple Aggregation Networks

abstract: Most of the current action recognition algorithms are based on deep networks which stack multiple convolutional, pooling and fully connected layers. While convolutional and fully connected operations have been widely studied in the literature, the design of pooling operations that handle action recognition, with different sources of temporal granularity in action categories, has comparatively received less attention, and existing solutions rely mainly on max or averaging operations. The latter are clearly powerless to fully exhibit the actual temporal granularity of action categories and thereby constitute a bottleneck in classification performances. In this paper, we introduce a novel hierarchical pooling design that captures different levels of temporal granularity in action recognition. Our design principle is coarse-to-fine and achieved using a tree-structured network; as we traverse this network top-down, pooling operations are getting less invariant but timely more resolute and well localized. Learning the combination of operations in this network -- which best fits a given ground-truth -- is obtained by solving a constrained minimization problem whose solution corresponds to the distribution of weights that capture the contribution of each level (and thereby temporal granularity) in the global hierarchical pooling process. Besides being principled and well grounded, the proposed hierarchical pooling is also video-length and resolution agnostic. Extensive experiments conducted on the challenging UCF-101, HMDB-51 and JHMDB-21 databases corroborate all these statements.


title: Weighted sums of generalized polygonal numbers with coefficients 1 or 2

abstract: In this article, we consider weighted sums of generalized polygonal numbers with coefficients $1$ or $2$. We show that for any $m\ge10$, those weighted sums of generalized $m$-gonal numbers represent every non-negative integers if they only represent $1$, $m-4$, and $m-2$. Furthermore, we study representations of sums of four generalized polygonal numbers with coefficients $1$ or $2$.


title: Orbital angular momentum interference of trapped matter waves

abstract: We introduce a matter wave interference scheme based on the quantization of orbital angular momentum in a ring trap. It operates without beam splitters, is sensitive to geometric phases induced by external gauge fields, and allows measuring interatomic scattering lengths. We argue that orbital angular momentum interferometry offers a versatile platform for quantum coherent experiments with cold atoms and Bose-Einstein condensates using state-of-the-art technology.


title: Speedy Performance Estimation for Neural Architecture Search

abstract: Reliable yet efficient evaluation of generalisation performance of a proposed architecture is crucial to the success of neural architecture search (NAS). Traditional approaches face a variety of limitations: training each architecture to completion is prohibitively expensive, early stopped validation accuracy may correlate poorly with fully trained performance, and model-based estimators require large training sets. We instead propose to estimate the final test performance based on a simple measure of training speed. Our estimator is theoretically motivated by the connection between generalisation and training speed, and is also inspired by the reformulation of a PAC-Bayes bound under the Bayesian setting. Our model-free estimator is simple, efficient, and cheap to implement, and does not require hyperparameter-tuning or surrogate training before deployment. We demonstrate on various NAS search spaces that our estimator consistently outperforms other alternatives in achieving better correlation with the true test performance rankings. We further show that our estimator can be easily incorporated into both query-based and one-shot NAS methods to improve the speed or quality of the search.


title: Testing two-component models on very-high-energy gamma-ray emitting BL Lac objects

abstract: Context. It has become evident that one-zone synchrotron self-Compton models are not always adequate for very-high-energy (VHE) gamma-ray emitting blazars. While two-component models are performing better, they are difficult to constrain due to the large number of free parameters. Aims. In this work, we make a first attempt to take into account the observational constraints from Very Long Baseline Interferometry (VLBI) data, long-term light curves (radio, optical, and X-rays) and optical polarisation to limit the parameter space for a two-component model and test if it can still reproduce the observed spectral energy distribution (SED) of the blazars. Methods. We selected five TeV BL Lac objects based on the availability of VHE gamma-ray and optical polarisation data. We collected constraints for the jet parameters from VLBI observations. We evaluated the contributions of the two components to the optical flux by means of decomposition of long-term radio and optical light curves as well as modeling of the optical polarisation variability of the objects. We selected eight epochs for these five objects, based on the variability observed at VHE gamma rays, for which we constructed the SEDs that we then modeled with a two-component model. Results. We found parameter sets which can reproduce the broadband SED of the sources in the framework of two-component models considering all available observational constraints from VLBI observations. Moreover, the constraints obtained from the long-term behavior of the sources in the lower energy bands could be used to determine the region where the emission in each band originates. Finally, we attempted to use optical polarisation data to shed new light on the behavior of the two components in the optical band. Our observationally constrained two zone model allows explanation of the entire SED from radio to VHE with two co-located emission regions.


title: Weakly adhesive suspension shows rate-dependence in oscillatory but not steady shear flows

abstract: We report rheological measurements of a noncolloidal particle suspension in a Newtonian solvent at 40% solid volume fraction. An anomalous, frequency-dependent complex viscosity is found under oscillatory shear (OS) flow, whereas a constant dynamic viscosity is found under the same shear rates in steady shear (SS) flow. We show that this contradiction arises from the underlying microstructural difference between OS and SS, mediated by weak interparticle forces. Discrete element simulations of proxy particle suspensions confirm this hypothesis and reveal an adhesion-induced, shear thinning mechanism with a -1/5 slope, only in OS, in agreement with experiments.


title: Limits of funneling efficiency in non-uniformly strained 2D semiconductors

abstract: Photoexcited electron-hole pairs (excitons) in transition metal dichalcogenides (TMDC) experience an effective force when these materials are non-uniformly strained. In the case of strain produced by a sharp tip pressing at the center of a suspended TMDC membrane, the excitons are transported to the point of the highest strain at the center of the membrane. This effect, exciton funneling, can be used to increase photoconversion efficiency in TMDC, to explore exciton transport, and to study correlated states of excitons arising at their high densities. Here, we analyze the limits of funneling efficiency in realistic device geometries. The funneling efficiency in realistic monolayer TMDCs is found to be low, $ <5 \;\%$ both at room and low temperatures. This results from dominant diffusion at room temperature and short exciton lifetimes at low temperatures. On the other hand, in TMDC heterostructures with long exciton lifetimes the funneling efficiency reaches $\sim 50\;\%$ at room temperature, as the exciton density reaches thermal equilibrium in the funnel. Finally, we show that Auger recombination limits funneling efficiency for intense illumination sources.


title: Non-linear Breit-Wheeler process with linearly polarized beams

abstract: We study the non-linear Breit-Wheeler process $\vec \gamma' + \vec L \to e^+ + e^-$ in the interaction of linearly polarized probe photons ($\vec \gamma'$) with a linearly polarized laser beam ($\vec L$). In particular, we consider the asymmetry of the total cross section and the azimuthal electron distributions when the polarizations of the photon and laser beams in the initial state are mutually perpendicular or parallel. Considering intense laser beams and the strong field asymptotic we explore essentially the multi-photon dynamics. The asymmetry exhibits some non-monotonic behavior depending on initial kinematic conditions; it depends sensitively on the laser pulse duration. Our results provide additional knowledge for studying non-linear multi-photon effects in quantum electrodynamics and may be used in planning experiments in upcoming laser facilities.


title: Learning under Invariable Bayesian Safety

abstract: A recent body of work addresses safety constraints in explore-and-exploit systems. Such constraints arise where, for example, exploration is carried out by individuals whose welfare should be balanced with overall welfare. In this paper, we adopt a model inspired by recent work on a bandit-like setting for recommendations. We contribute to this line of literature by introducing a safety constraint that should be respected in every round and determines that the expected value in each round is above a given threshold. Due to our modeling, the safe explore-and-exploit policy deserves careful planning, or otherwise, it will lead to sub-optimal welfare. We devise an asymptotically optimal algorithm for the setting and analyze its instance-dependent convergence rate.


title: Collective Photon Assisted Dressing of Atomic Levels by the number $N$ of Correlated Atoms

abstract: Enhancement of the sensitivities of optical magnetometers, atomic clocks and atom interferometers and other quantum metrology devices requires introducing new physical processes to improve on their present achievements. Many body collective correlations among the atoms, spins or, in general, quantum systems may prove to be a suitable method. As these correlations introduce interference terms in the intensity of the scattering amplitudes, they may enhance the signal as $N(N-1)$ for N correlated quantum systems. These correlations enhance the signal to noise ratio by a factor of $N^2$ and contribute to better sensitivity in quantum metrology. Moreover atomic correlation may provide quantum noise limit, Heisenberg limit. In the present communication excitation exchange induced by photons in a cavity between two atoms is calculated and clearly exhibits correlation and collective effects. A novel operator is introduced that expresses photon-induced excitation exchange that takes in account energy conservation, $V_{ij}=\hat{a}^\dag\sigma_i\sigma_j^\dag\hat{a}$, $\sigma_i=\left|g\right\rangle_{i}\left\langle e\right|_{i}$ is lowering operator of $i$-th atom, and $\hat{a}^\dag,\hat{a}$ are photon creation and annihilation operators. Here $i$ and $j$ stand for two atoms. This operator describes real or virtual photon assisted dipole-dipole interaction. Moreover, it conserves the total number of excitations in the joint em field and the quantum system. Experimental challenges are suggested.


title: Cointegration and unit root tests: A fully Bayesian approach

abstract: To perform statistical inference for time series, one should be able to assess if they present deterministic or stochastic trends. For univariate analysis one way to detect stochastic trends is to test if the series has unit roots, and for multivariate studies it is often relevant to search for stationary linear relationships between the series, or if they cointegrate. The main goal of this article is to briefly review the shortcomings of unit root and cointegration tests proposed by the Bayesian approach of statistical inference and to show how they can be overcome by the fully Bayesian significance test (FBST), a procedure designed to test sharp or precise hypothesis. We will compare its performance with the most used frequentist alternatives, namely, the Augmented Dickey-Fuller for unit roots and the maximum eigenvalue test for cointegration. Keywords: Time series; Bayesian inference; Hypothesis testing; Unit root; Cointegration.


title: On the number of $k$-compositions of $n$ satisfying certain coprimality conditions

abstract: We generalize the asymptotic estimates by Bubboloni, Luca and Spiga (2012) on the number of $k$-compositions of $n$ satisfying some coprimality conditions. We substantially refine the error term concerning the number of $k$-compositions of $n$ with pairwise relatively prime summands. We use a different approach, based on properties of multiplicative arithmetic functions of $k$ variables and on an asymptotic formula for the restricted partition function.


title: Global weak solutions to inviscid Burgers-Vlasov equations

abstract: In this paper, we consider the existence of global weak solutions to a one dimensional fluid-particles interaction model: inviscid Burgers-Vlasov equations with fluid velocity in $L^\infty$ and particles' probability density in $L^1$. Our weak solution is also an entropy solution to inviscid Burgers' equation. The approach is adding ingeniously artificial viscosity to construct approximate solutions satisfying $L^\infty$ compensated compactness framework and weak $L^1$ compactness framework. It is worthy to be pointed out that the bounds of fluid velocity and the kinetic energy of particles' probability density are both independent of time.


title: Vanishing viscosity limit for viscous Burgers-Vlasov equations

abstract: We establish the vanishing viscosity limit of viscous Burgers-Vlasov equations for one dimensional kinetic model about interactions between a viscous fluid and dispersed particles by using compensated compactness technique and the evolution of level sets arguments. The limit we obtained is exactly a finite-energy weak solution to the inviscid equations.


title: On the moments of the moments of $\zeta(1/2+it)$

abstract: Taking $t$ at random, uniformly from $[0,T]$, we consider the $k$th moment, with respect to $t$, of the random variable corresponding to the $2\beta$th moment of $\zeta(1/2+ix)$ over the interval $x\in(t, t+1]$, where $\zeta(s)$ is the Riemann zeta function. We call these the `moments of moments' of the Riemann zeta function, and present a conjecture for their asymptotics, when $T\to\infty$, for integer $k,\beta$. This is motivated by comparisons with results for the moments of moments of the characteristic polynomials of random unitary matrices and is shown to follow from a conjecture for the shifted moments of $\zeta(s)$ due to Conrey, Farmer, Keating, Rubinstein, and Snaith \cite{cfkrs2}. Specifically, we prove that a function which, the shifted-moment conjecture of \cite{cfkrs2} implies, is a close approximation to the moments of moments of the zeta function does satisfy the asymptotic formula that we conjecture. We motivate as well similar conjectures for the moments of moments for other families of primitive $L$-functions.


title: Tricking Adversarial Attacks To Fail

abstract: Recent adversarial defense approaches have failed. Untargeted gradient-based attacks cause classifiers to choose any wrong class. Our novel white-box defense tricks untargeted attacks into becoming attacks targeted at designated target classes. From these target classes, we can derive the real classes. Our Target Training defense tricks the minimization at the core of untargeted, gradient-based adversarial attacks: minimize the sum of (1) perturbation and (2) classifier adversarial loss. Target Training changes the classifier minimally, and trains it with additional duplicated points (at 0 distance) labeled with designated classes. These differently-labeled duplicated samples minimize both terms (1) and (2) of the minimization, steering attack convergence to samples of designated classes, from which correct classification is derived. Importantly, Target Training eliminates the need to know the attack and the overhead of generating adversarial samples of attacks that minimize perturbations. We obtain an 86.2% accuracy for CW-L2 (confidence=0) in CIFAR10, exceeding even unsecured classifier accuracy on non-adversarial samples. Target Training presents a fundamental change in adversarial defense strategy.