title: On the smallest base in which a number has a unique expansion

abstract: Given a real number $x>0$, we determine $q_s(x):=\inf\mathscr{U}(x)$, where $\mathscr{U}(x)$ is the set of all bases $q\in(1,2]$ for which $x$ has a unique expansion of $0$'s and $1$'s. We give an explicit description of $q_s(x)$ for several regions of $x$-values. For others, we present an efficient algorithm to determine $q_s(x)$ and the lexicographically smallest unique expansion of $x$. We show that the infimum is attained for almost all $x$, but there is also a set of points of positive Hausdorff dimension for which the infimum is proper. In addition, we show that the function $q_s$ is right-continuous with left-hand limits and no downward jumps, and characterize the points of discontinuity of $q_s$. A large part of the paper is devoted to the level sets $L(q):=\{x>0:q_s(x)=q\}$. We show that $L(q)$ is finite for almost every $q$, but there are also infinitely many infinite level sets. In particular, for the Komornik-Loreti constant $q_{KL}=\min\mathscr{U}(1)\approx 1.787$ we prove that $L(q_{KL})$ has both infinitely many left- and infinitely many right accumulation points.


title: Global Convergence of Sobolev Training for Overparameterized Neural Networks

abstract: Sobolev loss is used when training a network to approximate the values and derivatives of a target function at a prescribed set of input points. Recent works have demonstrated its successful applications in various tasks such as distillation or synthetic gradient prediction. In this work we prove that an overparameterized two-layer relu neural network trained on the Sobolev loss with gradient flow from random initialization can fit any given function values and any given directional derivatives, under a separation condition on the input data.


title: An explanation for the muon and electron $g-2$ anomalies and dark matter

abstract: We propose simple models with a flavor-dependent global $U(1)_\ell$ and a discrete $\mathbb{Z}_2$ symmetries to explain the anomalies in the measured anomalous magnetic dipole moments of muon and electron, $(g-2)_{\mu,e}$, while simultaneously accommodating a dark matter candidate. These new symmetries are introduced not only to avoid the dangerous lepton flavor-violating decays of charged leptons, but also to ensure the stability of the dark matter. Our models can realize the opposite-sign contributions to the muon and electron $g-2$ via one-loop diagrams involving new vector-like leptons. Under the vacuum stability and perturbative unitarity bounds as well as the constraints from the dark matter direct searches and related LHC data, we find suitable parameter space to simultaneously explain $(g-2)_{\mu,e}$ and the relic density. In this parameter space, the coupling of the Higgs boson with muons can be enhanced by up to $\sim 38\%$ from its Standard Model value, which can be tested in future collider experiments.


title: Electron Correlation driven Metal-Insulator transition in Strained and Disordered VO2 films

abstract: The Metal-Insulator transition (MIT) in VO2 is characterized by the complex interplay among lattice, electronic and orbital degrees of freedom. In this contribution we investigated the strain-modulation of the orbital hierarchy and the influence over macroscopic properties of the metallic phase of VO2 such as Fermi Level (FL) population and metallicity, i.e., the material ability to screen an electric field, by means of temperature-dependent X-ray Absorption Near Edge Structure (XANES) and Resonant Photoemission spectroscopy (ResPES). We demonstrate that the MIT in strained VO2 is of the Filling Control type, hence it is generated by electron correlation effects. In addition, we show that the MIT in Nanostructured (NS) disordered VO2, where the structural phase transition is quenched, is driven by electron correlation. Therefore a fine tuning of the correlation could lead to a precise control and tuning of the transition features.


title: Solos: A Dataset for Audio-Visual Music Analysis

abstract: In this paper, we present a new dataset of music performance videos which can be used for training machine learning methods for multiple tasks such as audio-visual blind source separation and localization, cross-modal correspondences, cross-modal generation and, in general, any audio-visual self-supervised task. These videos, gathered from YouTube, consist of solo musical performances of 13 different instruments. Compared to previously proposed audio-visual datasets, Solos is cleaner since a big amount of its recordings are auditions and manually checked recordings, ensuring there is no background noise nor effects added in the video post-processing. Besides, it is, up to the best of our knowledge, the only dataset that contains the whole set of instruments present in the URMP\cite{URPM} dataset, a high-quality dataset of 44 audio-visual recordings of multi-instrument classical music pieces with individual audio tracks. URMP was intented to be used for source separation, thus, we evaluate the performance on the URMP dataset of two different source-separation models trained on Solos. The dataset is publicly available at https://juanfmontesinos.github.io/Solos/


title: Blind quantum computation for a user who only performs single-qubit gates

abstract: Blind quantum computation (BQC) allows a user who has limited quantum capability to complete a quantum computational task with the aid of a remote quantum server, such that the user's input, output, and even the algorithm can be kept hidden from the server. Up to now, there are mainly two models of BQC. One is that the client just needs the ability to prepare single qubits initiated by Broadbent, Fitzsimons, and Kashefi, and the other is that the client only needs perform single-qubit measurements first given by Morimae. In this paper, we put forward a new model of BQC in which a user only requires implementing a few single-qubit gates. We also propose a specific BQC protocol where a user only needs to implement two kinds of single-qubit gates to show the feasibility of the presented model. This circuit model is quite flexible since various users with the ability to perform different single-qubit gates may all have the chance to achieve BQC. Furthermore, compared with the other two models, it may be more suitable for practical implementation in some experimental setups such as trapped ions and superconducting systems since the single-qubit gates are the most exact operations in such systems.


title: Comparative study of the biological activities of the aqueous extracts of two spontaneous plants harvested in the Algerian Sahara

abstract: The present study investigates the insecticidal and herbicidal effects of leaf extracts from two plants were harvested in the Northern Algerian Sahara. These are Cleome arabica (Capparaceae) and Pergularia tomentosa (Asclepiadaceae). The efficacy of the extracts from the plants was evaluated by the reflux extraction method. The phytochemical screening of the aqueous extracts of C. arabica shows a remarkable richness in active principles in comparison with the extract of P. tomentosa; including flavonoids, saponosides, glycosides, terpenes, sterols, deoxyose, polyphenols and total alkaloids. The imago of Tribolium confusum treated with aqueous extracts of C. arabica and P. tomentosa at doses of 80% to 100% respectively have mortality rates of 73.33% to 96.67%, and 36.67% to 86.67%. The lethal time 50 (TL50%) of the aqueous extract of C. arabica was estimated about 6.41 days, and 6.94 days for the extract P. tomentosa for the imago of T. confusum. The extracts of P. tomentosa is less toxic than the extracts of C. arabica. The allelopathic potentials of C. arabica and P. tomentosa tested on germination of the seeds of a weed Dactyloctenium aegyptium (Poaceae) and two cultivated species, including Hordeumvulgare and Triticumdurum (Poaceae), show that the inhibitory effect of extracts of C. arabica is very highly significant. It manifests itself in the growth of the aerial and underground part of the H. vulgar and T. durum. The inhibition rate is more than 84.44% for D. aegyptium seeds treated with the different concentrations. The inhibition rates range from 75.56% to 91.11% for T. durum wheat irrigate at 80% to 100%, but are only 55.56% to 77.78% for barley seeds treated with the same concentrations (80% to 100%).


title: Adversarial Attacks and Detection on Reinforcement Learning-Based Interactive Recommender Systems

abstract: Adversarial attacks pose significant challenges for detecting adversarial attacks at an early stage. We propose attack-agnostic detection on reinforcement learning-based interactive recommendation systems. We first craft adversarial examples to show their diverse distributions and then augment recommendation systems by detecting potential attacks with a deep learning-based classifier based on the crafted data. Finally, we study the attack strength and frequency of adversarial examples and evaluate our model on standard datasets with multiple crafting methods. Our extensive experiments show that most adversarial attacks are effective, and both attack strength and attack frequency impact the attack performance. The strategically-timed attack achieves comparative attack performance with only 1/3 to 1/2 attack frequency. Besides, our black-box detector trained with one crafting method has the generalization ability over several crafting methods.


title: Hypersonic heat-induced flows of magnons induced by femtosecond laser pulses

abstract: In this work, we present evidence for the existence of a magnonic current on the sub-picosecond time-scale in a ferrimagnetic bilayer and its effect on ultrafast spin dynamics. The ferrimagnet, GdFeCo, is a material known to undergo ultrafast switching within 1-2ps after excitation with femtosecond laser pulses. Here, we show that the strong thermal gradients induced by applying femtosecond laser pulses and the presence of chemical inhomogeneities lead to local imbalances in the effective temperatures of the spins that produces a rapid transfer of spin angular momentum, which we interpret as an ultrafast spin Seebeck effect. We have quantified the typical magnon propagation in such a system. The results show ballistic magnon propagation with 30nm/ps velocities. The characteristic time scale of such magnon propagation indicates that this magnon transport can play an important role in switching, a crucial piece of understanding towards realising next generation data processing devices that operate at much higher frequencies.


title: Restoring the continuum limit in the time-dependent numerical renormalization group approach

abstract: The continuous coupling function in quantum impurity problems is exactly partitioned into a part represented by a finite size Wilson chain and a part represented by a set of additional reservoirs, each coupled to one Wilson chain site. These additional reservoirs represent high-energy modes of the environment neglected by the numerical renormalization group and are required to restore the continuum limit of the original problem. We present a hybrid time-dependent numerical renormalization group approach which combines an accurate numerical renormalization group treatment of the non-equilibrium dynamics on the finite size Wilson chain with a Bloch-Redfield formalism to include the effect of these additional reservoirs. Our approach overcomes the intrinsic shortcoming of the time-dependent numerical renormalization group approach induced by the bath discretization with a Wilson parameter $\Lambda > 1$. We analytically prove that for a system with a single chemical potential, the thermal equilibrium reduced density operator is the steady-state solution of the Bloch-Redfield master equation. For the numerical solution of this master equation a Lanczos method is employed which couples all energy shells of the numerical renormalization group. The presented hybrid approach is applied to the real-time dynamics in correlated fermionic quantum-impurity systems. An analytical solution of the resonant-level model serves as a benchmark for the accuracy of the method which is then applied to non-trivial models, such as the interacting resonant-level model and the single impurity Anderson model.


title: Communities of attention networks: introducing qualitative and conversational perspectives for altmetrics

abstract: We propose to analyze the level of recommendation and spreading in the sharing of scientific papers on Twitter to understand the interactions of communities around papers and to develop the "Community of Attention Network" (CAN). In this paper, a pilot case study was conducted for the paper 'Pharmacological Treatment of Obesity' authored by Mancini & Halpern (2002), an extensive review of the criteria for evaluating the efficacy of anti-obesity treatments and derived pharmacological agents. The altmetric data was collected from Altmetric.com and the description information for each tweeter was extracted from their Twitter profiles. The data were analyzed with Microanalysis Of Online Data perspective to investigate the formation of a CAN around this focal paper and the context of its formation. The studied article received 736 tweets from 134 different users with a combined exposure of more than 459,018 followers and a high level of spreading (67.26%) and recommendation (28.53%). The user's bios information analysis of who shares the article indicate individual profiles focused on personal issues and strong civic and political engagement. Personal-professional and institutional tweeters of the national political scene are often mentioned in the tweets. In analyzing the content of the tweets, we note that the altmetric score of the paper is a result of its strategic use as an online activism resource and a digital advocacy tool used to mobilize stakeholders for awareness and support activities. This study and the contextual and network perspective it introduces may help to understand the social impact of publications by using altmetrics.


title: The energy representation of world GDP

abstract: The dependence of world GDP on current energy consumption and total energy produced over the previous period and materialized in the form of production infrastructure is studied. The dependence describes empirical data with high accuracy over the entire observation interval 1965-2018.


title: Kobayashi hyperbolic convex domains not biholomorphic to bounded convex domains

abstract: We construct families of convex domains that are biholomorphic to bounded domains, but not bounded convex domains. This is accomplished by finding an obstruction related to the Gromov hyperbolicity of the Kobayashi metric.


title: Cut elimination for systems of transparent truth with restricted initial sequents

abstract: The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules.


title: On absolute central moments of Poisson distribution

abstract: A recurrence formula for absolute central moments of Poisson distribution is suggested.


title: Duplicity Games for Deception Design with an Application to Insider Threat Mitigation

abstract: Recent incidents such as the Colonial Pipeline ransomware attack and the SolarWinds hack have shown that traditional defense techniques are becoming insufficient to deter adversaries of growing sophistication. Proactive and deceptive defenses are an emerging class of methods to defend against zero-day and advanced attacks. This work develops a new game-theoretic framework called the duplicity game to design deception mechanisms that consist of a generator, an incentive modulator, and a trust manipulator, referred to as the GMM mechanism. We formulate a mathematical programming problem to compute the optimal GMM mechanism, quantify the upper limit of enforceable security policies, and characterize conditions on user's identifiability and manageability for cyber attribution and user management. We develop a separation principle that decouples the design of the modulator from the GMM mechanism and an equivalence principle that turns the joint design of the generator and the manipulator into the single design of the manipulator. A case study of dynamic honeypot configurations is presented to mitigate insider threats. The numerical experiments corroborate the results that the optimal GMM mechanism can elicit desirable actions from both selfish and adversarial insiders and consequently improve the security posture of the insider network. In particular, a proper modulator can reduce the \textcolor{black}{incentive misalignment} between the players and achieve win-win situations for the selfish insider and the defender. Meanwhile, we observe that the defender always benefits from faking the percentage of honeypots when the optimal generator is presented.


title: A new noncollinear ferromagnetic Weyl semimetal with anisotropic anomalous Hall effect

abstract: A developing frontier in condensed matter physics is the emergence of novel electromagnetic responses, such as topological and anomalous Hall effect (AHE), in ferromagnetic Weyl semimetals (FM-WSMs). Candidates of FM-WSM are limited to materials that preserve inversion symmetry and generate Weyl crossings by breaking time-reversal symmetry. These materials share three common features: a centrosymmetric lattice, a collinear FM ordering, and a large AHE observed when the field is parallel to the magnetic easy-axis. Here, we present CeAlSi as a new type of FM-WSM, where the Weyl nodes are stabilized by breaking inversion symmetry, but their positions are tuned by breaking time-reversal symmetry. Unlike the other FM-WSMs, CeAlSi has a noncentrosymmetric lattice, a noncollinear FM ordering, and a novel AHE that is anisotropic between the easy- and hard-axes. It also exhibits large FM domains that are promising for both device applications and an interplay between the Weyl nodes and FM domain walls.


title: A general formulation for the magnetic oscillations in two dimensional systems

abstract: We develop a general formalism for the magnetic oscillations (MO) in two dimensional (2D) systems. We consider general 2D Landau levels, which may depend on other variable or indices, besides the perpendicular magnetic field. In the ground state, we obtain expressions for the MO phase and amplitude. From this we use a Fourier expansion to write the MO, with the first term being a sawtooth oscillation. We also consider the effects of finite temperature, impurities or lattice imperfections, assuming a general broadening of the Landau levels. We develop two methods for describing these damping effects in the MO. One in terms of the occupancy of the Landau levels, the other in terms of reduction factors, which results in a generalization of the Lifshits-Kosevich (LK) formula. We show that the first approach is particularly useful at very low damping, when only the states close to the Fermi energy are excited. In contrast, the LK formula may be more convenient at higher damping, when only few terms are needed in its harmonic expansion. We compare different damping situations, showing how the MO are broadened in each case. The general formulation presented allows to relate the properties of the MO with those of the 2D systems.


title: Increasing distillable key rate from bound entangled states by using local filtration

abstract: We show the enhancement of distillable key rate for quantum key distribution(QKD), by local filtering, for several bound entangled states. Through our work it becomes evident that the local filtration operations, while transforming one bound entangled state to another, have the potential to increase the utility of the new state for QKD. We demonstrate three examples of `one way distillable key rate' enhancement by local filtering and in this process, discover new bound entangled states which are key distillable.


title: Preimage Cardinalities of Continuous Functions

abstract: We find all subsets of $\mathbb{N}$ which occur as the set of possible cardinalities of preimages of a continuous function. We also study and answer this question for various subclasses of continuous functions.


title: 2-dimensional Coxeter groups are biautomatic

abstract: Let $W$ be a $2$-dimensional Coxeter group, that is, a one with $\frac{1}{m_{st}}+\frac{1}{m_{sr}}+\frac{1}{m_{tr}}\leq 1$ for all triples of distinct $s,t,r\in S$. We prove that $W$ is biautomatic. We do it by showing that a natural geodesic language is regular (for arbitrary $W$), and satisfies the fellow traveller property. As a consequence, by the work of Jacek \'{S}wi\k{a}tkowski, groups acting properly and cocompactly on buildings of type $W$ are also biautomatic. We also show that the fellow traveller property for the natural language fails for $W=\widetilde{A}_3$.


title: Measure of noncompactness of Sobolev embeddings on strip-like domains

abstract: We compute the precise value of the measure of noncompactness of Sobolev embeddings $W_0^{1,p}(D)\hookrightarrow L^p(D)$, $p\in(1,\infty)$, on strip-like domains $D$ of the form $\mathbb{R}^k\times\prod\limits_{i=1}^{n-k}(a_i,b_i)$. We show that such embeddings are always maximally noncompact, that is, their measure of noncompactness coincides with their norms. Furthermore, we show that not only the measure of noncompactness but also all strict $s$-numbers of the embeddings in question coincide with their norms. We also prove that the maximal noncompactness of Sobolev embeddings on strip-like domains remains valid even when Sobolev-type spaces built upon general rearrangement-invariant spaces are considered. As a by-product we obtain the explicit form for the first eigenfunction of the pseudo-$p$-Laplacian on an $n$-dimensional rectangle.


title: Forecasting temporal variation of aftershocks immediately after a main shock using Gaussian process regression

abstract: Uncovering the distribution of magnitudes and arrival times of aftershocks is a key to comprehend the characteristics of the sequence of earthquakes, which enables us to predict seismic activities and hazard assessments. However, identifying the number of aftershocks immediately after the main shock is practically difficult due to contaminations of arriving seismic waves. To overcome the difficulty, we construct a likelihood based on the detected data incorporating a detection function to which the Gaussian process regression (GPR) is applied. The GPR is capable of estimating not only the parameters of the distribution of aftershocks together with the detection function but also credible intervals for both of the parameters and the detection function. A property that distributions of both the Gaussian process and aftershocks are exponential functions leads to an efficient Bayesian computational algorithm to estimate the hyperparameters. After the validations through numerical tests, the proposed method is retrospectively applied to the catalog data related to the 2004 Chuetsu earthquake towards early forecasting of the aftershocks. The result shows that the proposed method stably estimates the parameters of the distribution simultaneously their credible intervals even within three hours after the main shock.


title: Anomalous scattering and transport in chiral matter

abstract: Chiral anomaly modifies the scattering processes in chiral systems which can be computed using the Maxwell-Chern-Simons theory that couples electrodynamics to the pseudoscalar field $\theta$ describing the topological charge induced be external sources. Assuming slow variation of the topological charge density, the fermion scattering cross section is computed in the Born approximation and is found to have a resonance at the scattering angles proportional to the chiral conductivity. As a result, the transport coefficients are suppressed at high temperatures. The anisotropy of the cross section arises due to the spatial variation of the topological charge; its effect on the electrical conductivity is discussed.


title: On the degree of repeated radical extensions

abstract: We answer a question posed by Mordell in 1953, in the case repeated radical extensions, and find necessary and sufficient conditions for $[F[\sqrt[m_1]{N_1},\dots,\sqrt[m_\ell]{N_\ell}]:F]=m_1\cdots m_\ell$, where $F$ is an arbitrary field of characteristic not dividing any $m_i$.


title: Spin-Induced Linear Polarization of Excitonic Emission in Antiferromagnetic van der Waals Crystals

abstract: Antiferromagnets display enormous potential in spintronics owing to its intrinsic nature, including terahertz resonance, multilevel states, and absence of stray fields. Combining with the layered nature, van der Waals (vdW) antiferromagnets hold the promise in providing new insights and new designs in two-dimensional (2D) spintronics. The zero net magnetic moments of vdW antiferromagnets strengthens the spin stability, however, impedes the correlation between spin and other excitation elements, like excitons. Such coupling is urgently anticipated for fundamental magneto-optical studies and potential opto-spintronic devices. Here, we report an ultra-sharp excitonic emission with excellent monochromaticity in antiferromagnetic nickel phosphorus trisulfides (NiPS3) from bulk to atomically thin flakes. We prove that the linear polarization of the excitonic luminescence is perpendicular to the ordered spin orientation in NiPS3. By applying an in-plane magnetic field to alter the spin orientation, we further manipulate the excitonic emission polarization. Such strong correlation between exciton and spins provides new insights for the study of magneto-optics in 2D materials, and hence opens a path for developing opto-spintronic devices and antiferromagnet-based quantum information technologies.


title: Nonasymptotic Guarantees for Spiked Matrix Recovery with Generative Priors

abstract: Many problems in statistics and machine learning require the reconstruction of a rank-one signal matrix from noisy data. Enforcing additional prior information on the rank-one component is often key to guaranteeing good recovery performance. One such prior on the low-rank component is sparsity, giving rise to the sparse principal component analysis problem. Unfortunately, there is strong evidence that this problem suffers from a computational-to-statistical gap, which may be fundamental. In this work, we study an alternative prior where the low-rank component is in the range of a trained generative network. We provide a non-asymptotic analysis with optimal sample complexity, up to logarithmic factors, for rank-one matrix recovery under an expansive-Gaussian network prior. Specifically, we establish a favorable global optimization landscape for a nonlinear least squares objective, provided the number of samples is on the order of the dimensionality of the input to the generative model. This result suggests that generative priors have no computational-to-statistical gap for structured rank-one matrix recovery in the finite data, nonasymptotic regime. We present this analysis in the case of both the Wishart and Wigner spiked matrix models.

categories: stat.ML cs.IT cs.LG math.IT math.OC math.ST stat.TH


title: An efficient algorithm for three-component key index construction

abstract: In this paper, proximity full-text searches in large text arrays are considered. A search query consists of several words. The search result is a list of documents containing these words. In a modern search system, documents that contain search query words that are near each other are more relevant than documents that do not share this trait. To solve this task, for each word in each indexed document, we need to store a record in the index. In this case, the query search time is proportional to the number of occurrences of the queried words in the indexed documents. Consequently, it is common for search systems to evaluate queries that contain frequently occurring words much more slowly than queries that contain less frequently occurring, ordinary words. For each word in the text, we use additional indexes to store information about nearby words at distances from the given word of less than or equal to MaxDistance, which is a parameter. This parameter can take a value of 5, 7, or even more. Three-component key indexes can be created for faster query execution. Previously, we presented the results of experiments showing that when queries contain very frequently occurring words, the average time of the query execution with three-component key indexes is 94.7 times less than that required when using ordinary inverted indexes. In the current work, we describe a new three-component key index building algorithm and demonstrate the correctness of the algorithm. We present the results of experiments creating such an index that is dependent on the value of MaxDistance.


title: Efficient Approximate Minimum Entropy Coupling of Multiple Probability Distributions

abstract: Given a collection of probability distributions $p_{1},\ldots,p_{m}$, the minimum entropy coupling is the coupling $X_{1},\ldots,X_{m}$ ($X_{i}\sim p_{i}$) with the smallest entropy $H(X_{1},\ldots,X_{m})$. While this problem is known to be NP-hard, we present an efficient algorithm for computing a coupling with entropy within 2 bits from the optimal value. More precisely, we construct a coupling with entropy within 2 bits from the entropy of the greatest lower bound of $p_{1},\ldots,p_{m}$ with respect to majorization. This construction is also valid when the collection of distributions is infinite, and when the supports of the distributions are infinite. Potential applications of our results include random number generation, entropic causal inference, and functional representation of random variables.


title: An Incremental Gradient Method for Large-scale Distributed Nonlinearly Constrained Optimization

abstract: Motivated by applications arising from sensor networks and machine learning, we consider the problem of minimizing a finite sum of nondifferentiable convex functions where each component function is associated with an agent and a hard-to-project constraint set. Among well-known avenues to address finite sum problems is the class of incremental gradient (IG) methods where a single component function is selected at each iteration in a cyclic or randomized manner. When the problem is constrained, the existing IG schemes (including projected IG, proximal IAG, and SAGA) require a projection step onto the feasible set at each iteration. Consequently, the performance of these schemes is afflicted with costly projections when the problem includes: (1) nonlinear constraints, or (2) a large number of linear constraints. Our focus in this paper lies in addressing both of these challenges. We develop an algorithm called averaged iteratively regularized incremental gradient (aIR-IG) that does not involve any hard-to-project computation. Under mild assumptions, we derive non-asymptotic rates of convergence for both suboptimality and infeasibility metrics. Numerically, we show that the proposed scheme outperforms the standard projected IG methods on distributed soft-margin support vector machine problems.


title: Two dimensional nonlinear Schr\"odinger equation with spatial white noise potential and fourth order nonlinearity

abstract: We consider NLS on $\T^2$ with multiplicative spatial white noise and nonlinearity between cubic and quartic. We prove global existence, uniqueness and convergence almost surely of solutions to a family of properly regularized and renormalized approximating equations. In particular we extend a previous result by A. Debussche and H. Weber available in the cubic and sub-cubic setting.


title: Anomalous Klein paradox due to misalignment of optically-tunable elliptical dispersion for Dirac-cone dressed states and direction of incoming particles

abstract: After having derived boundary conditions for dressed-state electrons in a dice lattice, we investigate the electron tunneling through a square electrostatic potential barrier in both dice lattices and graphene under a linearly-polarized off-resonance and high-frequency dressing field, and demonstrate the anomalous Klein paradox for a nonzero incident angle, resulted from the misalignment of optically-controllable elliptical dispersion for Dirac-cone dressed states and the direction of incoming kinetic particles in our system. This finite incident angle is found depending on the type of light polarization, the light-induced anisotropy in energy dispersion and the strength of electron-light coupling. Meanwhile, we also observe much larger off-peak transmission amplitudes in dice lattices in comparison with graphene. We expect the theoretical results in this paper could be used for wide range of Dirac materials and applied to controlling both coherent tunneling and ballistic transport of electrons for constructing novel optical and electronic nano-scale switching devices.


title: About essential spectra of unbounded Jacobi matrices

abstract: We study spectral properties of unbounded Jacobi matrices with periodically modulated or blended entries. Our approach is based on uniform asymptotic analysis of generalized eigenvectors. We determine when the studied operators are self-adjoint. We identify regions where the point spectrum has no accumulation points. This allows us to completely describe the essential spectrum of these operators.


title: Theoretical Spectroscopic Investigation of Hydrogen Bonding and Hydrophobicity

abstract: Hydrophobic solutes significantly alters water hydrogen bond network. The local alteration of solvation struc-tures get reflected in the vibrational spectroscopic signal. Although it is possible to detect this microscopicfeatures by modern infrared spectroscopy, however, bulk phase spectra often comes with formidable challengeof establishing the connection among the experimental spectra to molecular structures. Theoretical spec-troscopy can serve as more powerful tool even where spectroscopic data cannot provide microscopic picture.In the present work, we build a theoretical spectroscopic map based on mixed quantum-classical molecularsimulation approach using methane in water system. The single oscillator level O-H stretch frequency is wellcorrelated with a collective variable solvation energy. We construct the spectroscopic maps for fundamentaltransition frequencies and also the transition dipoles. A bimodal frequency distribution with a blue shiftedpopulation of transition frequency illustrates presence of gas like water molecules in the hydration shell ofmethane. This observation is further complemented by a shell-wise decomposition of the O-H stretch fre-quencies. We observe a significant increase in ordering of the first solvation water except the water molecules,which are directly facing the methane molecule. This is manifested in redshift of the observed transition fre-quencies. Temperature dependent simulations depict that the water molecules facing to the methane moleculebehave similar to the high temperature water and the rest of the first shell water molecules behave more likecold water.


title: Characterization of some alternating groups by order and the largest element order

abstract: The prime graph (or Gruenberg-Kegel graph) of a finite group $G$ is a familiar graph. In this paper first, we investigate the structure of the finite groups with a non-complete prime graph. Then we prove that every alternating group $A_{n}$, where $n\leq20$ or $n\in\{23,24\}$ is determined by its order and its largest element order.


title: Nonsingular black hole in two-dimensional asymptotically flat spacetime

abstract: We study a special two-dimensional dilaton gravity with Lagrangian $\mathcal{L}=\frac{1}{2}\sqrt{-g}(\phi R+{\lambda^2}{\rm sech}^2\phi)$ where $\lambda$ is a parameter of dimension mass. This theory describes two-dimensional spacetimes that are asymptotically flat. Very interestingly, it has an exact solution for the metric, $\d s^2=-(c+\tanh \lambda x)\d t^2+ \d x^2/(c+\tanh {\lambda} x)$, parametrized by $c$. For $c\in(-1,1)$, the solution presents an event horizon but no singularity. Because of the kink profile for the metric components appearing in the solution, we refer to the spacetime described by the metric as a {\it gravitational domain wall} with the wall simply being the event horizon and separating two asymptotically Minkowskian spacetimes. The global causal structure for such an object is studied via coordinate extension and the thermodynamical quantities are computed. Only when $c\in(-1,0]$ are the entropy and energy non-negative.


title: Protecting Quantum Superposition and Entanglement with Photonic Higher-Order Topological Crystalline Insulator

abstract: Higher-order topological insulator, as a newly found non-trivial material and structure, possesses a topological phase beyond the bulk-boundary correspondence. Here, we present an experimental observation of photonic higher-order topological crystalline insulator and its topological protection to quantum superposition and entanglement in a two-dimensional lattice. By freely writing the insulator structure with femtosecond laser and directly measuring evolution dynamics with single-photon imaging techniques, we are able to observe the distinct features of the topological corner states in C_4 and C_2 photonic lattice symmetry. Especially, we propose and experimentally identify the topological corner states by exciting the photonic lattice with single-photon superposition state, and we examine the protection impact of topology on quantum entanglement for entangled photon states. The single-photon dynamics and the protected entanglement reveal an intrinsic topological protection mechanism isolating multi-partite quantum states from diffusion-induced decoherence. The higher-order topological crystalline insulator, built-in superposition state generation, heralded single-photon imaging and quantum entanglement demonstrated here link topology, material, and quantum physics, opening the door to wide investigations of higher-order topology and applications of topological enhancement in genuine quantum regime.


title: Accelerating CFD simulation with high order finite difference method on curvilinear coordinates for modern GPU clusters

abstract: A high fidelity flow simulation for complex geometries for high Reynolds number ($Re$) flow is still very challenging, which requires more powerful computational capability of HPC system. However, the development of HPC with traditional CPU architecture suffers bottlenecks due to its high power consumption and technical difficulties. Heterogeneous architecture computation is raised to be a promising solution of difficulties of HPC development. GPU accelerating technology has been utilized in low order scheme CFD solvers on structured grid and high order scheme solvers on unstructured meshes. The high order finite difference methods on structured grid possess many advantages, e.g. high efficiency, robustness and low storage, however, the strong dependence among points for a high order finite difference scheme still limits its application on GPU platform. In present work, we propose a set of hardware-aware technology to optimize the efficiency of data transfer between CPU and GPU, and efficiency of communication between GPUs. An in-house multi-block structured CFD solver with high order finite difference methods on curvilinear coordinates is ported onto GPU platform, and obtain satisfying performance with speedup maximum around 2000x over a single CPU core. This work provides efficient solution to apply GPU computing in CFD simulation with certain high order finite difference methods on current GPU heterogeneous computers. The test shows that significant accelerating effects can been achieved for different GPUs.


title: Meta Approach to Data Augmentation Optimization

abstract: Data augmentation policies drastically improve the performance of image recognition tasks, especially when the policies are optimized for the target data and tasks. In this paper, we propose to optimize image recognition models and data augmentation policies simultaneously to improve the performance using gradient descent. Unlike prior methods, our approach avoids using proxy tasks or reducing search space, and can directly improve the validation performance. Our method achieves efficient and scalable training by approximating the gradient of policies by implicit gradient with Neumann series approximation. We demonstrate that our approach can improve the performance of various image classification tasks, including ImageNet classification and fine-grained recognition, without using dataset-specific hyperparameter tuning.


title: Scattering-free routing of surface plasmon polariton waves with optical null medium

abstract: Recently, guiding electromagnetic surface waves without sacrificing scattering losses through paths that have arbitrary shape bumps has gained a lot of interest due to its wealth of advantages in modern photonics and plasmonics devices. In this study, based on transformation optics (TO) methodology, a feasible approach to control the flow of surface plasmon plariton (SPPs) at metal-dielectric interfaces with arbitrary curvature is proposed. The obtained material becomes homogeneous and independent of the bump's geometry. That is, one constant material is required to route SPP waves without scattering the energy into the far-field region, which overcome the bottlenecks encountered in the previous works. Several numerical simulations are carried out to illustrate the capability of the propounded cloak to control the SPP flows at metal/dielectric interfaces. The unique designing approach introduced here may open a new horizon to nano-optics and downscaling of photonic circuits.


title: Identification of main factors affecting trust and determination of their importance in electronic businesses in Iran

abstract: Today, trust has become one of the main concerns of the electronic business in Iran. The role of trust especially in electronic businesses those directly deal with selling physical goods through internet is a lot more evident. Reviewing literature shows that several factors affect establishing of trust in potential customers. Since trust establishment needs to be noticed in each triple stages of an electronic purchase (before, during and finally after purchase). In this study by using field research, the importance of influential factors affecting the potential customers in three stages of an electronic purchase is determined. Based on the results from conducting the research, the certainty of traceability of the purchase with importance factor of 85.97% in pre-purchase stage, safety of transactions and the time of delivery of goods with the importance factor of 85.67% in the middle stage of the purchase and receiving a fault-free and undamaged good with the importance factor of 89.55% in the post purchase stage make up the top three most important factors.


title: Relational reasoning and generalization using non-symbolic neural networks

abstract: The notion of equality (identity) is simple and ubiquitous, making it a key case study for broader questions about the representations supporting abstract relational reasoning. Previous work suggested that neural networks were not suitable models of human relational reasoning because they could not represent mathematically identity, the most basic form of equality. We revisit this question. In our experiments, we assess out-of-sample generalization of equality using both arbitrary representations and representations that have been pretrained on separate tasks to imbue them with structure. We find neural networks are able to learn (1) basic equality (mathematical identity), (2) sequential equality problems (learning ABA-patterned sequences) with only positive training instances, and (3) a complex, hierarchical equality problem with only basic equality training instances ("zero-shot'" generalization). In the two latter cases, our models perform tasks proposed in previous work to demarcate human-unique symbolic abilities. These results suggest that essential aspects of symbolic reasoning can emerge from data-driven, non-symbolic learning processes.


title: Coordinated Control of UAVs for Human-Centered Active Sensing of Wildfires

abstract: Fighting wildfires is a precarious task, imperiling the lives of engaging firefighters and those who reside in the fire's path. Firefighters need online and dynamic observation of the firefront to anticipate a wildfire's unknown characteristics, such as size, scale, and propagation velocity, and to plan accordingly. In this paper, we propose a distributed control framework to coordinate a team of unmanned aerial vehicles (UAVs) for a human-centered active sensing of wildfires. We develop a dual-criterion objective function based on Kalman uncertainty residual propagation and weighted multi-agent consensus protocol, which enables the UAVs to actively infer the wildfire dynamics and parameters, track and monitor the fire transition, and safely manage human firefighters on the ground using acquired information. We evaluate our approach relative to prior work, showing significant improvements by reducing the environment's cumulative uncertainty residual by more than $ 10^2 $ and $ 10^5 $ times in firefront coverage performance to support human-robot teaming for firefighting. We also demonstrate our method on physical robots in a mock firefighting exercise.


title: Tackling Morpion Solitaire with AlphaZero-likeRanked Reward Reinforcement Learning

abstract: Morpion Solitaire is a popular single player game, performed with paper and pencil. Due to its large state space (on the order of the game of Go) traditional search algorithms, such as MCTS, have not been able to find good solutions. A later algorithm, Nested Rollout Policy Adaptation, was able to find a new record of 82 steps, albeit with large computational resources. After achieving this record, to the best of our knowledge, there has been no further progress reported, for about a decade. In this paper we take the recent impressive performance of deep self-learning reinforcement learning approaches from AlphaGo/AlphaZero as inspiration to design a searcher for Morpion Solitaire. A challenge of Morpion Solitaire is that the state space is sparse, there are few win/loss signals. Instead, we use an approach known as ranked reward to create a reinforcement learning self-play framework for Morpion Solitaire. This enables us to find medium-quality solutions with reasonable computational effort. Our record is a 67 steps solution, which is very close to the human best (68) without any other adaptation to the problem than using ranked reward. We list many further avenues for potential improvement.


title: All-or-nothing statistical and computational phase transitions in sparse spiked matrix estimation

abstract: We determine statistical and computational limits for estimation of a rank-one matrix (the spike) corrupted by an additive gaussian noise matrix, in a sparse limit, where the underlying hidden vector (that constructs the rank-one matrix) has a number of non-zero components that scales sub-linearly with the total dimension of the vector, and the signal-to-noise ratio tends to infinity at an appropriate speed. We prove explicit low-dimensional variational formulas for the asymptotic mutual information between the spike and the observed noisy matrix and analyze the approximate message passing algorithm in the sparse regime. For Bernoulli and Bernoulli-Rademacher distributed vectors, and when the sparsity and signal strength satisfy an appropriate scaling relation, we find all-or-nothing phase transitions for the asymptotic minimum and algorithmic mean-square errors. These jump from their maximum possible value to zero, at well defined signal-to-noise thresholds whose asymptotic values we determine exactly. In the asymptotic regime the statistical-to-algorithmic gap diverges indicating that sparse recovery is hard for approximate message passing.

categories: cs.IT cond-mat.dis-nn cs.LG math.IT math.PR


title: Sub-Seasonal Climate Forecasting via Machine Learning: Challenges, Analysis, and Advances

abstract: Sub-seasonal climate forecasting (SSF) focuses on predicting key climate variables such as temperature and precipitation in the 2-week to 2-month time scales. Skillful SSF would have immense societal value, in areas such as agricultural productivity, water resource management, transportation and aviation systems, and emergency planning for extreme weather events. However, SSF is considered more challenging than either weather prediction or even seasonal prediction. In this paper, we carefully study a variety of machine learning (ML) approaches for SSF over the US mainland. While atmosphere-land-ocean couplings and the limited amount of good quality data makes it hard to apply black-box ML naively, we show that with carefully constructed feature representations, even linear regression models, e.g., Lasso, can be made to perform well. Among a broad suite of 10 ML approaches considered, gradient boosting performs the best, and deep learning (DL) methods show some promise with careful architecture choices. Overall, suitable ML methods are able to outperform the climatological baseline, i.e., predictions based on the 30-year average at a given location and time. Further, based on studying feature importance, ocean (especially indices based on climatic oscillations such as El Nino) and land (soil moisture) covariates are found to be predictive, whereas atmospheric covariates are not considered helpful.


title: Deformation mechanisms of Inconel-718 at nanoscale by molecular dynamics

abstract: Ni-based superalloy Inconel-718 is ubiquitous in metal 3D printing where high cooling rate and thermal gradient are present. These manufacturing conditions are conducive to high initial dislocation density and porosity or void in the material. This work proposes a molecular dynamics (MD) analysis method that can examine the role of dislocations, cooling rates, void, and their interactions governing the material properties and failure mechanism in Inconel-718 using Embedded Atom Method (EAM) potential. Three different structures: nanowire (NW), nanopillar, and nanoplate are used throughout this work. Initially, strain rates are varied from 10^8s^-1 to 10^10s^-1 keeping the NW diameter and temperature constant at 3.17 nm and 300K respectively. Compressive loading is applied to a 7.04 nm nanopillar by applying a constant strain rate of 109 s^-1 while temperature is varied from 100K to 700K. Different cooling rates ranging from 0.5x10^10 K/s to 1 x 10^14 K/s are applied to nanoplates (with and without a central void). The size of the central void is kept fixed at 2.12 nm. Increasing strain rates in tension not only results in strain hardening but also increase in dislocation density. Our computational method is successful to capture extensive sliding on {111} shear plane, which leads to significant necking of the alloy before fracture due to dislocation. The high cooling rates creating non-equilibrium structure leads to high strength and ductile behavior. On the other hand, the low cooling rate forming well defined crystalline structure causes low strength and brittle behavior. This brittle to ductile transition is observed solely due to cooling rate. Cooling rate may diminish the void by healing the structure during solidifications process. Subsequent mechanical properties by varying temperature and size are also presented in detail.


title: Force and pressure in many-particle quantum dynamics

abstract: The Newtonian concept of force may be useful in some aspects of the dynamics of many-particle quantum systems such as fissioning nuclei. Following Ehrenfest's method, we show that the quantum kinetic force between parts of an extended quantum system can be described by an operator acting on the boundary between the two subsystems. The contribution to the force due to a short-ranged particle interaction can also be treated in the same way. This includes interaction effects treated in density functional theory by local functionals. The force operators are applied to several simple models to demonstrate the method.


title: Bulk Viscous Damping of Density Oscillations in Neutron Star Mergers

abstract: In this paper, we discuss the damping of density oscillations in dense nuclear matter in the temperature range relevant to neutron star mergers. This damping is due to bulk viscosity arising from the weak interaction ``Urca'' processes of neutron decay and electron capture. The nuclear matter is modelled in the relativistic density functional approach. The bulk viscosity reaches a resonant maximum close to the neutrino trapping temperature, then drops rapidly as temperature rises into the range where neutrinos are trapped in neutron stars. We investigate the bulk viscous dissipation timescales in a post-merger object and identify regimes where these timescales are as short as the characteristic timescale $\sim$10 ms, and, therefore, might affect the evolution of the post-merger object. Our analysis indicates that bulk viscous damping would be important at not too high temperatures of the order of a few MeV and densities up to a few times saturation density.


title: Actor-Context-Actor Relation Network for Spatio-Temporal Action Localization

abstract: Localizing persons and recognizing their actions from videos is a challenging task towards high-level video understanding. Recent advances have been achieved by modeling direct pairwise relations between entities. In this paper, we take one step further, not only model direct relations between pairs but also take into account indirect higher-order relations established upon multiple elements. We propose to explicitly model the Actor-Context-Actor Relation, which is the relation between two actors based on their interactions with the context. To this end, we design an Actor-Context-Actor Relation Network (ACAR-Net) which builds upon a novel High-order Relation Reasoning Operator and an Actor-Context Feature Bank to enable indirect relation reasoning for spatio-temporal action localization. Experiments on AVA and UCF101-24 datasets show the advantages of modeling actor-context-actor relations, and visualization of attention maps further verifies that our model is capable of finding relevant higher-order relations to support action detection. Notably, our method ranks first in the AVA-Kineticsaction localization task of ActivityNet Challenge 2020, out-performing other entries by a significant margin (+6.71mAP). Training code and models will be available at https://github.com/Siyu-C/ACAR-Net.


title: Word problems and ceers

abstract: This note addresses the issue as to which ceers can be realized by word problems of computably enumerable (or, simply, c.e.) structures (such as c.e. semigroups, groups, and rings), where being realized means to fall in the same reducibility degree (under the notion of reducibility for equivalence relations usually called "computable reducibility"), or in the same isomorphism type (with the isomorphism induced by a computable function), or in the same strong isomorphism type (with the isomorphism induced by a computable permutation of the natural numbers). We observe for instance that every ceer is isomorphic to the word problem of some c.e. semigroup, but (answering a question of Gao and Gerdes) not every ceer is in the same reducibility degree of the word problem of some finitely presented semigroup, nor is it in the same reducibility degree of some non-periodic semigroup. We also show that the ceer provided by provable equivalence of Peano Arithmetic is in the same strong isomorphism type as the word problem of some non-commutative and non-Boolean c.e. ring.


title: Small ball probabilities and a support theorem for the stochastic heat equation

abstract: We consider the following stochastic partial differential equation on $t \geq 0, x\in[0,J], J \geq 1$ where we consider $[0,J]$ to be the circle with end points identified: \begin{equation*} \partial_t{\mathbf u}(t,x) =\frac{1}{2}\,\partial_x^2 {\mathbf u}(t,x) + {\mathbf g}(t,x,\mathbf u) + {\mathbf \sigma}(t,x, {\mathbf u})\dot {\mathbf W}(t,x) , \end{equation*} and $\dot {\mathbf W }(t,x)$ is 2-parameter $d$-dimensional vector valued white noise and ${\mathbf \sigma}$ is function from ${\mathbb R}_+\times {\mathbb R} \times {\mathbb R}^d \rightarrow {\mathbb R}^d$ to space of symmetric $d\times d$ matrices which is Lipschitz in $\mathbf u$. We assume that $\sigma$ is uniformly elliptic and that $\mathbf g$ is uniformly bounded. Assuming that ${\mathbf u}(0,x) \equiv \mathbf 0$, we prove small-ball probabilities for the solution $\mathbf u$. We also prove a support theorem for solutions, when ${\mathbf u}(0,x)$ is not necessarily zero.


title: Moser-Trudinger inequalities and complex Monge-Ampere equation

abstract: Our aim is to give a version of the Moser-Trudinger inequality in the setting of complex geometry. As a very particular case, our result already gives a new Moser-Trudinger inequality for functions in the Sobolev space $W^{1,2}$ of a domain in $R^2$. We also deduce a new necessary condition for the complex Monge-Ampere equation for a given measure on a compact Kahler manifold to admit a Holder continuous solution.


title: Application of Data Science to Discover Violence-Related Issues in Iraq

abstract: Data science has been satisfactorily used to discover social issues in several parts of the world. However, there is a lack of governmental open data to discover those issues in countries such as Iraq. This situation arises the following questions: how to apply data science principles to discover social issues despite the lack of open data in Iraq? How to use the available data to make predictions in places without data? Our contribution is the application of data science to open non-governmental big data from the Global Database of Events, Language, and Tone (GDELT) to discover particular violence-related social issues in Iraq. Specifically we applied the K-Nearest Neighbors, N\"aive Bayes, Decision Trees, and Logistic Regression classification algorithms to discover the following issues: refugees, humanitarian aid, violent protests, fights with artillery and tanks, and mass killings. The best results were obtained with the Decision Trees algorithm to discover areas with refugee crises and artillery fights. The accuracy for these two events is 0.7629. The precision to discover the locations of refugee crises is 0.76, the recall is 0.76, and the F1-score is 0.76. Also, our approach discovers the locations of artillery fights with a precision of 0.74, a recall of 0.75, and a F1-score of 0.75.


title: Geodesic-HOF: 3D Reconstruction Without Cutting Corners

abstract: Single-view 3D object reconstruction is a challenging fundamental problem in computer vision, largely due to the morphological diversity of objects in the natural world. In particular, high curvature regions are not always captured effectively by methods trained using only set-based loss functions, resulting in reconstructions short-circuiting the surface or cutting corners. In particular, high curvature regions are not always captured effectively by methods trained using only set-based loss functions, resulting in reconstructions short-circuiting the surface or cutting corners. To address this issue, we propose learning an image-conditioned mapping function from a canonical sampling domain to a high dimensional space where the Euclidean distance is equal to the geodesic distance on the object. The first three dimensions of a mapped sample correspond to its 3D coordinates. The additional lifted components contain information about the underlying geodesic structure. Our results show that taking advantage of these learned lifted coordinates yields better performance for estimating surface normals and generating surfaces than using point cloud reconstructions alone. Further, we find that this learned geodesic embedding space provides useful information for applications such as unsupervised object decomposition.


title: ShapeFlow: Learnable Deformations Among 3D Shapes

abstract: We present ShapeFlow, a flow-based model for learning a deformation space for entire classes of 3D shapes with large intra-class variations. ShapeFlow allows learning a multi-template deformation space that is agnostic to shape topology, yet preserves fine geometric details. Different from a generative space where a latent vector is directly decoded into a shape, a deformation space decodes a vector into a continuous flow that can advect a source shape towards a target. Such a space naturally allows the disentanglement of geometric style (coming from the source) and structural pose (conforming to the target). We parametrize the deformation between geometries as a learned continuous flow field via a neural network and show that such deformations can be guaranteed to have desirable properties, such as be bijectivity, freedom from self-intersections, or volume preservation. We illustrate the effectiveness of this learned deformation space for various downstream applications, including shape generation via deformation, geometric style transfer, unsupervised learning of a consistent parameterization for entire classes of shapes, and shape interpolation.


title: A new consistent Neutron Star Equation of State from a Generalized Skyrme model

abstract: We propose a new equation of state for nuclear matter based on a generalized Skyrme model which is consistent with all current constraints on the observed properties of neutron stars. This generalized model depends only on two free parameters related to the ranges of pressure values at which different submodels are dominant, and which can be adjusted so that mass-radius and deformability constraints from astrophysical and gravitational wave measurements can be met. Our results support the Skyrme model and its generalizations as good candidates for a low energy effective field-theoretic description of nuclear matter even at extreme conditions such as those inside neutron stars.


title: Tetra-hyperbolic and tri-hyperbolic optical phases in anisotropic metamaterials without magnetoelectric coupling due to hybridization of plasmonic and magnetic Bloch high-k polaritons

abstract: In this paper we reveal the physics behind the formation of tri- and tetra-hyperbolic phases in anisotropic metamaterials without magnetoelectric coupling and describe the anti-crossing splitting phenomenon in the hyperbolic dispersion which arises due to the hybridization of the plasmonic and magnetic Bloch high-k polaritons. This considerably deepens the understanding of the high-k polaritons and the topology of the optical iso-frequency surfaces in k-space and will find applications in optical nano-resolution imaging and emission rate and directivity control. To accomplish this, we develop a range of new techniques of theoretical optics for bianisotropic materials, including the quadratic index of refraction operator method, suitable to study the high-k polaritons with finite indices of refraction and the explicit expression for the characteristic matrix in generic bianisotropic media. We introduce the spatial stratification approach for the electric and magnetic responses of anisotropic homogeneous media to analyze the underlying Bloch waves. We believe that the formalisms developed here can be useful for the researchers in the field of theoretical optics of anisotropic and bianisotropic media in the future.


title: Explaining Predictions by Approximating the Local Decision Boundary

abstract: Constructing accurate model-agnostic explanations for opaque machine learning models remains a challenging task. Classification models for high-dimensional data, like images, are often inherently complex. To reduce this complexity, individual predictions may be explained locally, either in terms of a simpler local surrogate model or by communicating how the predictions contrast with those of another class. However, existing approaches still fall short in the following ways: a) they measure locality using a (Euclidean) metric that is not meaningful for non-linear high-dimensional data; or b) they do not attempt to explain the decision boundary, which is the most relevant characteristic of classifiers that are optimized for classification accuracy; or c) they do not give the user any freedom in specifying attributes that are meaningful to them. We address these issues in a new procedure for local decision boundary approximation (DBA). To construct a meaningful metric, we train a variational autoencoder to learn a Euclidean latent space of encoded data representations. We impose interpretability by exploiting attribute annotations to map the latent space to attributes that are meaningful to the user. A difficulty in evaluating explainability approaches is the lack of a ground truth. We address this by introducing a new benchmark data set with artificially generated Iris images, and showing that we can recover the latent attributes that locally determine the class. We further evaluate our approach on tabular data and on the CelebA image data set.


title: Fairness Under Feature Exemptions: Counterfactual and Observational Measures

abstract: With the growing use of ML in highly consequential domains, quantifying disparity with respect to protected attributes, e.g., gender, race, etc., is important. While quantifying disparity is essential, sometimes the needs of an occupation may require the use of certain features that are critical in a way that any disparity that can be explained by them might need to be exempted. E.g., in hiring a software engineer for a safety-critical application, coding-skills may be weighed strongly, whereas name, zip code, or reference letters may be used only to the extent that they do not add disparity. In this work, we propose an information-theoretic decomposition of the total disparity (a quantification inspired from counterfactual fairness) into two components: a non-exempt component which quantifies the part that cannot be accounted for by the critical features, and an exempt component that quantifies the remaining disparity. This decomposition allows one to check if the disparity arose purely due to the critical features (inspired from the business necessity defense of disparate impact law) and also enables selective removal of the non-exempt component if desired. We arrive at this decomposition through canonical examples that lead to a set of desirable properties (axioms) that a measure of non-exempt disparity should satisfy. Our proposed measure satisfies all of them. Our quantification bridges ideas of causality, Simpson's paradox, and a body of work from information theory called Partial Information Decomposition. We also obtain an impossibility result showing that no observational measure can satisfy all the desirable properties, leading us to relax our goals and examine observational measures that satisfy only some of them. We perform case studies to show how one can audit/train models while reducing non-exempt disparity.


title: High $\ell$-torsion rank for class groups over function fields

abstract: We prove that in the function field setting, $\ell$-torsion in the class groups of quadratic fields can be arbitrarily large. In fact, we explicitly produce a family whose $\ell$-rank growth matches the growth in the setting of genus theory, which might be best possible. We do this by specifically focusing on the Artin-Schreir curves $y^2=x^q-x$.


title: Adaptive Universal Generalized PageRank Graph Neural Network

abstract: In many important graph data processing applications the acquired information includes both node features and observations of the graph topology. Graph neural networks (GNNs) are designed to exploit both sources of evidence but they do not optimally trade-off their utility and integrate them in a manner that is also universal. Here, universality refers to independence on homophily or heterophily graph assumptions. We address these issues by introducing a new Generalized PageRank (GPR) GNN architecture that adaptively learns the GPR weights so as to jointly optimize node feature and topological information extraction, regardless of the extent to which the node labels are homophilic or heterophilic. Learned GPR weights automatically adjust to the node label pattern, irrelevant on the type of initialization, and thereby guarantee excellent learning performance for label patterns that are usually hard to handle. Furthermore, they allow one to avoid feature over-smoothing, a process which renders feature information nondiscriminative, without requiring the network to be shallow. Our accompanying theoretical analysis of the GPR-GNN method is facilitated by novel synthetic benchmark datasets generated by the so-called contextual stochastic block model. We also compare the performance of our GNN architecture with that of several state-of-the-art GNNs on the problem of node-classification, using well-known benchmark homophilic and heterophilic datasets. The results demonstrate that GPR-GNN offers significant performance improvement compared to existing techniques on both synthetic and benchmark data.


title: GradAug: A New Regularization Method for Deep Neural Networks

abstract: We propose a new regularization method to alleviate over-fitting in deep neural networks. The key idea is utilizing randomly transformed training samples to regularize a set of sub-networks, which are originated by sampling the width of the original network, in the training process. As such, the proposed method introduces self-guided disturbances to the raw gradients of the network and therefore is termed as Gradient Augmentation (GradAug). We demonstrate that GradAug can help the network learn well-generalized and more diverse representations. Moreover, it is easy to implement and can be applied to various structures and applications. GradAug improves ResNet-50 to 78.79% on ImageNet classification, which is a new state-of-the-art accuracy. By combining with CutMix, it further boosts the performance to 79.67%, which outperforms an ensemble of advanced training tricks. The generalization ability is evaluated on COCO object detection and instance segmentation where GradAug significantly surpasses other state-of-the-art methods. GradAug is also robust to image distortions and FGSM adversarial attacks and is highly effective in low data regimes. Code is available at https://github.com/taoyang1122/GradAug


title: Optimal Lottery Tickets via SubsetSum: Logarithmic Over-Parameterization is Sufficient

abstract: The strong {\it lottery ticket hypothesis} (LTH) postulates that one can approximate any target neural network by only pruning the weights of a sufficiently over-parameterized random network. A recent work by Malach et al. \cite{MalachEtAl20} establishes the first theoretical analysis for the strong LTH: one can provably approximate a neural network of width $d$ and depth $l$, by pruning a random one that is a factor $O(d^4l^2)$ wider and twice as deep. This polynomial over-parameterization requirement is at odds with recent experimental research that achieves good approximation with networks that are a small factor wider than the target. In this work, we close the gap and offer an exponential improvement to the over-parameterization requirement for the existence of lottery tickets. We show that any target network of width $d$ and depth $l$ can be approximated by pruning a random network that is a factor $O(\log(dl))$ wider and twice as deep. Our analysis heavily relies on connecting pruning random ReLU networks to random instances of the \textsc{SubsetSum} problem. We then show that this logarithmic over-parameterization is essentially optimal for constant depth networks. Finally, we verify several of our theoretical insights with experiments.


title: Emergent Properties of Foveated Perceptual Systems

abstract: The goal of this work is to characterize the representational impact that foveation operations have for machine vision systems, inspired by the foveated human visual system, which has higher acuity at the center of gaze and texture-like encoding in the periphery. To do so, we introduce models consisting of a first-stage \textit{fixed} image transform followed by a second-stage \textit{learnable} convolutional neural network, and we varied the first stage component. The primary model has a foveated-textural input stage, which we compare to a model with foveated-blurred input and a model with spatially-uniform blurred input (both matched for perceptual compression), and a final reference model with minimal input-based compression. We find that: 1) the foveated-texture model shows similar scene classification accuracy as the reference model despite its compressed input, with greater i.i.d. generalization than the other models; 2) the foveated-texture model has greater sensitivity to high-spatial frequency information and greater robustness to occlusion, w.r.t the comparison models; 3) both the foveated systems, show a stronger center image-bias relative to the spatially-uniform systems even with a weight sharing constraint. Critically, these results are preserved over different classical CNN architectures throughout their learning dynamics. Altogether, this suggests that foveation with peripheral texture-based computations yields an efficient, distinct, and robust representational format of scene information, and provides symbiotic computational insight into the representational consequences that texture-based peripheral encoding may have for processing in the human visual system, while also potentially inspiring the next generation of computer vision models via spatially-adaptive computation. Code + Data available here: https://github.com/ArturoDeza/EmergentProperties


title: The role of multiple repetitions on the size of a rumor

abstract: We propose a mathematical model to measure how multiple repetitions may influence in the ultimate proportion of the population never hearing a rumor during a given outbreak. The model is a multi-dimensional continuous-time Markov chain that can be seen as a generalization of the Maki-Thompson model for the propagation of a rumor within a homogeneously mixing population. In the well-known basic model, the population is made up of "spreaders", "ignorants" and "stiflers", and any spreader attempts to transmit the rumor to the other individuals via directed contacts. In case the contacted individual is an ignorant, it becomes a spreader, while in the other two cases the initiating spreader turns into a stifler. The process in a finite population will eventually reach an equilibrium situation, where individuals are either stiflers or ignorants. We generalize the model by assuming that each ignorant becomes a spreader only after hearing the rumor a predetermined number of times. We identify and analyze a suitable limiting dynamical system of the model, and we prove limit theorems that characterize the ultimate proportion of individuals in the different classes of the population.


title: Road Mapping in Low Data Environments with OpenStreetMap

abstract: Roads are among the most essential components of any country's infrastructure. By facilitating the movement and exchange of people, ideas, and goods, they support economic and cultural activity both within and across local and international borders. A comprehensive, up-to-date mapping of the geographical distribution of roads and their quality thus has the potential to act as an indicator for broader economic development. Such an indicator has a variety of high-impact applications, particularly in the planning of rural development projects where up-to-date infrastructure information is not available. This work investigates the viability of high resolution satellite imagery and crowd-sourced resources like OpenStreetMap in the construction of such a mapping. We experiment with state-of-the-art deep learning methods to explore the utility of OpenStreetMap data in road classification and segmentation tasks. We also compare the performance of models in different mask occlusion scenarios as well as out-of-country domains. Our comparison raises important pitfalls to consider in image-based infrastructure classification tasks, and shows the need for local training data specific to regions of interest for reliable performance.


title: Implementation of a simultaneous message passing protocol using optical vortices

abstract: The implementation of optical quantum gates comes at the cost of incorporating a source of nonclassical light, which suffers from a low flux of photons, and thus, long acquisition times. Quantum-mimetic optical gates combine the benefits of quantum systems with the convenience of using intense light beams. Here, we are concerned with the classical implementation of a controlled-SWAP (c-SWAP) gate using the tools of structured light. A c-SWAP gate is a three-qubit gate, where one of the input qubits controls the exchange of information between the other two qubits. We use Laguerre-Gauss beams to realize the c-SWAP gate and demonstrate one of its primary applications: the comparison of two signals without revealing their content, i.e., a simultaneous message-passing protocol. We achieve signal-comparison measurements with modulation speeds of kHz using a digital micromirror device as a spatial light modulator. Our system is capable of performing dynamic error analysis and a normalization procedure, which overcomes the necessity of data postprocessing and largely reduces comparison times.


title: BatVision with GCC-PHAT Features for Better Sound to Vision Predictions

abstract: Inspired by sophisticated echolocation abilities found in nature, we train a generative adversarial network to predict plausible depth maps and grayscale layouts from sound. To achieve this, our sound-to-vision model processes binaural echo-returns from chirping sounds. We build upon previous work with BatVision that consists of a sound-to-vision model and a self-collected dataset using our mobile robot and low-cost hardware. We improve on the previous model by introducing several changes to the model, which leads to a better depth and grayscale estimation, and increased perceptual quality. Rather than using raw binaural waveforms as input, we generate generalized cross-correlation (GCC) features and use these as input instead. In addition, we change the model generator and base it on residual learning and use spectral normalization in the discriminator. We compare and present both quantitative and qualitative improvements over our previous BatVision model.


title: Ideal memristor based on viscous magnetization dynamics driven by spin torque

abstract: We show that ideal memristors - devices whose resistance is proportional to the charge that flows through them - can be realized using spin torque-driven viscous magnetization dynamics. The latter can be accomplished in the spin liquid state of thin-film heterostructures with frustrated exchange, where memristive response is tunable by proximity to the glass transition, while current-induced Joule heating facilitates nonvolatile operation and second-order memristive functionality beneficial for neuromorphic applications. Ideal memristive behaviors can be achieved in other systems characterized by viscous dynamics of physical, electronic, or magnetic degrees of freedom.

categories: physics.app-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.mtrl-sci


title: Internal enriched categories

abstract: We introduce the theory of enrichment over an internal monoidal category as a common generalization of both the standard theories of enriched and internal categories. The aim of the paper is to justify and contextualize the new notion by comparing it to other known generalizations of enrichment: namely, those for indexed categories and for generalized multicategories. It turns out that both of these notions are closely related to internal enrichment and, as a corollary, to each other.


title: Optimal Transport for Stationary Markov Chains via Policy Iteration

abstract: We study the optimal transport problem for pairs of stationary finite-state Markov chains, with an emphasis on the computation of optimal transition couplings. Transition couplings are a constrained family of transport plans that capture the dynamics of Markov chains. Solutions of the optimal transition coupling (OTC) problem correspond to alignments of the two chains that minimize long-term average cost. We establish a connection between the OTC problem and Markov decision processes, and show that solutions of the OTC problem can be obtained via an adaptation of policy iteration. For settings with large state spaces, we develop a fast approximate algorithm based on an entropy-regularized version of the OTC problem, and provide bounds on its per-iteration complexity. We establish a stability result for both the regularized and unregularized algorithms, from which a statistical consistency result follows as a corollary. We validate our theoretical results empirically through a simulation study, demonstrating that the approximate algorithm exhibits faster overall runtime with low error. Finally, we extend the setting and application of our methods to hidden Markov models, and illustrate the potential use of the proposed algorithms in practice with an application to computer-generated music.


title: Support Estimation with Sampling Artifacts and Errors

abstract: The problem of estimating the support of a distribution is of great importance in many areas of machine learning, computer science, physics and biology. Most of the existing work in this domain has focused on settings that assume perfectly accurate sampling approaches, which is seldom true in practical data science. Here we introduce the first known approach to support estimation in the presence of sampling artifacts and errors where each sample is assumed to arise from a Poisson repeat channel which simultaneously captures repetitions and deletions of samples. The proposed estimator is based on regularized weighted Chebyshev approximations, with weights governed by evaluations of so-called Touchard (Bell) polynomials. The supports in the presence of sampling artifacts are calculated using discretized semi-infite programming methods. The estimation approach is tested on synthetic and textual data, as well as on GISAID data collected to address a new problem in computational biology: mutational support estimation in genes of the SARS-Cov-2 virus. In the later setting, the Poisson channel captures the fact that many individuals are tested multiple times for the presence of viral RNA, thereby leading to repeated samples, while other individual's results are not recorded due to test errors. For all experiments performed, we observed significant improvements of our integrated methods compared to those obtained through adequate modifications of state-of-the-art noiseless support estimation methods.


title: Index-stable compact $p$-adic analytic groups

abstract: A profinite group is index-stable if any two isomorphic open subgroups have the same index. Let $p$ be a prime, and let $G$ be a compact $p$-adic analytic group with associated $\mathbb{Q}_p$-Lie algebra $\mathcal{L}(G)$. We prove that $G$ is index-stable whenever $\mathcal{L}(G)$ is semisimple. In particular, a just-infinite compact $p$-adic analytic group is index-stable if and only if it is not virtually abelian. Within the category of compact $p$-adic analytic groups, this gives a positive answer to a question of C. Reid. In the Appendix, J-P. Serre proves that $G$ is index-stable if and only if the determinant of any automorphism of $\mathcal{L}(G)$ has $p$-adic norm 1.


title: A Neural Network Approach for Online Nonlinear Neyman-Pearson Classification

abstract: We propose a novel Neyman-Pearson (NP) classifier that is both online and nonlinear as the first time in the literature. The proposed classifier operates on a binary labeled data stream in an online manner, and maximizes the detection power about a user-specified and controllable false positive rate. Our NP classifier is a single hidden layer feedforward neural network (SLFN), which is initialized with random Fourier features (RFFs) to construct the kernel space of the radial basis function at its hidden layer with sinusoidal activation. Not only does this use of RFFs provide an excellent initialization with great nonlinear modeling capability, but it also exponentially reduces the parameter complexity and compactifies the network to mitigate overfitting while improving the processing efficiency substantially. We sequentially learn the SLFN with stochastic gradient descent updates based on a Lagrangian NP objective. As a result, we obtain an expedited online adaptation and powerful nonlinear Neyman-Pearson modeling. Our algorithm is appropriate for large scale data applications and provides a decent false positive rate controllability with real time processing since it only has O(N) computational and O(1) space complexity (N: number of data instances). In our extensive set of experiments on several real datasets, our algorithm is highly superior over the competing state-of-the-art techniques, either by outperforming in terms of the NP classification objective with a comparable computational as well as space complexity or by achieving a comparable performance with significantly lower complexity.


title: Approximate recovery and relative entropy I. general von Neumann subalgebras

abstract: We prove the existence of a universal recovery channel that approximately recovers states on a v. Neumann subalgebra when the change in relative entropy, with respect to a fixed reference state, is small. Our result is a generalization of previous results that applied to type-I v. Neumann algebras by Junge at al. [arXiv:1509.07127]. We broadly follow their proof strategy but consider here arbitrary v. Neumann algebras, where qualitatively new issues arise. Our results hinge on the construction of certain analytic vectors and computations/estimations of their Araki-Masuda $L_p$ norms. We comment on applications to the quantum null energy condition.


title: CompressNet: Generative Compression at Extremely Low Bitrates

abstract: Compressing images at extremely low bitrates (< 0.1 bpp) has always been a challenging task since the quality of reconstruction significantly reduces due to the strong imposed constraint on the number of bits allocated for the compressed data. With the increasing need to transfer large amounts of images with limited bandwidth, compressing images to very low sizes is a crucial task. However, the existing methods are not effective at extremely low bitrates. To address this need, we propose a novel network called CompressNet which augments a Stacked Autoencoder with a Switch Prediction Network (SAE-SPN). This helps in the reconstruction of visually pleasing images at these low bitrates (< 0.1 bpp). We benchmark the performance of our proposed method on the Cityscapes dataset, evaluating over different metrics at extremely low bitrates to show that our method outperforms the other state-of-the-art. In particular, at a bitrate of 0.07, CompressNet achieves 22% lower Perceptual Loss and 55% lower Frechet Inception Distance (FID) compared to the deep learning SOTA methods.


title: The Gauss2++ Model -- A Comparison of Different Measure Change Specifications for a Consistent Risk Neutral and Real World Calibration

abstract: Especially in the insurance industry interest rate models play a crucial role e.g. to calculate the insurance company's liabilities, performance scenarios or risk measures. A prominant candidate is the 2-Additive-Factor Gaussian Model (Gauss2++) - in a different representation also known as the 2-Factor Hull-White model. In this paper, we propose a framework to estimate the model such that it can be applied under the risk neutral and the real world measure in a consistent manner. We first show that any progressive and square-integrable function can be used to specify the change of measure without loosing the analytic tractability of e.g. zero-coupon bond prices in both worlds. We further propose two time dependent candidates, which are easy to calibrate: a step and a linear function. They represent two variants of our framework and distinguish between a short and a long term risk premium, which allows to regularize the interest rates in the long horizon. We apply both variants to historical data and show that they indeed produce realistic and much more stable long term interest rate forecast than the usage of a constant function. This stability over time would translate to performance scenarios of e.g. interest rate sensitive fonds and risk measures.


title: Discontinuous epidemic transition due to limited testing

abstract: High impact epidemics constitute one of the largest threats humanity is facing in the 21st century. Testing, contact tracing and quarantining are critical in slowing down epidemic dynamics, but may prove insufficient for highly contagious diseases. In the absence of pharmaceutical interventions, physical distancing measures remain as the last resort to avoid a widespread outbreak. Here we show that such combined countermeasures drastically change the rules of the epidemic transition if testing capacities are limited: Instead of continuous the response to countermeasures becomes discontinuous and rather than following the conventional exponential growth, the outbreak accelerates and scales super-exponentially during an intermediate period. As a consequence, containment measures either suffice to stop the outbreak at low total case numbers or fail catastrophically if marginally too weak, thus implying large uncertainties in reliably estimating overall epidemic dynamics, both during initial phases and during second wave scenarios.


title: The sandpile model on the complete split graph, Motzkin words, and tiered parking functions

abstract: We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation of the recurrent states in terms of a new type of parking function that we call a tiered parking function. These parking functions are characterised by assigning a tier (or colour) to each of the cars, and specifying how many cars of a lower-tier one wishes to have parked before them. We also enumerate the different sets of recurrent configurations studied in this paper, and in doing so derive a formula for the number of spanning trees of the complete split graph that uses a bijective Pr\"ufer code argument.


title: A presentation for the planar pure braid group

abstract: We describe the construction of a minimal presentation for the group of planar pure braids $\overline{P}_n$ on $n$ strands. The generators of this presentation are dual to the generators of the cohomology ring of $\overline{P}_n$ found by Y.Baryshnikov while the relations lie in the commutator subgroup of $\overline{P}_n$. We also construct an explicit (although non-minimal) presentation for the pure cactus group.


title: Considerations for developing predictive models of crime and new methods for measuring their accuracy

abstract: Developing spatio-temporal crime prediction models, and to a lesser extent, developing measures of accuracy and operational efficiency for them, has been an active area of research for almost two decades. Despite calls for rigorous and independent evaluations of model performance, such studies have been few and far between. In this paper, we argue that studies should focus not on finding the one predictive model or the one measure that is the most appropriate at all times, but instead on careful consideration of several factors that affect the choice of the model and the choice of the measure, to find the best measure and the best model for the problem at hand. We argue that because each problem is unique, it is important to develop measures that empower the practitioner with the ability to input the choices and preferences that are most appropriate for the problem at hand. We develop a new measure called the penalized predictive accuracy index (PPAI) which imparts such flexibility. We also propose the use of the expected utility function to combine multiple measures in a way that is appropriate for a given problem in order to assess the models against multiple criteria. We further propose the use of the average logarithmic score (ALS) measure that is appropriate for many crime models and measures accuracy differently than existing measures. These measures can be used alongside existing measures to provide a more comprehensive means of assessing the accuracy and potential utility of spatio-temporal crime prediction models.


title: The Cost of Undisturbed Landscapes

abstract: By 2030 Austria aims to meet 100% of its electricity demand from domestic renewable sources, with most of the additional generation coming from wind and solar energy. Apart from the benefit of reducing CO2 emissions and, potentially, system cost, wind power is associated with negative impacts at the local level, such as interference with landscape aesthetics. Some of these impacts might be avoided by using alternative renewable energy technologies. Thus, we quantify the opportunity cost of wind power versus its best feasible alternative solar photovoltaics, using the power system model medea. Our findings suggest that the cost of undisturbed landscapes is considerable, particularly when solar PV is mainly realized on roof-tops. Under a wide range of assumptions, the opportunity cost of wind power is high enough to allow for significant compensation of the ones affected by local, negative wind turbine externalities.


title: Estimation of dense stochastic block models visited by random walks

abstract: We are interested in recovering information on a stochastic block model from the subgraph discovered by an exploring random walk. Stochastic block models correspond to populations structured into a finite number of types, where two individuals are connected by an edge independently from the other pairs and with a probability depending on their types. We consider here the dense case where the random network can be approximated by a graphon. This problem is motivated from the study of chain-referral surveys where each interviewee provides information on her/his contacts in the social network. First, we write the likelihood of the subgraph discovered by the random walk: biases are appearing since hubs and majority types are more likely to be sampled. Even for the case where the types are observed, the maximum likelihood estimator is not explicit any more. When the types of the vertices is unobserved, we use an SAEM algorithm to maximize the likelihood. Second, we propose a different estimation strategy using new results by Athreya and Roellin. It consists in de-biasing the maximum likelihood estimator proposed in Daudin et al. and that ignores the biases.


title: Uniqueness of solutions to Boltzmann Equations

abstract: By means of Banach fixed point theorem , the uniqueness of Boltzmann Equation generalizaled Solutions in Sobolev spaces in $L^1(\mathbb{R}^+\times \mathbb{R}^n\times \mathbb{R}^n)$, can be proved as well as Boltzmann Equation renormalized solutions uniqueness


title: Wasserstein barycenters can be computed in polynomial time in fixed dimension

abstract: Computing Wasserstein barycenters is a fundamental geometric problem with widespread applications in machine learning, statistics, and computer graphics. However, it is unknown whether Wasserstein barycenters can be computed in polynomial time, either exactly or to high precision (i.e., with $\textrm{polylog}(1/\varepsilon)$ runtime dependence). This paper answers these questions in the affirmative for any fixed dimension. Our approach is to solve an exponential-size linear programming formulation by efficiently implementing the corresponding separation oracle using techniques from computational geometry.


title: On a recursively defined sequence involving the prime counting function

abstract: We prove some properties of the sequence $\{a_n\}_{n\ge1}$ defined by $a_n=\pi(n)-\pi\bigl(\textstyle\sum_{k=1}^{n-1}a_k\bigr).$


title: Lie group theory for nonlinear fractional K(m,n) type equation with variable coefficients

abstract: We investigated the analytical solution of fractional order K(m,n) type equation with variable coefficient which is an extended type of KdV equations into a genuinely nonlinear dispersion regime. By using the Lie symmetry analysis, we obtain the Lie point symmetries for this type of time-fractional partial differential equations (PDE). Also we present the corresponding reduced fractional differential equations (FDEs) corresponding to the time-fractional K(m,n) type equation.


title: Application of Monte Carlo Tree Search in Periodic Schedule Design for Networked Control Systems

abstract: We analyze the closed-loop control performance of a networked control system that consists of $N$ independent linear feedback control loops, sharing a communication network with $M$ channels ($M<N$). A centralized scheduler, employing a scheduling protocol that produces periodic communication sequences, dictates which feedback loops should utilize all these channels. Under the periodic scheduling protocol, we derive analytical expressions for quantifying the overall control performance of the networked control system in terms of a quadratic function. We also formulate the offline combinatorial optimization of communication sequences for a given collection of linear feedback control subsystems. Then, we apply Monte Carlo Tree Search to determine the period of these communication sequences that attain near-optimal control performance. Via numerical studies, we show the effectiveness of the proposed framework.