title: Quarkonium in a thermal BIon

abstract: In the present article, the authors intend to propose a new theory which potentially allows the propagation of the formation and the evolution of quarkonium in a thermal BIon. When quarks are close to each other, quarkonium behaves like a scalar and by their getting away, it transits to a fermionic system. In order to analyze this particular behaviour, a new outlook approach needs to be adopted as the concurrent view is found deficient to analyse the aforesaid behaviour. Therefore, the authors' post deliberation accept the fermions and fermionic being cognate. We need to accept a theory that the origin of fermions and bosons be the same. However, in $M$-theory, these particles are independent and for this reason, \textbf{we use a new broader theory based on Lie-$N$-Algebra and we call it BLNA (Broad Lie-$N$-Algebra)} theory. Thus, the BLNA in a way the $M$-theory with $11$ dimensions. In this model, two types of energies with opposite signs emerge from nothing such as the sum over them becomes zero. They produce two types of branes with opposite quantum numbers and bosonic fields, which interact with each other and get compact. By compacting branes, the quarks and anti-quarks are produced on branes and exchange the graviton and the gravitino. These particles produce two types of wormholes which act opposite to each other. They preclude from closing or getting away of branes from each other and also occurrence of confinement. This confined potential which emerges from these wormholes depends on the separation distance between quarks and anti-quarks and also on temperature of system and is reduced to predicted potential in experiments and QCD. Also, total entropy of this system grows with increasing temperature and produces a repulsive force which leads to the separation of quarks and anti-quarks and also to the emergence of deconfinement.


title: Extension of Busch's Theorem to Particle Beams

abstract: In 1926, H. Busch formulated a theorem for one single charged particle moving along a region with a longitudinal magnetic field [H. Busch, Berechnung der Bahn von Kathodenstrahlen in axial symmetrischen electromagnetischen Felde, Z. Phys. 81 (5) p. 974, (1926)]. The theorem relates particle angular momentum to the amount of field lines being enclosed by the particle cyclotron motion. This paper extends the theorem to many particles forming a beam without cylindrical symmetry. A quantity being preserved is derived, which represents the sum of difference of eigen-emittances, magnetic flux through the beam area, and beam rms-vorticity multiplied by the magnetic flux. Tracking simulations and analytical calculations using the generalized Courant-Snyder formalism confirm the validity of the extended theorem. The new theorem has been applied for fast modelling of experiments with electron and ion beams on transverse emittance re-partitioning conducted at FERMILAB and at GSI.


title: Error Estimates for Sparse Optimal Control Problems by Piecewise Linear Finite Element Approximation

abstract: Optimization problems with $L^1$-control cost functional subject to an elliptic partial differential equation (PDE) are considered. However, different from the finite dimensional $l^1$-regularization optimization, the resulting discretized $L^1$-norm does not have a decoupled form when the standard piecewise linear finite element is employed to discretize the continuous problem. A common approach to overcome this difficulty is employing a nodal quadrature formula to approximately discretize the $L^1$-norm. It is inevitable that this technique will incur an additional error. Different from the traditional approach, a duality-based approach and an accelerated block coordinate descent (ABCD) method is introduced to solve this type of problem via its dual. Based on the discretized dual problem, a new discretized scheme for the $L^1$-norm is presented. Compared new discretized scheme for $L^1$-norm with the nodal quadrature formula, the advantages of our new discretized scheme can be demonstrated in terms of the approximation order. More importantly, finite element error estimates results for the primal problem with the new discretized scheme for the $L^1$-norm are provided, which confirm that this approximation scheme will not change the order of error estimates.


title: Gelfand-Kirillov dimension of the algebra of regular functions on quantum groups

abstract: Let $G_q$ be the $q$-deformation of a simply connected simple compact Lie group $G$ of type $A$, $C$ or $D$ and $\mathcal{O}_q(G)$ be the algebra of regular functions on $G_q$. In this article, we prove that the Gelfand-Kirillov dimension of $\mathcal{O}_q(G)$ is equal to the dimension of real manifold $G$.


title: Fitting of dynamic recurrent neural network models to sensory stimulus-response data

abstract: We present a theoretical study aiming at model fitting for sensory neurons. Conventional neural network training approaches are not applicable to this problem due to lack of continuous data. Although the stimulus can be considered as a smooth time dependent variable, the associated response will be a set of neural spike timings (roughly the instants of successive action potential peaks) which have no amplitude information. A recurrent neural network model can be fitted to such a stimulus-response data pair by using maximum likelihood estimation method where the likelihood function is derived from Poisson statistics of neural spiking. The universal approximation feature of the recurrent dynamical neuron network models allow us to describe excitatory-inhibitory characteristics of an actual sensory neural network with any desired number of neurons. The stimulus data is generated by a Phased Cosine Fourier series having fixed amplitude and frequency but a randomly shot phase. Various values of amplitude, stimulus component size and sample size are applied in order to examine the effect of stimulus to the identification process. Results are presented in tabular form at the end of this text.


title: Lepton Number Violation, Lepton Flavour Violation and Baryogenesis in Left-Right Symmetric Model

abstract: We did a model independent phenomenological study of baryogenesis via leptogenesis, neutrinoless double beta decay (NDBD) and charged lepton flavour violation (CLFV) in a generic left-right symmetric model (LRSM) where neutrino mass originates from the type I + type II seesaw mechanism. We studied the new physics contributions to NDBD coming from the left-right gauge boson mixing and the heavy neutrino contribution within the framework of LRSM. We have considered the mass of the RH gauge boson to be specifically 5 TeV, 10 TeV and 18 TeV and studied the effects of the new physics contributions on the effective mass and baryogenesis and compared with the current experimental limit. We tried to correlate the cosmological BAU from resonant leptogenesis with the low energy observables, notably, NDBD and LFV with a view to finding a common parameter space where they coexists.


title: Centrally generated primitive ideals of $U(\mathfrak{n})$ in types $B$ and $D$

abstract: We study the centrally generated primitive ideals of $U(\mathfrak{n})$, where $\mathfrak{n}$ is the (locally) nilpotent radical of a (splitting) Borel subalgebra of a simple complex Lie algebra $\mathfrak{g}=\mathfrak{o}_{2n+1}(\mathbb{C})$, $\mathfrak{o}_{2n}(\mathbb{C})$, $\mathfrak{o}_{\infty}(\mathbb{C})$. In the infinite-dimensional setting, there are infinitely many isomorphism classes of Lie algebras $\mathfrak{n}$, and we fix $\mathfrak{n}$ with "largest possible" center of $U(\mathfrak{n})$. We characterize the centrally generated primitive ideals of $U(\mathfrak{n})$ in terms of the Dixmier map and the Kostant cascade.


title: Stability of two-component incommensurate fractional-order systems and applications to the investigation of a FitzHugh-Nagumo neuronal model

abstract: For two-dimensional autonomous linear incommensurate fractional-order dynamical systems with Caputo derivatives of different orders, necessary and sufficient conditions are obtained for the asymptotic stability and instability of the null solution. These conditions are expressed in terms of the elements of the system's matrix, as well as of the fractional orders of the Caputo derivatives, leading to a generalization of the well known Routh-Hurwitz conditions. These theoretical results are then used to investigate the stability properties of a two-dimensional fractional-order FitzHugh-Nagumo neuronal model. The occurrence of Hopf bifurcations is also discussed. Numerical simulations are provided with the aim of exemplifying the theoretical results, revealing rich spiking behavior, in comparison with the classical integer-order FitzHugh-Nagumo model.


title: $\tau$ mass and $R$ value measurements at BES

abstract: A comprehensive review of the measurements of $\tau$ lepton mass and $R$ values in the energy region between $2-5$ GeV, achieved at the BES experiment, is presented. In addition to the evaluation of their impact on the test of Standard Model, we also highlighted the present status and the most recent developments. In particular, we made an extensive discussion on the prospects for future improvements at the BESIII experiment.


title: Compositional Construction of Finite State Abstractions for Stochastic Control Systems

abstract: Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system. Constructing this abstraction for the entire system is computationally expensive, and does not exploit natural decompositions of many systems into interacting components. We have recently introduced a new relation, called (approximate) disturbance bisimulation for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems. In this paper, we extend the results to stochastic control systems modeled by stochastic differential equations. Given any stochastic control system satisfying a stochastic version of the incremental input-to-state stability property and a positive error bound, we show how to construct a finite-state transition system (if there exists one) which is disturbance bisimilar to the given stochastic control system. Given a network of stochastic control systems, we give conditions on the simultaneous existence of disturbance bisimilar abstractions to every component allowing for compositional abstraction of the network system.


title: Multipoint Cauchy problem for nonlinear wave equations in vector-valued spaces

abstract: In this paper, regularity properties, Strichartz type estimates to solutions of multipo{\i}nt Cauchy problem for linear and nonlinear abstract wave equations in vector-valued function spaces are obtained. The equation includes a linear operator A defined in a Hilbert space H, in which by choosing H and A we can obtain numerous classis of nonlocal initial value problems for wave equations which occur in a wide variety of physical systems.


title: 3D Modeling of the Magnetization of Superconducting Rectangular-Based Bulks and Tape Stacks

abstract: In recent years, numerical models have become popular and powerful tools to investigate the electromagnetic behavior of superconductors. One domain where this advances are most necessary is the 3D modeling of the electromagnetic behavior of superconductors. For this purpose, a benchmark problem consisting of superconducting cube subjected to an AC magnetic field perpendicular to one of its faces has been recently defined and successfully solved. In this work, a situation more relevant for applications is investigated: a superconducting parallelepiped bulk with the magnetic field parallel to two of its faces and making an angle with the other one without and with a further constraint on the possible directions of the current. The latter constraint can be used to model the magnetization of a stack of high-temperature superconductor tapes, which are electrically insulated in one direction. For the present study three different numerical approaches are used: the Minimum Electro-Magnetic Entropy Production (MEMEP) method, the $H$-formulation of Maxwell's equations and the Volume Integral Method (VIM) for 3D eddy currents computation. The results in terms of current density profiles and energy dissipation are compared, and the differences in the two situations of unconstrained and constrained current flow are pointed out. In addition, various technical issues related to the 3D modeling of superconductors are discussed and information about the computational effort required by each model is provided. This works constitutes a concrete result of the collaborative effort taking place within the HTS numerical modeling community and will hopefully serve as a stepping stone for future joint investigations.


title: Local solvability of a class of degenerate second order operators

abstract: In this paper we will first present some results about the local solvability property of a class of degenerate second order linear partial differential operators with smooth coefficients. The class under consideration (which in turn is a generalization of the Kannai operator) exhibits a degeneracy due to the interplay between the singularity associated with the characteristic set of a system of vector fields and the vanishing of a function. Afterward we will also discuss some local solvability results for two classes of degenerate second order linear partial differential operators with non-smooth coefficients which are a variation of the main class presented above.


title: Scale Adaptive Clustering of Multiple Structures

abstract: We propose the segmentation of noisy datasets into Multiple Inlier Structures with a new Robust Estimator (MISRE). The scale of each individual structure is estimated adaptively from the input data and refined by mean shift, without tuning any parameter in the process, or manually specifying thresholds for different estimation problems. Once all the data points were classified into separate structures, these structures are sorted by their densities with the strongest inlier structures coming out first. Several 2D and 3D synthetic and real examples are presented to illustrate the efficiency, robustness and the limitations of the MISRE algorithm.


title: What you lose when you snooze: how duty cycling impacts on the contact process in opportunistic networks

abstract: In opportunistic networks, putting devices in energy saving mode is crucial to preserve their battery, and hence to increase the lifetime of the network and foster user participation. A popular strategy for energy saving is duty cycling. However, when in energy saving mode, users cannot communicate with each other. The side effects of duty cycling are twofold. On the one hand, duty cycling may reduce the number of usable contacts for delivering messages, increasing intercontact times and delays. On the other hand, duty cycling may break long contacts into smaller contacts, thus also reducing the capacity of the opportunistic network. Despite the potential serious effects, the role played by duty cycling in opportunistic networks has been often neglected in the literature. In order to fill this gap, in this paper we propose a general model for deriving the pairwise contact and intercontact times measured when a duty cycling policy is superimposed on the original encounter process determined only by node mobility. The model we propose is general, i.e., not bound to a specific distribution of contact and intercontact times, and very accurate, as we show exploiting two traces of real human mobility for validation. Using this model, we derive several interesting results about the properties of measured contact and intercontact times with duty cycling: their distribution, how their coefficient of variation changes depending on the duty cycle value, how the duty cycling affects the capacity and delay of an opportunistic network. The applicability of these results is broad, ranging from performance models for opportunistic networks that factor in the duty cycling effect, to the optimisation of the duty cycle to meet a certain target performance.


title: Einstein-Maxwell-Chern-Simons Black Holes

abstract: Black holes in 5-dimensional Einstein-Maxwell-Chern-Simons (EMCS) theory and their intriguing properties are discussed. For the special case of the CS coupling constant $\lambda=\lambda_{SG}$, as obtained from supergravity, a closed form solution is known for the rotating black holes. Beyond this supergravity value, the EMCS black hole solutions can e.g. exhibit nonuniqueness and form sequences of radially excited solutions. In the presence of a negative cosmological constant the black holes can possess an extra-parameter corresponding to a magnetic flux in addition to the mass, electric charge and angular momenta. This latter family of black holes possesses also a solitonic limit. Finally, a new class of squashed EMCS black hole solutions is discussed.


title: Stackable vs Autonomous Cars for Shared Mobility Systems: a Preliminary Performance Evaluation

abstract: Car sharing is one of the key elements of a Mobility-on-Demand system, but it still suffers from several shortcomings, the most significant of which is the fleet unbalance during the day. What is typically observed in car sharing systems, in fact, is a vehicle shortage in so-called hot spots (i.e., areas with high demand) and vehicle accumulation in cold spots, due to the patterns in people flows during the day. In this work, we overview the main approaches to vehicle redistribution based on the type of vehicles the car sharing fleet is composed of, and we evaluate their performance using a realistic car sharing demand derived for a suburban area around Lyon, France. The main result of this paper is that stackable vehicles can achieve a relocation performance close to that of autonomous vehicles, significantly improving over the no-relocation approach and over traditional relocation with standard cars.


title: Numerical simulations of high-energy flows in accreting magnetic white dwarfs

abstract: Some polars show quasi-periodic oscillations (QPO) in their optical light curves which have been interpreted as the result of shock oscillations driven by the cooling instability. Although numerical simulations can recover this physics, they wrongly predict QPOs in the X-ray luminosity and have also failed to reproduce the observed frequencies, at least for the limited range of parameters explored so far. Given the uncertainties on the observed polar parameters, it is still unclear whether simulations can reproduce the observations. The aim of this work is to study QPOs covering all relevant polars showing QPOs. We perform numerical simulations including gravity, cyclotron and bremsstrahlung radiative losses, for a wide range of polar parameters, and compare our results with the astronomical data using synthetic X-ray and optical luminosities.We show that shock oscillations are the result of complex shock dynamics triggered by the interplay of two radiative instabilities. The secondary shock forms at the acoustic horizon in the post-shock region in agreement with our estimates from steady-state solutions. We also demonstrate that the secondary shock is essential to sustain the accretion shock oscillations at the average height predicted by our steady-state accretion model. Finally, in spite of the large explored parameter space, matching the observed QPO parameters requires a combination of parameters inconsistent with the observed ones. This difficulty highlights the limits of one-dimensional simulations, suggesting that multi-dimensional effects are needed to understand the non-linear dynamics of accretion columns in polars and the origins of QPOs.


title: Exponentially-Enhanced Light-Matter Interaction, Cooperativities, and Steady-State Entanglement Using Parametric Amplification

abstract: We propose an experimentally feasible method for enhancing the atom-field coupling as well as the ratio between this coupling and dissipation (i.e., cooperativity) of two atoms in an optical cavity. Our method also enables the generation of steady-state nearly-maximal quantum entanglement. Our approach exploits optical parametric amplification to exponentially enhance the atom-cavity interaction and, hence, the cooperativity of the system, with the squeezing-induced fluctuation noise being completely eliminated. Thus, an effective cooperativity much larger than $100$ can be achieved even for modest values of a squeezing parameter. We demonstrate that the entanglement infidelity (which quantifies the deviation of the generated state from a maximally-entangled state) is exponentially smaller than the lower bound on the infidelities obtained in other dissipative entanglement preparations without applying squeezing. Thus, this infidelity can be arbitrarily small. Our generic method for enhancing atom-cavity cooperativities can be implemented in a wide range of physical systems, and it can provide diverse applications for quantum information processing based on entanglement.


title: Conditional large data scattering results for the Dirac-Klein-Gordon system

abstract: We obtain conditional results on the global existence and scattering for large solutions of the Dirac-Klein-Gordon system in critical spaces in dimension $1+3$. In particular, for bounded solutions we identify a space-time Lebesgue norm controlling the global behaviour. The proof relies on refined nonlinear estimates involving the controlling norm.


title: The role of first neighbors geometry in the electronic and mechanical properties of atomic contacts

abstract: We study in detail, by experimental measurements, atomistic simulations and DFT transport calculations, the process of formation and the resulting electronic properties of atomic-sized contacts made of Au, Ag and Cu. Our novel approaches to the data analysis of both experimental results and simulations, lead to a precise relationship between geometry and electronic transmission. We reestablish the significant influence of the number of first neighbors on the electronic properties of atomic-sized contacts. Our results allow us also to interpret subtle differences between the metals during the process of contact formation as well as the characteristics of the resulting contacts.


title: Measuring night sky brightness: methods and challenges

abstract: Measuring the brightness of the night sky has become an increasingly important topic in recent years, as artificial lights and their scattering by the Earths atmosphere continue spreading around the globe. Several instruments and techniques have been developed for this task. We give an overview of these, and discuss their strengths and limitations. The different quantities that can and should be derived when measuring the night sky brightness are discussed, as well as the procedures that have been and still need to be defined in this context. We conclude that in many situations, calibrated consumer digital cameras with fisheye lenses provide the best relation between ease-of-use and wealth of obtainable information on the night sky. While they do not obtain full spectral information, they are able to sample the complete sky in a period of minutes, with colour information in three bands. This is important, as given the current global changes in lamp spectra, changes in sky radiance observed only with single band devices may lead to incorrect conclusions regarding long term changes in sky brightness. The acquisition of all-sky information is desirable, as zenith-only information does not provide an adequate characterization of a site. Nevertheless, zenith-only single-band one-channel devices such as the Sky Quality Meter continue to be a viable option for long-term studies of night sky brightness and for studies conducted from a moving platform. Accurate interpretation of such data requires some understanding of the colour composition of the sky light. We recommend supplementing long-term time series derived with such devices with periodic all-sky sampling by a calibrated camera system and calibrated luxmeters or luminance meters.


title: ANSAC: Adaptive Non-minimal Sample and Consensus

abstract: While RANSAC-based methods are robust to incorrect image correspondences (outliers), their hypothesis generators are not robust to correct image correspondences (inliers) with positional error (noise). This slows down their convergence because hypotheses drawn from a minimal set of noisy inliers can deviate significantly from the optimal model. This work addresses this problem by introducing ANSAC, a RANSAC-based estimator that accounts for noise by adaptively using more than the minimal number of correspondences required to generate a hypothesis. ANSAC estimates the inlier ratio (the fraction of correct correspondences) of several ranked subsets of candidate correspondences and generates hypotheses from them. Its hypothesis-generation mechanism prioritizes the use of subsets with high inlier ratio to generate high-quality hypotheses. ANSAC uses an early termination criterion that keeps track of the inlier ratio history and terminates when it has not changed significantly for a period of time. The experiments show that ANSAC finds good homography and fundamental matrix estimates in a few iterations, consistently outperforming state-of-the-art methods.


title: Influence of relativistic effects on the contact formation of transition metals

abstract: Our analysis of the contact formation processes undergone by Au, Ag and Cu nanojunctions, reveals that the distance at which the two closest atoms on a pair of opposing electrodes jump into contact is, on average, two times longer for Au than either Ag or Cu. This suggests the existence of a longer range interaction between those two atoms in the case of Au, a result of the significant relativistic energy contributions to the electronic structure of this metal, as confirmed by ab initio calculations. Once in the contact regime, the differences between Au, Ag and Cu are subtle, and the conductance of single-atom contacts for metals of similar chemical valence is mostly determined by geometry and coordination.


title: Infinitely divisible nonnegative matrices, $M$-matrices, and the embedding problem for finite state stationary Markov Chains

abstract: This paper explicitly details the relation between $M$-matrices, nonnegative roots of nonnegative matrices, and the embedding problem for finite-state stationary Markov chains. The set of nonsingular nonnegative matrices with arbitrary nonnegative roots is shown to be the closure of the set of matrices with matrix roots in $\mathcal{IM}$. The methods presented here employ nothing beyond basic matrix analysis, however it answers a question regarding $M$-matrices posed over 30 years ago and as an application, a new characterization of the set of all embeddable stochastic matrices is obtained as a corollary.


title: The $\tau_q$-Fourier transform: covariance and uniqueness

abstract: We propose an alternative definition for a Tsallis entropy composition-inspired Fourier transform, which we call "$\tau_q$-Fourier transform". We comment about the underlying "covariance" on the set of algebraic fields that motivates its introduction. We see that the definition of the $\tau_q$-Fourier transform is automatically invertible in the proper context. Based on recent results in Fourier analysis, it turns that the $\tau_q$-Fourier transform is essentially unique under the assumption of the exchange of the point-wise product of functions with their convolution.


title: Two-well quantum cascade laser optimization by non-equilibrium Green's function modelling

abstract: We present a two-quantum well THz intersubband laser operating up to 192 K. The structure has been optimized with a non-equilibrium Green's function model. The result of this optimization was confirmed experimentally by growing, processing and measuring a number of proposed designs. At high temperature (T>200 K), the simulations indicate that lasing fails due to a combination of electron-electron scattering, thermal backfilling, and, most importantly, re-absorption coming from broadened states.


title: Gluing and deformations of asymptotically cylindrical special Lagrangians

abstract: We study gluings of asymptotically cylindrical special Lagrangian submanifolds in asymptotically cylindrical Calabi--Yau manifolds. We prove both that there is a well-defined gluing map, and, after reviewing the deformation theory for special Lagrangians, prove that this gluing map defines a local diffeomorphism from matching pairs of deformations of asymptotically cylindrical special Lagrangians to deformations of special Lagrangians. We also give some examples of asymptotically cylindrical special Lagrangian submanifolds to which these results apply.


title: Entrywise Eigenvector Analysis of Random Matrices with Low Expected Rank

abstract: Recovering low-rank structures via eigenvector perturbation analysis is a common problem in statistical machine learning, such as in factor analysis, community detection, ranking, matrix completion, among others. While a large variety of bounds are available for average errors between empirical and population statistics of eigenvectors, few results are tight for entrywise analyses, which are critical for a number of problems such as community detection. This paper investigates entrywise behaviors of eigenvectors for a large class of random matrices whose expectations are low-rank, which helps settle the conjecture in Abbe et al. (2014b) that the spectral algorithm achieves exact recovery in the stochastic block model without any trimming or cleaning steps. The key is a first-order approximation of eigenvectors under the $\ell_\infty$ norm: $$u_k \approx \frac{A u_k^*}{\lambda_k^*},$$ where $\{u_k\}$ and $\{u_k^*\}$ are eigenvectors of a random matrix $A$ and its expectation $\mathbb{E} A$, respectively. The fact that the approximation is both tight and linear in $A$ facilitates sharp comparisons between $u_k$ and $u_k^*$. In particular, it allows for comparing the signs of $u_k$ and $u_k^*$ even if $\| u_k - u_k^*\|_{\infty}$ is large. The results are further extended to perturbations of eigenspaces, yielding new $\ell_\infty$-type bounds for synchronization ($\mathbb{Z}_2$-spiked Wigner model) and noisy matrix completion.


title: NASA's Long-Term Astrophysics Data Archives

abstract: NASA regards data handling and archiving as an integral part of space missions, and has a strong track record of serving astrophysics data to the public, beginning with the the IRAS satellite in 1983. Archives enable a major science return on the significant investment required to develop a space mission. In fact, the presence and accessibility of an archive can more than double the number of papers resulting from the data. In order for the community to be able to use the data, they have to be able to find the data (ease of access) and interpret the data (ease of use). Funding of archival research (e.g., the ADAP program) is also important not only for making scientific progress, but also for encouraging authors to deliver data products back to the archives to be used in future studies. NASA has also enabled a robust system that can be maintained over the long term, through technical innovation and careful attention to resource allocation. This article provides a brief overview of some of NASA's major astrophysics archive systems, including IRSA, MAST, HEASARC, KOA, NED, the Exoplanet Archive, and ADS.


title: Modified equations for variational integrators applied to Lagrangians linear in velocities

abstract: Variational integrators applied to degenerate Lagrangians that are linear in the velocities are two-step methods. The system of modified equations for a two-step method consists of the principal modified equation and one additional equation describing parasitic oscillations. We observe that a Lagrangian for the principal modified equation can be constructed using the same technique as in the case of non-degenerate Lagrangians. Furthermore, we construct the full system of modified equations by doubling the dimension of the discrete system in such a way that the principal modified equation of the extended system coincides with the full system of modified equations of the original system. We show that the extended discrete system is Lagrangian, which leads to a construction of a Lagrangian for the full system of modified equations.


title: On the Majorana condition for nonlinear Dirac systems

abstract: For arbitrarily large initial data in an open set defined by an approximate Majorana condition, global existence and scattering results for solutions to the Dirac equation with Soler-type nonlinearity and the Dirac-Klein-Gordon system in critical spaces in spatial dimension three are established.


title: Traffic Optimization For a Mixture of Self-interested and Compliant Agents

abstract: This paper focuses on two commonly used path assignment policies for agents traversing a congested network: self-interested routing, and system-optimum routing. In the self-interested routing policy each agent selects a path that optimizes its own utility, while the system-optimum routing agents are assigned paths with the goal of maximizing system performance. This paper considers a scenario where a centralized network manager wishes to optimize utilities over all agents, i.e., implement a system-optimum routing policy. In many real-life scenarios, however, the system manager is unable to influence the route assignment of all agents due to limited influence on route choice decisions. Motivated by such scenarios, a computationally tractable method is presented that computes the minimal amount of agents that the system manager needs to influence (compliant agents) in order to achieve system optimal performance. Moreover, this methodology can also determine whether a given set of compliant agents is sufficient to achieve system optimum and compute the optimal route assignment for the compliant agents to do so. Experimental results are presented showing that in several large-scale, realistic traffic networks optimal flow can be achieved with as low as 13% of the agent being compliant and up to 54%.


title: Identification of hedonic equilibrium and nonseparable simultaneous equations

abstract: This paper derives conditions under which preferences and technology are nonparametrically identified in hedonic equilibrium models, where products are differentiated along more than one dimension and agents are characterized by several dimensions of unobserved heterogeneity. With products differentiated along a quality index and agents characterized by scalar unobserved heterogeneity, single crossing conditions on preferences and technology provide identifying restrictions in Ekeland, Heckman and Nesheim (2004) and Heckman, Matzkin and Nesheim (2010). We develop similar shape restrictions in the multi-attribute case. These shape restrictions, which are based on optimal transport theory and generalized convexity, allow us to identify preferences for goods differentiated along multiple dimensions, from the observation of a single market. We thereby derive nonparametric identification results for nonseparable simultaneous equations and multi-attribute hedonic equilibrium models with (possibly) multiple dimensions of unobserved heterogeneity. One of our results is a proof of absolute continuity of the distribution of endogenously traded qualities, which is of independent interest.


title: Hadronic decays of $B \to a_1(1260) b_1(1235)$ in the perturbative QCD approach

abstract: We calculate the branching ratios and polarization fractions of the $B \to a_1 b_1$ decays in the perturbative QCD(pQCD) approach at leading order, where $a_1$($b_1$) stands for the axial-vector $a_1(1260)[b_1(1235)]$ state. By combining the phenomenological analyses with the perturbative calculations, we find the following results: (a) the large decay rates around $10^{-5}$ to $10^{-6}$ of the $B \to a_1 b_1$ decays dominated by the longitudinal polarization(except for the $B^+ \to b_1^+ a_1^0$ mode) are predicted and basically consistent with those in the QCD factorization(QCDF) within errors, which are expected to be tested by the Large Hadron Collider and Belle-II experiments. The large $B^0 \to a_1^0 b_1^0$ branching ratio could provide hints to help explore the mechanism of the color-suppressed decays. (b) the rather different QCD behaviors between the $a_1$ and $b_1$ mesons result in the destructive(constructive) contributions in the nonfactorizable spectator diagrams with $a_1(b_1)$ emission. Therefore, an interesting pattern of the branching ratios appears for the color-suppressed $B^0 \to a_1^0 a_1^0, a_1^0 b_1^0,$ and $b_1^0 b_1^0$ modes in the pQCD approach, $Br(B^0 \to b_1^0 b_1^0) > Br(B^0 \to a_1^0 b_1^0) \gtrsim Br(B^0 \to a_1^0 a_1^0)$, which is different from $Br(B^0 \to b_1^0 b_1^0) \sim Br(B^0 \to a_1^0 b_1^0) \gtrsim Br(B^0 \to a_1^0 a_1^0)$ in the QCDF and would be verified at future experiments. (c) the large naive factorization breaking effects are observed in these $B \to a_1 b_1$ decays. Specifically, the large nonfactorizable spectator(weak annihilation) amplitudes contribute to the $B^0 \to b_1^+ a_1^-(B^+ \to a_1^+ b_1^0\; {\rm and}\; B^+ \to b_1^+ a_1^0)$ mode(s), which demand confirmations via the precise measurements.


title: The Cluster AgeS Experiment (CASE). Variable stars in the field of the globular cluster M22

abstract: The field of the globular cluster M22 (NGC 6656) was monitored between 2000 and 2008 in a search for variable stars. $BV$ light curves were obtained for 359 periodic, likely periodic, and long-term variables, 238 of which are new detections. Thirty nine newly detected variables, and 63 previously known ones are members or likely members of the cluster, including 20 SX Phe, 10 RRab and 16 RRc-type pulsators, one BL Her-type pulsator, 21 contact binaries, and 9 detached or semi-detached eclipsing binaries. The most interesting among the identified objects are V112 - a bright multimode SX Phe pulsator, V125 - a $\beta$ Lyr-type binary on the blue horizontal branch, V129 - a blue/yellow straggler with a W UMa-like light curve, located halfway between the extreme horizontal branch and red giant branch, and V134 - an extreme horizontal branch object with $P=2.33$ d and a nearly sinusoidal light curve; all four of them are proper motion (PM) members of the cluster. Among nonmembers, a $P=2.83$ d detached eclipsing binary hosting a $\delta$ Sct-type pulsator was found, and a peculiar $P=0.93$ d binary with ellipsoidal modulation and narrow minimum in the middle of one of the descending shoulders of the sinusoid. We also collected substantial new data for previously known variables; in particular we revise the statistics of the occurrence of the Blazhko effect in RR Lyr-type variables of M22.


title: Quantum Fluctuations of a BTZ Black Hole in Massive Gravity

abstract: In this work, we shall analyze the effects of quantum fluctuations on the properties of a BTZ black hole, in a massive theory of gravity. We will analyze this for a charged BTZ black hole in asymptotically AdS and dS space-times. The quantum fluctuations would produce thermal fluctuations in the thermodynamics of this BTZ black hole. As these fluctuations would become relevant at a sufficiently small scale, we shall discuss the effects of such thermal fluctuations on the entropy of a small charged BTZ black. We shall also analyze the effects of these fluctuations on the stability of such a black hole.


title: Fillable arrays with constant time operations and a single bit of redundancy

abstract: In the fillable array problem one must maintain an array A[1..n] of $w$-bit entries subject to random access reads and writes, and also a $\texttt{fill}(\Delta)$ operation which sets every entry of to some $\Delta\in\{0,\ldots,2^w-1\}$. We show that with just one bit of redundancy, i.e. a data structure using $nw+1$ bits of memory, $\texttt{read}/\texttt{fill}$ can be implemented in worst case constant time, and $\texttt{write}$ can be implemented in either amortized constant time (deterministically) or worst case expected constant (randomized). In the latter case, we need to store an additional $O(\log n)$ random bits to specify a permutation drawn from an $1/n^2$-almost pairwise independent family.


title: An Assessment of Data Transfer Performance for Large-Scale Climate Data Analysis and Recommendations for the Data Infrastructure for CMIP6

abstract: We document the data transfer workflow, data transfer performance, and other aspects of staging approximately 56 terabytes of climate model output data from the distributed Coupled Model Intercomparison Project (CMIP5) archive to the National Energy Research Supercomputing Center (NERSC) at the Lawrence Berkeley National Laboratory required for tracking and characterizing extratropical storms, a phenomena of importance in the mid-latitudes. We present this analysis to illustrate the current challenges in assembling multi-model data sets at major computing facilities for large-scale studies of CMIP5 data. Because of the larger archive size of the upcoming CMIP6 phase of model intercomparison, we expect such data transfers to become of increasing importance, and perhaps of routine necessity. We find that data transfer rates using the ESGF are often slower than what is typically available to US residences and that there is significant room for improvement in the data transfer capabilities of the ESGF portal and data centers both in terms of workflow mechanics and in data transfer performance. We believe performance improvements of at least an order of magnitude are within technical reach using current best practices, as illustrated by the performance we achieved in transferring the complete raw data set between two high performance computing facilities. To achieve these performance improvements, we recommend: that current best practices (such as the Science DMZ model) be applied to the data servers and networks at ESGF data centers; that sufficient financial and human resources be devoted at the ESGF data centers for systems and network engineering tasks to support high performance data movement; and that performance metrics for data transfer between ESGF data centers and major computing facilities used for climate data analysis be established, regularly tested, and published.


title: Self-Organization in Networks: A Data-Driven Koopman Approach

abstract: Networks out of equilibrium display dynamics characterized by multiple equilibria and sudden transitions. These transitions arise when each node leaves its natural stable state and joins to an organized global activation behavior. In this paper, we study local patterns near regime shifts in Network Synchronization and Self-Organized Criticality (SOC) by a Koopman spectrum data-driven approach. To illustrate these ideas, we use synchronized behavior from an Integral-and-Fire oscillators (IFO) system and SOC in the Bak-Sneppen model.


title: Botnet in the Browser: Understanding Threats Caused by Malicious Browser Extensions

abstract: Browser extensions have been established as a common feature present in modern browsers. However, some extension systems risk exposing APIs which are too permissive and cohesive with the browser's internal structure, thus leaving a hole for malicious developers to exploit security critical functionality within the browser itself. In this paper, we raise the awareness of the threats caused by browser extensions by presenting a botnet framework based on malicious extensions installed in the user's browser, and an exhaustive range of attacks that can be launched in this framework. We systematically categorize, describe and implement these attacks against Chrome, Firefox and Firefox-for-Android, and verify experiments on Windows, Linux and Android systems. To the best of our knowledge, this paper presents to date the most comprehensive analysis about the threats of botnet in modern browsers due to the over-privileged capabilities possessed by browser extensions. We also discuss countermeasures to the identified problems.


title: Neural networks for topology optimization

abstract: In this research, we propose a deep learning based approach for speeding up the topology optimization methods. The problem we seek to solve is the layout problem. The main novelty of this work is to state the problem as an image segmentation task. We leverage the power of deep learning methods as the efficient pixel-wise image labeling technique to perform the topology optimization. We introduce convolutional encoder-decoder architecture and the overall approach of solving the above-described problem with high performance. The conducted experiments demonstrate the significant acceleration of the optimization process. The proposed approach has excellent generalization properties. We demonstrate the ability of the application of the proposed model to other problems. The successful results, as well as the drawbacks of the current method, are discussed.


title: Continuous attractor-based clocks are unreliable phase estimators

abstract: Statistical estimation theory determines the optimal way of estimating parameters of a fluctuating noisy signal. However, if the estimation is performed on unreliable hardware, a sub-optimal estimation procedure can outperform the previously optimal procedure. Here, we compare classes of circadian clocks by viewing them as phase estimators for the periodic day-night light signal. We find that continuous attractor-based free running clocks, such as those found in the cyanobacterium Synechococcus elongatus and humans, are nearly optimal phase estimators since their flat attractor directions efficiently project out light intensity fluctuations due to weather patterns (`external noise'). However, such flat directions also make these continuous limit cycle attractors highly vulnerable to diffusive 'internal noise'. Given such unreliable biochemical hardware, we find that point attractor-based damped clocks, such as those found in a smaller cyanobacterium with low protein copy number, Prochlorococcus marinus, outperform continuous attractor-based clocks. By interpolating between the two types of clocks found in these organisms, we demonstrate a family of biochemical phase estimation strategies that are best suited to different relative strengths of external and internal noise.

categories: cond-mat.stat-mech nlin.AO q-bio.CB q-bio.MN q-bio.SC


title: Ellipsoidal BGK model for polyatomic molecules near Maxwellians: A dichotomy in the dissipation estimate

abstract: We consider the global existence and asymptotic behavior of classical solutions to the ellipsoidal BGK model for polyatomic molecules when the initial data starts sufficiently close to a global polyatomic Maxwellian. We observe that the linearized relaxation operator is decomposed into a trully polyatomic part and a essentially monatomic part, leading to a dichotomy in the dissipative property in the sense that the degeneracy of the dissipation shows an abrupt jump as the relaxation parameter $\theta$ reaches zero. Accordingly, we employ two different sets of micro-macro system to derive the full coercivity and close the energy estimate.


title: Quiver Bundles and Wall Crossing for Chains

abstract: Holomorphic chains on a Riemann surface arise naturally as fixed points of the natural C*-action on the moduli space of Higgs bundles. In this paper we associate a new quiver bundle to the Hom-complex of two chains, and prove that stability of the chains implies stability of this new quiver bundle. Our approach uses the Hitchin-Kobayashi correspondence for quiver bundles. Moreover, we use our result to give a new proof of a key lemma on chains (due to \'Alvarez-C\'onsul, Garc\'ia-Prada and Schmitt), which has been important in the study of Higgs bundle moduli; this proof relies on stability and thus avoids the direct use of the chain vortex equations.


title: Connectivity Learning in Multi-Branch Networks

abstract: While much of the work in the design of convolutional networks over the last five years has revolved around the empirical investigation of the importance of depth, filter sizes, and number of feature channels, recent studies have shown that branching, i.e., splitting the computation along parallel but distinct threads and then aggregating their outputs, represents a new promising dimension for significant improvements in performance. To combat the complexity of design choices in multi-branch architectures, prior work has adopted simple strategies, such as a fixed branching factor, the same input being fed to all parallel branches, and an additive combination of the outputs produced by all branches at aggregation points. In this work we remove these predefined choices and propose an algorithm to learn the connections between branches in the network. Instead of being chosen a priori by the human designer, the multi-branch connectivity is learned simultaneously with the weights of the network by optimizing a single loss function defined with respect to the end task. We demonstrate our approach on the problem of multi-class image classification using three different datasets where it yields consistently higher accuracy compared to the state-of-the-art "ResNeXt" multi-branch network given the same learning capacity.


title: Inference for Impulse Responses under Model Uncertainty

abstract: In many macroeconomic applications, confidence intervals for impulse responses are constructed by estimating VAR models in levels - ignoring cointegration rank uncertainty. We investigate the consequences of ignoring this uncertainty. We adapt several methods for handling model uncertainty and highlight their shortcomings. We propose a new method - Weighted-Inference-by-Model-Plausibility (WIMP) - that takes rank uncertainty into account in a data-driven way. In simulations the WIMP outperforms all other methods considered, delivering intervals that are robust to rank uncertainty, yet not overly conservative. We also study potential ramifications of rank uncertainty on applied macroeconomic analysis by re-assessing the effects of fiscal policy shocks.


title: Extending surjective isometries defined on the unit sphere of $\ell_\infty(\Gamma)$

abstract: Let $\Gamma$ be an infinite set equipped with the discrete topology. We prove that the space $\ell_{\infty}(\Gamma),$ of all complex-valued bounded functions on $\Gamma$, satisfies the Mazur-Ulam property, that is, every surjective isometry from the unit sphere of $\ell_{\infty}(\Gamma)$ onto the unit sphere of an arbitrary complex Banach space $X$ admits a unique extension to a surjective real linear isometry from $\ell_{\infty}(\Gamma)$ to $X$.


title: DeepTransport: Learning Spatial-Temporal Dependency for Traffic Condition Forecasting

abstract: Predicting traffic conditions has been recently explored as a way to relieve traffic congestion. Several pioneering approaches have been proposed based on traffic observations of the target location as well as its adjacent regions, but they obtain somewhat limited accuracy due to a lack of mining road topology. To address the effect attenuation problem, we suggest taking into account the traffic of surrounding locations(wider than the adjacent range). We propose an end-to-end framework called DeepTransport, in which Convolutional Neural Networks (CNN) and Recurrent Neural Networks (RNN) are utilized to obtain spatial-temporal traffic information within a transport network topology. In addition, an attention mechanism is introduced to align spatial and temporal information. Moreover, we constructed and released a real-world large traffic condition dataset with a 5-minute resolution. Our experiments on this dataset demonstrate our method captures the complex relationship in the temporal and spatial domains. It significantly outperforms traditional statistical methods and a state-of-the-art deep learning method.


title: Case Study: Explaining Diabetic Retinopathy Detection Deep CNNs via Integrated Gradients

abstract: In this report, we applied integrated gradients to explaining a neural network for diabetic retinopathy detection. The integrated gradient is an attribution method which measures the contributions of input to the quantity of interest. We explored some new ways for applying this method such as explaining intermediate layers, filtering out unimportant units by their attribution value and generating contrary samples. Moreover, the visualization results extend the use of diabetic retinopathy detection model from merely predicting to assisting finding potential lesions.


title: Multi-Label Classification of Patient Notes a Case Study on ICD Code Assignment

abstract: In the context of the Electronic Health Record, automated diagnosis coding of patient notes is a useful task, but a challenging one due to the large number of codes and the length of patient notes. We investigate four models for assigning multiple ICD codes to discharge summaries taken from both MIMIC II and III. We present Hierarchical Attention-GRU (HA-GRU), a hierarchical approach to tag a document by identifying the sentences relevant for each label. HA-GRU achieves state-of-the art results. Furthermore, the learned sentence-level attention layer highlights the model decision process, allows easier error analysis, and suggests future directions for improvement.


title: Quantum wave mixing and visualisation of coherent and superposed photonic states in a waveguide

abstract: Superconducting quantum systems (artificial atoms) have been recently successfully used to demonstrate on-chip effects of quantum optics with single atoms in the microwave range. In particular, a well-known effect of four-wave mixing could reveal a series of features beyond classical physics, when a non-linear medium is scaled down to a single quantum scatterer. Here we demonstrate a phenomenon of the quantum wave mixing (QWM) on a single superconducting artificial atom. In the QWM, the spectrum of elastically scattered radiation is a direct map of the interacting superposed and coherent photonic states. Moreover, the artificial atom visualises photon-state statistics, distinguishing coherent, one- and two-photon superposed states with the finite (quantized) number of peaks in the quantum regime. Our results may give a new insight into nonlinear quantum effects in microwave optics with artificial atoms.


title: On the maximum number of integer colourings with forbidden monochromatic sums

abstract: Let $f(n,r)$ denote the maximum number of colourings of $A \subseteq \lbrace 1,\ldots,n\rbrace$ with $r$ colours such that each colour class is sum-free. Here, a sum is a subset $\lbrace x,y,z\rbrace$ such that $x+y=z$. We show that $f(n,2) = 2^{\lceil n/2\rceil}$, and describe the extremal subsets. Further, using linear optimisation, we asymptotically determine the logarithm of $f(n,r)$ for $r \leq 5$. Similar results were obtained by H\`an and Jim\'enez in the setting of finite abelian groups.


title: An attentive neural architecture for joint segmentation and parsing and its application to real estate ads

abstract: In processing human produced text using natural language processing (NLP) techniques, two fundamental subtasks that arise are (i) segmentation of the plain text into meaningful subunits (e.g., entities), and (ii) dependency parsing, to establish relations between subunits. In this paper, we develop a relatively simple and effective neural joint model that performs both segmentation and dependency parsing together, instead of one after the other as in most state-of-the-art works. We will focus in particular on the real estate ad setting, aiming to convert an ad to a structured description, which we name property tree, comprising the tasks of (1) identifying important entities of a property (e.g., rooms) from classifieds and (2) structuring them into a tree format. In this work, we propose a new joint model that is able to tackle the two tasks simultaneously and construct the property tree by (i) avoiding the error propagation that would arise from the subtasks one after the other in a pipelined fashion, and (ii) exploiting the interactions between the subtasks. For this purpose, we perform an extensive comparative study of the pipeline methods and the new proposed joint model, reporting an improvement of over three percentage points in the overall edge F1 score of the property tree. Also, we propose attention methods, to encourage our model to focus on salient tokens during the construction of the property tree. Thus we experimentally demonstrate the usefulness of attentive neural architectures for the proposed joint model, showcasing a further improvement of two percentage points in edge F1 score for our application.


title: Superconducting properties of the noncentrosymmetric superconductor TaOs

abstract: The noncentrosymmetric superconductor TaOs has been characterized using x-ray diffraction, resistivity, magnetization, and specific heat measurements. Magnetization and specific heat measurements show a bulk superconducting transition at 2.07 K. These measurements suggest that TaOs is a weakly coupled type-II superconductor. The electronic specific heat in the superconducting state can be explained by the single-gap BCS model, suggesting s-wave superconductivity in TaOs.


title: Nonsingular black holes, wormholes, and de Sitter cores from anisotropic fluids

abstract: We study Born-Infeld gravity coupled to an anisotropic fluid in a static, spherically symmetric background. The free function characterizing the fluid is selected on the following grounds: i) recovery of the Reissner-Nordstr\"om solution of GR at large distances, ii) fulfillment of classical energy conditions and iii) inclusion of models of nonlinear electrodynamics as particular examples. Four branches of solutions are obtained, depending on the signs of two parameters on the gravity and matter sectors. On each branch, we discuss in detail the modifications on the innermost region of the corresponding solutions, which provides a plethora of configurations, including nonsingular black holes and naked objects, wormholes and de Sitter cores. The regular character of these configurations is discussed according to the completeness of geodesics and the behaviour of curvature scalars.


title: A lattice Maxwell system with discrete space-time symmetry and local energy-momentum conservation

abstract: A lattice Maxwell system is developed with gauge-symmetry, symplectic structure and discrete space-time symmetry. Noether's theorem for Lie group symmetries is generalized to discrete symmetries for the lattice Maxwell system. As a result, the lattice Maxwell system is shown to admit a discrete local energy-momentum conservation law corresponding to the discrete space-time symmetry. These conservative properties make the discrete system an effective algorithm for numerically solving the governing differential equations on continuous space-time. Moreover, the lattice model, respecting all conservation laws and geometric structures, is as good as and probably more preferable than the continuous Maxwell model. Under the simulation hypothesis by Bostrom and in consistent with the discussion on lattice QCD by Beane et al., the two interpretations of physics laws on space-time lattice could be essentially the same.

categories: physics.class-ph math-ph math.MP physics.comp-ph physics.plasm-ph


title: Extremality of graph entropy based on degrees of uniform hypergraphs with few edges

abstract: Let $\mathcal{H}$ be a hypergraph with $n$ vertices. Suppose that $d_1,d_2,\ldots,d_n$ are degrees of the vertices of $\mathcal{H}$. The $t$-th graph entropy based on degrees of $\mathcal{H}$ is defined as $$ I_d^t(\mathcal{H}) =-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\right) =\log\left(\sum_{i=1}^{n}d_i^{t}\right)-\sum_{i=1}^{n}\left(\frac{d_i^{t}}{\sum_{j=1}^{n}d_j^{t}}\log d_i^{t}\right), $$ where $t$ is a real number and the logarithm is taken to the base two. In this paper we obtain upper and lower bounds of $I_d^t(\mathcal{H})$ for $t=1$, when $\mathcal{H}$ is among all uniform supertrees, unicyclic uniform hypergraphs and bicyclic uniform hypergraphs, respectively.


title: A two weight local Tb theorem for the Hilbert transform

abstract: We obtain a two weight local Tb theorem for any elliptic and gradient elliptic fractional singular integral operator T on the real line, and any pair of locally finite positive Borel measures on the line. This includes the Hilbert transform and in a sense improves on the T1 theorem by the authors and M. Lacey.


title: Higher-order QED effects in hadronic processes

abstract: In this presentation, we describe the computation of higher-order QED effects relevant in hadronic collisions. In particular, we discuss the calculation of mixed QCD-QED one-loop contributions to the Altarelli-Parisi splittings functions, as well as the pure two-loop QED corrections. We explain how to extend the DGLAP equations to deal with new parton distributions, emphasizing the consequences of the novel corrections in the determination (and evolution) of the photon distributions.


title: Privacy-Preserving Platform for Transactive Energy Systems

abstract: Transactive energy systems (TES) are emerging as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resources and a rapid acceleration in renewable energy generation. These, on one hand, pose a decentralized power system controls problem, requiring strategic microgrid control to maintain stability for the community and for the utility. On the other hand, they require robust financial markets operating on distributed software platforms that preserve privacy. In this paper, we describe the implementation of a novel, blockchain-based transactive energy system. We outline the key requirements and motivation of this platform, describe the lessons learned, and provide a description of key architectural components of this system.


title: Knapsack Problems for Wreath Products

abstract: In recent years, knapsack problems for (in general non-commutative) groups have attracted attention. In this paper, the knapsack problem for wreath products is studied. It turns out that decidability of knapsack is not preserved under wreath product. On the other hand, the class of knapsack-semilinear groups, where solutions sets of knapsack equations are effectively semilinear, is closed under wreath product. As a consequence, we obtain the decidability of knapsack for free solvable groups. Finally, it is shown that for every non-trivial abelian group $G$, knapsack (as well as the related subset sum problem) for the wreath product $G \wr \mathbb{Z}$ is NP-complete.


title: The Nu Class of Low-Degree-Truncated, Rational, Generalized Functions. Ic. IMSPE-optimal designs with circular-disk prediction domains

abstract: This paper is an extension of Part I of a series about Nu-class multifunctions. A method is presented for computing the integrated mean-squared prediction error (IMSPE) in the design of computer experiments, when the prediction domain is a circular disk. The method is extensible to more than two factors, to prediction domains other than squares or disks, and to a variety of assumed covariance functions. Three example optimal designs, under Gaussian covariance with known hyperparameters, are found using the method: an n=1 design centered on the disk; an n=2 continuously rotatable design with assumed inversion symmetry about the center of the disk; and an n=4 twin-point design similar to the n=4 twin-point design observed previously for a square prediction domain [1]. The four-point design on the disk demonstrates that non-round boundaries are not a prerequisite for the occurrence of twin-point optimal designs.


title: Shell feature: a new radiomics descriptor for predicting distant failure after radiotherapy in non-small cell lung cancer and cervix cancer

abstract: Purpose To develop and demonstrate a novel tumor shell feature for predicting distant failure in non-small cell lung cancer (NSCLC) and cervical cancer (CC) patients. Patients and Methods The shell predictive model was constructed using pretreatment positron emission tomography (PET) images from 48 NSCLC patients received stereotactic body radiation therapy (SBRT) and 52 CC patients underwent external beam radiation therapy and concurrent chemotherapy followed with high-dose-rate intracavitary brachytherapy. A shell feature, consisting of outer voxels around the tumor boundary, was extracted from a series of axial PET slices. The hypothesis behind this feature is that non-invasive and invasive tumors may have different morphologic patterns in the tumor periphery, in turn reflecting the differences in radiological presentations in the PET images. The utility of the shell was evaluated by the support vector machine (SVM) classifier in comparison with intensity, geometry, gray level co-occurrence matrix (GLCM) based texture, neighborhood gray tone difference matrix (NGTDM) based texture, and a combination of these four features. The results were assessed in terms of accuracy, sensitivity, specificity, and the area under the receiver operating curve (AUC). Results For NSCLC, the AUC achieved by the shell feature was 0.82 while the highest AUC achieved by the other features was 0.76. Similarly, for CC, the AUC achieved by the shell feature was 0.83 while the highest AUC achieved by the other features was 0.76. Also, the difference in performance between shell and the other features was significant (P < 0.005) in all cases. Conclusions We propose a boundary-based shell feature that correlates with tumor metastasis. The shell feature showed better predictive performance than all the other features for distant failure prediction in both NSCLC and CC.


title: On the Design of Communication and Transaction Anonymity in Blockchain-Based Transactive Microgrids

abstract: Transactive microgrids are emerging as a transformative solution for the problems faced by distribution system operators due to an increase in the use of distributed energy resources and a rapid acceleration in renewable energy generation, such as wind and solar power. Distributed ledgers have recently found widespread interest in this domain due to their ability to provide transactional integrity across decentralized computing nodes. However, the existing state of the art has not focused on the privacy preservation requirement of these energy systems -- the transaction level data can provide much greater insights into a prosumer's behavior compared to smart meter data. There are specific safety requirements in transactive microgrids to ensure the stability of the grid and to control the load. To fulfil these requirements, the distribution system operator needs transaction information from the grid, which poses a further challenge to the privacy-goals. This problem is made worse by requirement for off-blockchain communication in these networks. In this paper, we extend a recently developed trading workflow called PETra and describe our solution for communication and transactional anonymity.


title: Exposure: A White-Box Photo Post-Processing Framework

abstract: Retouching can significantly elevate the visual appeal of photos, but many casual photographers lack the expertise to do this well. To address this problem, previous works have proposed automatic retouching systems based on supervised learning from paired training images acquired before and after manual editing. As it is difficult for users to acquire paired images that reflect their retouching preferences, we present in this paper a deep learning approach that is instead trained on unpaired data, namely a set of photographs that exhibits a retouching style the user likes, which is much easier to collect. Our system is formulated using deep convolutional neural networks that learn to apply different retouching operations on an input image. Network training with respect to various types of edits is enabled by modeling these retouching operations in a unified manner as resolution-independent differentiable filters. To apply the filters in a proper sequence and with suitable parameters, we employ a deep reinforcement learning approach that learns to make decisions on what action to take next, given the current state of the image. In contrast to many deep learning systems, ours provides users with an understandable solution in the form of conventional retouching edits, rather than just a "black-box" result. Through quantitative comparisons and user studies, we show that this technique generates retouching results consistent with the provided photo set.


title: Riemannian approach to batch normalization

abstract: Batch Normalization (BN) has proven to be an effective algorithm for deep neural network training by normalizing the input to each neuron and reducing the internal covariate shift. The space of weight vectors in the BN layer can be naturally interpreted as a Riemannian manifold, which is invariant to linear scaling of weights. Following the intrinsic geometry of this manifold provides a new learning rule that is more efficient and easier to analyze. We also propose intuitive and effective gradient clipping and regularization methods for the proposed algorithm by utilizing the geometry of the manifold. The resulting algorithm consistently outperforms the original BN on various types of network architectures and datasets.


title: The Prandtl-Tomlinson model of friction with stochastic driving

abstract: We consider the classical Prandtl-Tomlinson model of a particle moving on a corrugated potential, pulled by a spring. In the usual situation in which pulling acts at constant velocity $\dot\gamma$, the model displays an average friction force $\sigma$ that relates to $\dot\gamma$ (for small $\dot\gamma)$ as $\dot\gamma\sim (\sigma-\sigma_c)^\beta$, where $\sigma_c$ is a critical friction force. The possible values of $\beta$ are well known in terms of the analytical properties of the corrugated potential. We study here the situation in which the pulling has, in addition to the constant velocity term, a stochastic term of mechanical origin (i.e, the total driving is a function of $\dot\gamma t$). We analytically show how this term modifies the force-velocity dependence close to the critical force, and give the value of $\beta$ in terms of the analytical properties of the corrugation potential and the scaling properties of the stochastic driving, encoded in the value of its Hurst exponent.


title: Would a Deeply Bound $b\bar b b\bar b$ Tetraquark Meson be Observed at the LHC?

abstract: There has been much theoretical speculation about the existence of a deeply bounded tetra-bottom state. Such a state would not be expected to be more than a GeV below $\Upsilon\Upsilon$ threshold. If such a state exists below the $\eta_b\eta_b$ threshold it would be narrow, as Zweig allowed strong decays are kinematically forbidden. Given the observation of $\Upsilon$ pair production at CMS, such a state with a large branching fraction into $\Upsilon \Upsilon^*$ is likely discoverable at the LHC. The discovery mode is similar to the SM Higgs decaying into four leptons through the $Z Z^*$ channel. The testable features of both production and the four lepton decays of such a tetra-bottom ground state are presented. The assumptions required for each feature are identified, allowing the application of our results more generally to a resonance decaying into four charged leptons (through the $\Upsilon\Upsilon^*$ channel) in the same mass region.


title: Bayesian Dynamic Tensor Regression

abstract: Tensor-valued data are becoming increasingly available in economics and this calls for suitable econometric tools. We propose a new dynamic linear model for tensor-valued response variables and covariates that encompasses some well-known econometric models as special cases. Our contribution is manifold. First, we define a tensor autoregressive process (ART), study its properties and derive the associated impulse response function. Second, we exploit the PARAFAC low-rank decomposition for providing a parsimonious parametrization and to incorporate sparsity effects. We also contribute to inference methods for tensors by developing a Bayesian framework which allows for including extra-sample information and for introducing shrinking effects. We apply the ART model to time-varying multilayer networks of international trade and capital stock and study the propagation of shocks across countries, over time and between layers.


title: On two theorems of Sierpi\'nski

abstract: A theorem of Sierpi\'nski says that every infinite set Q of reals contains an infinite number of disjoint subsets whose outer Lebesgue measure is the same as that of Q. He also has a similar theorem involving the Baire property. We give a general theorem of this type and its corollaries, strengthening classical results.


title: Improved Moser-Trudinger type inequalities in the hyperbolic space $\mathbb H^n$

abstract: We establish an improved version of the Moser-Trudinger inequality in the hyperbolic space $\mathbb H^n$, $n\geq 2$. Namely, we prove the following result: for any $0 \leq \lambda < \left(\frac{n-1}n\right)^n$, then we have $$ \sup_{\substack{u\in C_0^\infty(\mathbb H^n) \int_{\mathbb H^n} |\nabla_g u|_g^n d\text{Vol}_g -\lambda \int_{\mathbb H^n} |u|^n d\text{ Vol}_g \leq 1}} \int_{\mathbb H^n} \Phi_n(\alpha_n |u|^{\frac{n}{n-1}}) d\text{ Vol}_g < \infty, $$ where $\alpha_n = n \omega_{n-1}^{\frac1{n-1}}$, $\omega_{n-1}$ denotes the surface area of the unit sphere in $\mathbb R^n$ and $\Phi_n(t) = e^t -\sum_{j=0}^{n-2}\frac{t^j}{j!}$. This improves the Moser-Trudinger inequality in hyperbolic spaces obtained recently by Mancini and Sandeep, by Mancini, Sandeep and Tintarev and by Adimurthi and Tintarev. In the limiting case $\lambda =(\frac{n-1}n)^n$, we prove a Moser-Trudinger inequality with exact growth in $\mathbb H^n$, $$ \sup_{\substack{u\in C_0^\infty(\mathbb H^n) \int_{\mathbb H^n} |\nabla_g u|_g^n d\text{ Vol}_g -(\frac{n-1}n)^n \int_{\mathbb H^n} |u|^n d\text{ Vol}_g \leq 1}} \frac{1}{\int_{\mathbb H^n} |u|^n d\text{ Vol}_g}\int_{\mathbb H^n} \frac{\Phi_n(\alpha_n |u|^{\frac{n}{n-1}})}{(1+ |u|)^{\frac n{n-1}}} d\text{ Vol}_g < \infty. $$ This improves the Moser-Trudinger inequality with exact growth in $\mathbb H^n$ established by Lu and Tang.


title: Explicit local Jacquet-Langlands correspondence: the non-dyadic wild case

abstract: Let $F$ be a non-Archimedean locally compact field of residual characteristic $p$ with $p\neq 2$. Let $n$ be a power of $p$ and let $G$ be an inner form of the general linear group $\text{\rm GL}_n(F)$. We give a transparent parametrization of the irreducible, totally ramified, cuspidal representations of $G$ of parametric degree $n$. We show that the parametrization is respected by the Jacquet-Langlands correspondence, relative to any other inner form. This expresses the Jacquet-Langlands correspondence for such representations within a single, compact formula.


title: Addressing the exciton fine structure in colloidal nanocrystals: the case of CdSe nanoplatelets

abstract: We study the band-edge exciton fine structure and in particular its bright-dark splitting in colloidal semiconductor nanocrystals by four different optical methods based on fluorescence line narrowing and time-resolved measurements at various temperatures down to 2 K. We demonstrate that all these methods provide consistent splitting values and discuss their advances and limitations. Colloidal CdSe nanoplatelets with thicknesses of 3, 4 and 5 monolayers are chosen for experimental demonstrations. The bright-dark splitting of excitons varies from 3.2 to 6.0 meV and is inversely proportional to the nanoplatelet thickness. Good agreement between experimental and theoretically calculated size dependence of the bright-dark exciton slitting is achieved. The recombination rates of the bright and dark excitons and the bright to dark relaxation rate are measured by time-resolved techniques.


title: A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks

abstract: Reward engineering is an important aspect of reinforcement learning. Whether or not the user's intentions can be correctly encapsulated in the reward function can significantly impact the learning outcome. Current methods rely on manually crafted reward functions that often require parameter tuning to obtain the desired behavior. This operation can be expensive when exploration requires systems to interact with the physical world. In this paper, we explore the use of temporal logic (TL) to specify tasks in reinforcement learning. TL formula can be translated to a real-valued function that measures its level of satisfaction against a trajectory. We take advantage of this function and propose temporal logic policy search (TLPS), a model-free learning technique that finds a policy that satisfies the TL specification. A set of simulated experiments are conducted to evaluate the proposed approach.


title: PlaTIBART: a Platform for Transactive IoT Blockchain Applications with Repeatable Testing

abstract: With the advent of blockchain-enabled IoT applications, there is an increased need for related software patterns, middleware concepts, and testing practices to ensure adequate quality and productivity. IoT and blockchain each provide different design goals, concepts, and practices that must be integrated, including the distributed actor model and fault tolerance from IoT and transactive information integrity over untrustworthy sources from blockchain. Both IoT and blockchain are emerging technologies and both lack codified patterns and practices for development of applications when combined. This paper describes PlaTIBART, which is a platform for transactive IoT blockchain applications with repeatable testing that combines the Actor pattern (which is a commonly used model of computation in IoT) together with a custom Domain Specific Language (DSL) and test network management tools. We show how PlaTIBART has been applied to develop, test, and analyze fault-tolerant IoT blockchain applications.


title: The size of the boundary in first-passage percolation

abstract: First-passage percolation is a random growth model defined using i.i.d. edge-weights $(t_e)$ on the nearest-neighbor edges of $\mathbb{Z}^d$. An initial infection occupies the origin and spreads along the edges, taking time $t_e$ to cross the edge $e$. In this paper, we study the size of the boundary of the infected ("wet") region at time $t$, $B(t)$. It is known that $B(t)$ grows linearly, so its boundary $\partial B(t)$ has size between $ct^{d-1}$ and $Ct^d$. Under a weak moment condition on the weights, we show that for most times, $\partial B(t)$ has size of order $t^{d-1}$ (smooth). On the other hand, for heavy-tailed distributions, $B(t)$ contains many small holes, and consequently we show that $\partial B(t)$ has size of order $t^{d-1+\alpha}$ for some $\alpha>0$ depending on the distribution. In all cases, we show that the exterior boundary of $B(t)$ (edges touching the unbounded component of the complement of $B(t)$) is smooth for most times. Under the unproven assumption of uniformly positive curvature on the limit shape for $B(t)$, we show the inequality $\#\partial B(t) \leq (\log t)^C t^{d-1}$ for all large $t.$


title: Providing Privacy, Safety, and Security in IoT-Based Transactive Energy Systems using Distributed Ledgers

abstract: Power grids are undergoing major changes due to rapid growth in renewable energy resources and improvements in battery technology. While these changes enhance sustainability and efficiency, they also create significant management challenges as the complexity of power systems increases. To tackle these challenges, decentralized Internet-of-Things (IoT) solutions are emerging, which arrange local communities into transactive microgrids. Within a transactive microgrid, "prosumers" (i.e., consumers with energy generation and storage capabilities) can trade energy with each other, thereby smoothing the load on the main grid using local supply. It is hard, however, to provide security, safety, and privacy in a decentralized and transactive energy system. On the one hand, prosumers' personal information must be protected from their trade partners and the system operator. On the other hand, the system must be protected from careless or malicious trading, which could destabilize the entire grid. This paper describes Privacy-preserving Energy Transactions (PETra), which is a secure and safe solution for transactive microgrids that enables consumers to trade energy without sacrificing their privacy. PETra builds on distributed ledgers, such as blockchains, and provides anonymity for communication, bidding, and trading.


title: Ambient Backscatter Networking: A Novel Paradigm to Assist Wireless Powered Communications

abstract: Ambient backscatter communication technology has been introduced recently, and is then quickly becoming a promising choice for self-sustainable communication systems as an external power supply or a dedicated carrier emitter is not required. By leveraging existing RF signal resources, ambient backscatter technology can support sustainable and independent communications and consequently open up a whole new set of applications that facilitate Internet-of-Things (IoT). In this article, we study an integration of ambient backscatter with wireless powered communication networks (WPCNs). We first present an overview of backscatter communication systems with an emphasis on the emerging ambient backscatter technology. Then we propose a novel hybrid transmitter design by combining the advantages of both ambient backscatter and wireless powered communications. Furthermore, in the cognitive radio environment, we introduce a multiple access scheme to coordinate the hybrid data transmissions. The performance evaluation shows that the hybrid transmitter outperforms traditional designs. In addition, we discuss some open issues related to the ambient backscatter networking.


title: Geodesics in the space of Kahler cone metrics, II. Uniqueness of constant scalar curvature Kahler cone metrics

abstract: This is a continuation of the previous articles on Kahler cone metrics. In this article, we introduce weighted function spaces and provide a self-contained treatment on cone angles in the whole interval $(0,1]$. We first construct geodesics in the space of Kahler cone metrics (cone geodesics). We next determine the very detailed asymptotic behaviour of constant scalar curvature Kahler (cscK) cone metrics, which leads to the reductivity of the automorphism group. Then we establish the linear theory for the Lichnerowicz operator, which immediately implies the openness of the path deforming the cone angles of cscK cone metrics. Finally, we address the problem on the uniqueness of cscK cone metrics and show that the cscK cone metric is unique up to automorphisms.


title: Elementary number-theoretical statements proved by Language Theory

abstract: We introduce a method to derive theorems from Elementary Number Theory by means of relationships among formal languages. Using $\sigma$-algebras, we define what a proof of a number-theoretical statement by Language Theory means. We prove that such a proof can be transformed into a traditional proof in $\textbf{ZFC}$. Finally, we show some examples of non-trivial number-theoretical theorems that can be proved by formal languages in a natural way. These number-theoretical results concern densely divisible numbers, semi-perimeters of Pythagorean triangles, middle divisors and partitions into consecutive parts.


title: Monopoly Pricing in Vertical Markets with Demand Uncertainty

abstract: Pricing decisions are often made when market information is still poor. In turn, existing theoretical models often reason about the response of optimal prices to changing market characteristics without exploiting all available information about the demand distribution. Our aim is to develop a theory for the optimization and systematic comparison of prices between different instances of the same market under various forms of knowledge about the corresponding demand distributions. We revisit the classic problem of monopoly pricing under demand uncertainty in a vertical market with an upstream supplier and multiple forms of downstream competition between arbitrary symmetric retailers. In all cases, demand uncertainty falls to the supplier who acts first and sets a uniform price before the retailers observe the realized demand and place their orders. Our main methodological contribution is that we express the price elasticity of expected demand in terms of the mean residual demand (MRD) function of the demand distribution. This leads to a closed form characterization of the points of unitary elasticity that maximize the supplier's profits and the derivation of a mild unimodality condition for the supplier's objective function that generalizes the widely used increasing generalized failure rate (IGFR) condition. A direct implication is that optimal prices between different markets can be ordered if the markets can be stochastically ordered according to their MRD functions or equivalently, their elasticities. Using the above, we develop a systematic framework to compare optimal prices between different market instances via the rich theory of stochastic orders. This leads to comparative statics that challenge previously established economic insights about the effects of market size, demand transformations and demand variability on monopolistic prices.


title: Autonomous RPCs for a Cosmic Ray ground array

abstract: We report on the behaviour of Resistive Plate Chambers (RPC) developed for muon detection in ultra-high energy cosmic ray (UHECR) experiments. The RPCs were developed for the MARTA project and were tested on field conditions. These RPCs cover an area of $1.5 \times 1.2\,{m^2}$ and are instrumented with 64 pickup electrodes providing a segmentation better than $20\,$cm. By shielding the detector units with enough slant mass to absorb the electromagnetic component in the air showers, a clean measurement of the muon content is allowed, a concept to be implemented in a next generation of UHECR experiments. The operation of a ground array detector poses challenging demands, as the RPC must operate remotely under extreme environmental conditions, with limited budgets for power and minimal maintenance. The RPC, DAQ, High Voltage and monitoring systems are enclosed in an aluminium-sealed case, providing a compact and robust unit suited for outdoor environments, which can be easily deployed and connected. The RPCs developed at LIP-Coimbra are able to operate using a very low gas flux, which allows running them for few years with a small gas reservoir. Several prototypes have already been built and tested both in the laboratory and outdoors. We report on the most recent tests done in the field that show that the developed RPCs have operated in a stable way for more than 2 years in field conditions.


title: A study of ancient Khmer ephemerides

abstract: We study ancient Khmer ephemerides described in 1910 by the French engineer Faraut, in order to determine whether they rely on observations carried out in Cambodia. These ephemerides were found to be of Indian origin and have been adapted for another longitude, most likely in Burma. A method for estimating the date and place where the ephemerides were developed or adapted is described and applied.


title: Divisors on overlapped intervals and multiplicative functions

abstract: Consider the real numbers $$ \ell_{n,k} = \ln\left( \tfrac{3}{2}\,k+\sqrt{\left(\tfrac{3}{2}\,k \right)^2 + 3\,n} \right) $$ and the intervals $\mathcal{L}_{n,k} = \left]\ell_{n,k}-\ln 3,\ell_{n,k}\right]$. For all $n \geq 1$, define $$ \frac{L_n(q)}{q^{n-1}} = \sum_{d|n}\sum_{k\in \mathbb{Z}} \boldsymbol{1}_{\mathcal{L}_{n,k}}\left(\ln d\right) \,q^k, $$ where $\boldsymbol{1}_{A}(x)$ is the characteristic function of the set $A$. Let $\sigma(n)$ be sum of divisors of $n$. We will prove that $\textbf{A002324}(n) = 4\,\sigma(n) - 3\,L_n(1)$ and $\textbf{A096936}(n) = L_n(-1)$, which are well-known multiplicative functions related to the number of representations of $n$ by a given quadratic form.


title: Quantum State Isomorphism

abstract: We consider a problem we call StateIsomorphism: given two quantum states of n qubits, can one be obtained from the other by rearranging the qubit subsystems? Our main goal is to study the complexity of this problem, which is a natural quantum generalisation of the problem StringIsomorphism. We show that StateIsomorphism is at least as hard as GraphIsomorphism, and show that these problems have a similar structure by presenting evidence to suggest that StateIsomorphism is an intermediate problem for QCMA. In particular, we show that the complement of the problem, StateNonIsomorphism, has a two message quantum interactive proof system, and that this proof system can be made statistical zero-knowledge. We consider also StabilizerStateIsomorphism (SSI) and MixedStateIsomorphism (MSI), showing that the complement of SSI has a quantum interactive proof system that uses classical communication only, and that MSI is QSZK-hard.


title: A Permission-Dependent Type System for Secure Information Flow Analysis

abstract: We introduce a novel type system for enforcing secure information flow in an imperative language. Our work is motivated by the problem of statically checking potential information leakage in Android applications. To this end, we design a lightweight type system featuring Android permission model, where the permissions are statically assigned to applications and are used to enforce access control in the applications. We take inspiration from a type system by Banerjee and Naumann (BN) to allow security types to be dependent on the permissions of the applications. A novel feature of our type system is a typing rule for conditional branching induced by permission testing, which introduces a merging operator on security types, allowing more precise security policies to be enforced. The soundness of our type system is proved with respect to a notion of noninterference. In addition, a type inference algorithm is presented for the underlying security type system, by reducing the inference problem to a constraint solving problem in the lattice of security types.


title: LATTES: a novel detector concept for a gamma-ray experiment in the Southern hemisphere

abstract: The Large Array Telescope for Tracking Energetic Sources (LATTES), is a novel concept for an array of hybrid EAS array detectors, composed of a Resistive Plate Counter array coupled to a Water Cherenkov Detector, planned to cover gamma rays from less than 100 GeV up to 100 TeVs. This experiment, to be installed at high altitude in South America, could cover the existing gap in sensitivity between satellite and ground arrays. The low energy threshold, large duty cycle and wide field of view of LATTES makes it a powerful tool to detect transient phenomena and perform long term observations of variable sources. Moreover, given its characteristics, it would be fully complementary to the planned Cherenkov Telescope Array (CTA) as it would be able to issue alerts. In this talk, a description of its main features and capabilities, as well as results on its expected performance, and sensitivity, will be presented.

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


title: How regularization affects the critical points in linear networks

abstract: This paper is concerned with the problem of representing and learning a linear transformation using a linear neural network. In recent years, there has been a growing interest in the study of such networks in part due to the successes of deep learning. The main question of this body of research and also of this paper pertains to the existence and optimality properties of the critical points of the mean-squared loss function. The primary concern here is the robustness of the critical points with regularization of the loss function. An optimal control model is introduced for this purpose and a learning algorithm (regularized form of backprop) derived for the same using the Hamilton's formulation of optimal control. The formulation is used to provide a complete characterization of the critical points in terms of the solutions of a nonlinear matrix-valued equation, referred to as the characteristic equation. Analytical and numerical tools from bifurcation theory are used to compute the critical points via the solutions of the characteristic equation. The main conclusion is that the critical point diagram can be fundamentally different even with arbitrary small amounts of regularization.


title: Independence in generic incidence structures

abstract: We study the theory $T_{m,n}$ of existentially closed incidence structures omitting the complete incidence structure $K_{m,n}$, which can also be viewed as existentially closed $K_{m,n}$-free bipartite graphs. In the case $m = n = 2$, this is the theory of existentially closed projective planes. We give an $\forall\exists$-axiomatization of $T_{m,n}$, show that $T_{m,n}$ does not have a countable saturated model when $m,n\geq 2$, and show that the existence of a prime model for $T_{2,2}$ is equivalent to a longstanding open question about finite projective planes. Finally, we analyze model theoretic notions of complexity for $T_{m,n}$. We show that $T_{m,n}$ is NSOP$_1$, but not simple when $m,n\geq 2$, and we show that $T_{m,n}$ has weak elimination of imaginaries but not full elimination of imaginaries. These results rely on combinatorial characterizations of various notions of independence, including algebraic independence, Kim independence, and forking independence.


title: Weighted Sum-Throughput Maximization for Energy Harvesting Powered MIMO Multi-Access Channels

abstract: This paper develops a novel approach to obtaining the optimal scheduling strategy in a multi-input multi-output (MIMO) multi-access channel (MAC), where each transmitter is powered by an individual energy harvesting process. Relying on the state-of-the-art convex optimization tools, the proposed approach provides a low-complexity block coordinate ascent algorithm to obtain the optimal transmission policy that maximizes the weighted sum-throughput for MIMO MAC. The proposed approach can provide the optimal benchmarks for all practical schemes in energy-harvesting powered MIMO MAC transmissions. Based on the revealed structure of the optimal policy, we also propose an efficient online scheme, which requires only causal knowledge of energy arrival realizations. Numerical results are provided to demonstrate the merits of the proposed novel scheme.


title: Convergence estimates for multigrid algorithms with SSC smoothers and applications to overlapping domain decomposition

abstract: In this paper we study convergence estimates for a multigrid algorithm with smoothers of successive subspace correction (SSC) type, applied to symmetric elliptic PDEs. First, we revisit a general convergence analysis on a class of multigrid algorithms in a fairly general setting, where no regularity assumptions are made on the solution. In this framework, we are able to explicitly highlight the dependence of the multigrid error bound on the number of smoothing steps. For the case of no regularity assumptions, this represents a new addition to the existing theory. Then, we analyze successive subspace correction smoothing schemes for a set of uniform and local refinement applications with either nested or non-nested overlapping subdomains. For these applications, we explicitly derive bounds for the multigrid error, and identify sufficient conditions for these bounds to be independent of the number of multigrid levels. For the local refinement applications, finite element grids with arbitrary hanging nodes configurations are considered. The analysis of these smoothing schemes is cast within the far-reaching multiplicative Schwarz framework.


title: Calculating obstruction groups for E-infinity ring spectra

abstract: We describe a special instance of the Goerss-Hopkins obstruction theory, due to Senger, for calculating the moduli of $E_\infty$ ring spectra with given mod-$p$ homology. In particular, for the $2$-primary Brown-Peterson spectrum we give a chain complex that calculates the first obstruction groups, locate the first potential genuine obstructions, and discuss how some of the obstruction classes can be interpreted in terms of secondary operations.


title: On r-process nucleosynthesis from matter ejected in binary neutron starmergers

abstract: When binary systems of neutron stars merge, a very small fraction of their rest mass is ejected, either dynamically or secularly. This material is neutron-rich and its nucleosynthesis could provide the astrophysical site for the production of heavy elements in the universe, together with a kilonova signal confirming neutron-star mergers as the origin of short gamma-ray bursts. We perform full general-relativistic simulations of binary neutron-star mergers employing three different nuclear-physics EOSs, considering both equal- and unequal-mass configurations, and adopting a leakage scheme to account for neutrino radiative losses. Using a combination of techniques, we carry out an extensive and systematic study of the hydrodynamical, thermodynamical, and geometrical properties of the matter ejected dynamically, employing the WinNet nuclear-reaction network to recover the relative abundances of heavy elements produced by each configurations. Among the results obtained, three are particularly important. First, we find that both the properties of the dynamical ejecta and the nucleosynthesis yields are robust against variations of the EOS and masses, and match very well the observed chemical abundances. Second, using a conservative but robust criterion for unbound matter, we find that the amount of ejected mass is $\lesssim 10^{-3}\,M_{\odot}$, hence at least one order of magnitude smaller than what normally assumed in modelling kilonova signals. Finally, using a simplified and gray-opacity model we assess the observability of the infrared kilonova emission finding, that for all binaries the luminosity peaks around $\sim1/2$ day in the $H$-band, reaching a maximum magnitude of $-13$, and decreasing rapidly after one day. These rather low luminosities make the prospects for detecting kilonovae less promising than what assumed so far.


title: Comment on `Note on X(3872) production at hadron colliders and its molecular structure'

abstract: We briefly comment on the paper by Albaladejo et al. [arXiv:1709.09101], rejecting its conclusions.