title: An algorithm to compute the $t$-value of a digital net and of its projections

abstract: Digital nets are among the most successful methods to construct low-discrepancy point sets for quasi-Monte Carlo integration. Their quality is traditionally assessed by a measure called the $t$-value. A refinement computes the $t$-value of the projections over subsets of coordinates and takes a weighted average (or some other function) of these values. It is also of interest to compute the $t$-values of embedded nets obtained by taking subsets of the points. In this paper, we propose an efficient algorithm to compute such measures and we compare our approach with previously proposed methods both empirically and in terms of computational complexity.


title: A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$

abstract: We generalize the example of linear set presented by the last two authors in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$" (2019) to a more general family, proving that such linear sets are maximum scattered when $q$ is odd and, apart from a special case, they are are new. This solves an open problem posed in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$" (2019). As a consequence of Sheekey's results in "A new family of linear maximum rank distance codes" (2016), this family yields to new MRD-codes with parameters $(6,6,q;5)$.


title: How compact stars challenge our view about dark matter

abstract: It is by now well established that non-relativistic matter in the Universe is dominated by dark matter, the origin and nature of which still remains a mystery. Although the collisionless dark matter paradigm works very well at large distances, a few puzzles at galactic scales arise. These problems may be tackled assuming a self-interacting dark matter. If dark matter is accumulated inside a star it will modify its evolution and its properties, such as mass-to-radius profiles and frequency oscillation modes. Asteroseismology is a relatively new, powerful tool that allows us to constrain dark matter models, offering us complementary bounds to the results coming from other means, such as collider or direct searches. I will present here the main results we have obtained assuming that the dark matter particle is a boson, which inside a star is modelled as a Bose-Einstein condensate with a polytropic equation-of-state. We have computed i) the radial and non-radial oscillation modes of light clumps of dark matter made of ultra light repulsive scalar fields, and ii) the mass-to-radius profiles as well the frequencies of radial modes of admixed dark matter strange quark stars.


title: Convergence Analysis of Gradient Algorithms on Riemannian Manifolds Without Curvature Constraints and Application to Riemannian Mass

abstract: We study the convergence issue for the gradient algorithm (employing general step sizes) for optimization problems on general Riemannian manifolds (without curvature constraints). Under the assumption of the local convexity/quasi-convexity (resp. weak sharp minima), local/global convergence (resp. linear convergence) results are established. As an application, the linear convergence properties of the gradient algorithm employing the constant step sizes and the Armijo step sizes for finding the Riemannian $L^p$ ($p\in[1,+\infty)$) centers of mass are explored, respectively, which in particular extend and/or improve the corresponding results in \cite{Afsari2013}.


title: 4d $\mathcal{N}=2$ SCFTs and lisse W-algebras

abstract: We continue our studies of the correspondence between 4d $\mathcal{N}=2$ SCFTs and 2d W-algebras. The purpose of this paper is to study the relationship between 2d lisse W-algebras and their 4d SCFT partners. The lisse W-algebra is the W-algebra whose associated Zhu's $C_2$ algebra is finite dimensional. As the associated variety of Zhu's $C_2$ algebra is identified with the Higgs branch in the 4d/2d correspondence, the lisse condition is equivalent to the absence of the Higgs branch on the 4d side. We classify 4d $\mathcal{N}=2$ SCFTs which do not admit Higgs branch, then these theories would give lisse W-algebras through the 4d/2d correspondence. In particular, we predict the existence of a large class of new non-admissible lisse W-algebras, which have not been studied before. The 4d theories corresponding to lisse W-algebra can appear in the Higgs branches of generic 4d $\mathcal{N}=2$ SCFTs, therefore they are crucial to understand the Higgs branches of $\mathcal{N}=2$ SCFTs.


title: A Conservative Finite Element ALE Scheme for Mass-Conserving Reaction-Diffusion Equations on Evolving Two-Dimensional Domains

abstract: Mass-conservative reaction-diffusion systems have recently been proposed as a general framework to describe intracellular pattern formation. These systems have been used to model the conformational switching of proteins as they cycle from an inactive state in the cell cytoplasm, to an active state at the cell membrane. The active state then acts as input to downstream effectors. The paradigm of activation by recruitment to the membrane underpins a range of biological pathways - including G-protein signalling, growth control through Ras and PI 3-kinase, and cell polarity through Rac and Rho; all activate their targets by recruiting them from the cytoplasm to the membrane. Global mass conservation lies at the heart of these models reflecting the property that the total number of active and inactive forms, and targets, remains constant. Here we present a conservative arbitrary Lagrangian Eulerian (ALE) finite element method for the approximate solution of systems of bulk-surface reaction-diffusion equations on an evolving two-dimensional domain. Fundamental to the success of the method is the robust generation of bulk and surface meshes. For this purpose, we use a moving mesh partial differential equation (MMPDE) approach. Global conservation of the fully discrete finite element solution is established independently of the ALE velocity field and the time step size. The developed method is applied to model problems with known analytical solutions; these experiments indicate that the method is second-order accurate and globally conservative. The method is further applied to a model of a single cell migrating in the presence of an external chemotactic signal.


title: Momentum and Position Representations for the q-deformed Euclidean Quantum Space

abstract: We summarize some basics about mathematical tools of analysis for the q-deformed Euclidean space. We use the new tools to examine q-deformed eigenfunctions of the momentum or position operator within the framework of the star product formalism. We show that these two systems of functions are complete and orthonormal. With the q-deformed momentum or position eigenfunctions, we calculate matrix elements of the momentum or position operator. Considerations about expectation values and probability densities conclude the studies.


title: A sextic diophantine chain and a related Mordell curve

abstract: In this paper we obtain parametric as well as numerical solutions of the sextic diophantine chain $ \phi(x_1,\,y_1,\,z_1)=\phi(x_2,\,y_2,\,z_2)=\phi(x_3,\,y_3,\,z_3)=k$ where $\phi(x,\,y,\,z)$ is a sextic form defined by $\phi(x,\,y,\,z)$ $=x^6+y^6+z^6-2x^3y^3-2x^3z^3-2y^3z^3$ and $k$ is an integer. Each numerical solution of such a sextic chain yields, in general, nine rational points on the Mordell curve $y^2=x^3+k/4$. While all of these nine points are not independent in the group of rational points of the Mordell curve, we have constructed a parameterized family of Mordell curves of generic rank $\geq 6$ using the aforementioned parametric solution of the sextic diophantine chain. Similarly, the numerical solutions of the sextic chain yield additional examples of Mordell curves whose rank is $\geq 6$.


title: A Deep Learning System That Generates Quantitative CT Reports for Diagnosing Pulmonary Tuberculosis

abstract: We developed a deep learning model-based system to automatically generate a quantitative Computed Tomography (CT) diagnostic report for Pulmonary Tuberculosis (PTB) cases.501 CT imaging datasets from 223 patients with active PTB were collected, and another 501 cases from a healthy population served as negative samples.2884 lesions of PTB were carefully labeled and classified manually by professional radiologists.Three state-of-the-art 3D convolution neural network (CNN) models were trained and evaluated in the inspection of PTB CT images. Transfer learning method was also utilized during this process. The best model was selected to annotate the spatial location of lesions and classify them into miliary, infiltrative, caseous, tuberculoma and cavitary types simultaneously.Then the Noisy-Or Bayesian function was used to generate an overall infection probability.Finally, a quantitative diagnostic report was exported.The results showed that the recall and precision rates, from the perspective of a single lesion region of PTB, were 85.9% and 89.2% respectively. The overall recall and precision rates,from the perspective of one PTB case, were 98.7% and 93.7%, respectively. Moreover, the precision rate of the PTB lesion type classification was 90.9%.The new method might serve as an effective reference for decision making by clinical doctors.


title: On factoring of unlimited integers

abstract: A. Boudaoud asked whether every unlimited integer is a sum of a limited integer and a product of two unlimited integers. Assuming Dickson's Conjecture, the answer is negative. The erroneous proof of claim (2) on page 5 of the published version is replaced by a correct one (see pages 6 - 7) and an answer to another question of Boudaoud and Bellaouar is given. \end{abstract}


title: Nonlocal diffusion equations with dynamical boundary conditions

abstract: In this paper we study nonlocal problems that are analogous to the local ones given by the Laplacian or the p-Laplacian with dynamical boundary conditions. We deal both with smooth and with singular kernels and show existence and uniqueness of solutions and study their asymptotic behaviour as t goes to infinity.


title: Individuality, quasi-sets and the double-slit experiment

abstract: Quasi-set theory $\cal Q$ allows us to cope with certain collections of objects where the usual notion of identity is not applicable, in the sense that $x = x$ is not a formula, if $x$ is an arbitrary term. $\cal Q$ was partially motivated by the problem of non-individuality in quantum mechanics. In this paper I discuss the range of explanatory power of $\cal Q$ for quantum phenomena which demand some notion of indistinguishability among quantum objects. My main focus is on the double-slit experiment, a major physical phenomenon which was never modeled from a quasi-set-theoretic point of view. The double-slit experiment strongly motivates the concept of degrees of indistinguishability within a field-theoretic approach, and that notion is simply missing in $\cal Q$. Nevertheless, other physical situations may eventually demand a revision on quasi-set theory axioms, if someone intends to use it in the quantum realm for the purpose of a clear discussion about non-individuality. I use this opportunity to suggest another way to cope with identity in quantum theories.


title: Geometric control of collective spontaneous emission

abstract: Dipole spin-wave states of atomic ensembles with wave vector ${\bf k}(\omega)$ mismatched from the dispersion relation of light are difficult to access by far-field excitation but may support rich phenomena beyond the traditional phase-matched scenario in quantum optics. We propose and demonstrate an optical technique to efficiently access these states. In particular, subnanosecond laser pulses shaped by a home-developed wideband modulation method are applied to shift the spin wave in ${\bf k}$ space with state-dependent geometric phase patterning, in an error-resilient fashion and on timescales much faster than spontaneous emission. We verify this control through the redirection, switch off, and recall of collectively enhanced emission from a $^{87}$Rb gas with $\sim 75\%$ single-step efficiency. Our work represents a first step toward efficient control of electric dipole spin waves for studying many-body dissipative dynamics of excited gases, as well as for numerous quantum optical applications.


title: Few-shot tweet detection in emerging disaster events

abstract: Social media sources can provide crucial information in crisis situations, but discovering relevant messages is not trivial. Methods have so far focused on universal detection models for all kinds of crises or for certain crisis types (e.g. floods). Event-specific models could implement a more focused search area, but collecting data and training new models for a crisis that is already in progress is costly and may take too much time for a prompt response. As a compromise, manually collecting a small amount of example messages is feasible. Few-shot models can generalize to unseen classes with such a small handful of examples, and do not need be trained anew for each event. We compare how few-shot approaches (matching networks and prototypical networks) perform for this task. Since this is essentially a one-class problem, we also demonstrate how a modified one-class version of prototypical models can be used for this application.


title: Cascaded Gaussian Processes for Data-efficient Robot Dynamics Learning

abstract: Motivated by the recursive Newton-Euler formulation, we propose a novel cascaded Gaussian process learning framework for the inverse dynamics of robot manipulators. This approach leads to a significant dimensionality reduction which in turn results in better learning and data efficiency. We explore two formulations for the cascading: the inward and outward, both along the manipulator chain topology. The learned modeling is tested in conjunction with the classical inverse dynamics model (semi-parametric) and on its own (non-parametric) in the context of feed-forward control of the arm. Experimental results are obtained with Jaco 2 six-DOF and SARCOS seven-DOF manipulators for randomly defined sinusoidal motions of the joints in order to evaluate the performance of cascading against the standard GP learning. In addition, experiments are conducted using Jaco 2 on a task emulating a pouring maneuver. Results indicate a consistent improvement in learning speed with the inward cascaded GP model and an overall improvement in data efficiency and generalization.


title: Keyword Spotter Model for Crop Pest and Disease Monitoring from Community Radio Data

abstract: In societies with well developed internet infrastructure, social media is the leading medium of communication for various social issues especially for breaking news situations. In rural Uganda however, public community radio is still a dominant means for news dissemination. Community radio gives audience to the general public especially to individuals living in rural areas, and thus plays an important role in giving a voice to those living in the broadcast area. It is an avenue for participatory communication and a tool relevant in both economic and social development.This is supported by the rise to ubiquity of mobile phones providing access to phone-in or text-in talk shows. In this paper, we describe an approach to analysing the readily available community radio data with machine learning-based speech keyword spotting techniques. We identify the keywords of interest related to agriculture and build models to automatically identify these keywords from audio streams. Our contribution through these techniques is a cost-efficient and effective way to monitor food security concerns particularly in rural areas. Through keyword spotting and radio talk show analysis, issues such as crop diseases, pests, drought and famine can be captured and fed into an early warning system for stakeholders and policy makers.


title: A Note on Species Richness and the Variance of Epidemic Severity

abstract: The commonly observed negative correlation between the number of species in an ecological community and disease risk, typically referred to as "the dilution effect", has received a substantial amount of attention over the past decade. Attempts to test this relationship experimentally have revealed that, in addition to the mean disease risk decreasing with species number, so too does the variance of disease risk. This is referred to as the "variance reduction effect", and has received relatively little attention in the disease-diversity literature. Here, we set out to clarify and quantify some of these relationships in an idealized model of a randomly assembled multi-species community undergoing an epidemic. We specifically investigate the variance of the community disease reproductive ratio, a multi-species extension of the basic reproductive ratio R_0, for a family of random-parameter meta-community SIR models, and show how the variance of community $R_0$ varies depending on whether transmission is density or frequency-dependent. We finally outline areas of further research on how changes in variance affect transmission dynamics in other systems.


title: Duflo-Serganova functor and superdimension formula for the periplectic Lie superalgebra

abstract: In this paper, we study the representations of the periplectic Lie superalgebra using the Duflo-Serganova functor. Given a simple $\mathfrak{p}(n)$-module $L$ and a certain element $x\in \mathfrak{p}(n)$ of rank $1$, we give an explicit description of the composition factors of the $\mathfrak{p}(n-1)$-module $DS_x(L)$, which is defined as the homology of the complex $$\Pi M \xrightarrow{x} M \xrightarrow{x} \Pi M.$$ In particular, we show that this $\mathfrak{p}(n-1)$-module is multiplicity-free. We then use this result to give a simple explicit combinatorial formula for the superdimension of a simple integrable finite-dimensional $\mathfrak{p}(n)$-module, based on its highest weight. In particular, this reproves the Kac-Wakimoto conjecture for $\mathfrak{p}(n)$, which was proved earlier by the authors.


title: Sharp lower bound for the first eigenvalue of the Weighted $p$-Laplacian

abstract: We prove sharp lower bound estimates for the first nonzero eigenvalue of the weighted $p$-Lapacian operator with $1< p< \infty$ on a compact Bakry-Emery manifold $(M^n,g,f)$ satisfying $\Ric+\nabla^2 f \geq \kappa \, g$, provided that either $1<p \leq 2$ or $\kappa \leq 0$. Same conclusions hold when the manifold has nonempty boundary if we assume it is strictly convex and put Neumann boundary conditions on it. For $1<p \leq 2$, we provide a simple proof via the modulus of continuity estimates method. The proof for $\kappa \leq 0$ is based on a sharp gradient comparison theorem for the eigenfunction and a careful analysis of the underlying one-dimensional model equation. Our results generalize the work of Valtorta\cite{Valtorta12} and Naber-Valtorta\cite{NV14} for the $p$-Laplacian (namely $f=\text{const}$), and the work of Bakry-Qian\cite{BQ00} for the $f$-Laplacian (namely $p=2$).


title: SLAC UED LLRF System Upgrade

abstract: The SLAC mega-electron-volt (MeV) ultrafast electron diffraction (UED) instrument is a powerful "electron camera" for the study of time-resolved, ultrafast atomic & molecular dynamics in chemical and solid-state systems. The UED laser timing synchronization is upgraded to SLAC (Advanced Telecommunications Computing Architecture) ATCA based femtosecond laser timing synchronization system. UED radio frequency (RF) gun cavity low level RF (LLRF) control is also being upgraded to SLAC ATCA based LLRF system to provide improved performance and maintainability. The new laser timing synchronization and LLRF control are implemented in one ATCA crate located in the laser room. A 2nd ATCA crate is set up to monitor the Klystron and sub-booster performance. With the ATCA based RF control system, the laser timing jitter has achieved 10 fs. The UED operation beam rate is being upgraded from 180 Hz to 360 Hz, which paves the way for a further upgrade of operation beam rate to 1 kHz in the future. In this paper, we present design details and characterization results of the implementation.


title: Comparing Observed Stellar Kinematics and Surface Densities in a Low Latitude Bulge Field to Galactic Population Synthesis Models

abstract: We present an analysis of Galactic bulge stars from Hubble Space Telescope (HST) Wide Field Camera 3 (WFC3) observations of the Stanek window (l,b=[0.25,-2.15]) from two epochs approximately two years apart. This dataset is adjacent to the provisional Wide-field Infrared Survey Telescope (WFIRST) microlensing field. Proper motions are measured for approximately 115,000 stars down to 28th mag in V band and 25th mag in I band, with accuracies of 0.5 mas yr$^{-1}$ (20 km s$^{-1}$) at I $\approx$ 21. A cut on the longitudinal proper motion $\mu_l$ allows us to separate disk and bulge populations and produce bulge-only star counts that are corrected for photometric completeness and efficiency of the proper-motion cut. The kinematic dispersions and surface density in the field are compared to the nearby SWEEPS sight-line, finding a marginally larger than expected gradient in stellar density. The observed bulge star counts and kinematics are further compared to the Besan\c{c}on, Galaxia, and GalMod Galactic population synthesis models. We find that most of the models underpredict low-mass bulge stars by $\sim$33% below the main-sequence turnoff, and upwards of $\sim$70% at redder J and H wavebands. While considering inaccuracies in the Galactic models, we give implications for the exoplanet yield from the WFIRST microlensing mission.


title: Phase space formulation of density operator for non-Hermitian Hamiltonians and its application in quantum theory of decay

abstract: The Wigner-Weyl transform and phase space formulation of a density matrix approach are applied to a non-Hermitian model which is quadratic in positions and momenta. We show that in the presence of a quantum environment or reservoir, mean lifetime and decay constants of quantum systems do not necessarily take arbitrary values, but could become functions of energy eigenvalues and have a discrete spectrum. It is demonstrated also that a constraint upon mean lifetime and energy appears, which is used to derive the resonance conditions at which long-lived states occur. The latter indicate that quantum dissipative effects do not always lead to decay but, under certain conditions, can support stability of a system.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Quasiclassical Modeling of Cavity Quantum Electrodynamics

abstract: We model a collection of $N$ two-level systems (TLSs) coupled to a multimode cavity via Meyer-Miller-Stock-Thoss (MMST) dynamics, sampling both electronic and photonic zero-point energies (ZPEs) and propagating independent trajectories in Wigner phase space. By investigating the ground state stability of a single TLS, we use MMST dynamics to separately study both electronic ZPE effects (which would naively lead to the breakdown of the electronic ground state) as well as photonic ZPE effects (which would naively lead to spontaneous absorption). By contrast, including both effects (i.e., sampling both electronic and photonic ZPEs) leads to the dynamical stability of the electronic ground state. Therefore, MMST dynamics provide a practical way to identify the contributions of self-interaction and vacuum fluctuations. More importantly, we find that MMST dynamics can predict accurate quantum dynamics for both electronic populations and electromagnetic field intensity in the high saturation limit. For a single TLS in a cavity, MMST dynamics correctly predict the initial exponential decay of spontaneous emission, Poincar\'e recurrences, and the positional dependence of a spontaneous emission rate. For an array of $N$ equally spaced TLSs with only one TLS excited initially, MMST dynamics correctly predict the modification of spontaneous emission rate as a function of the spacing between TLSs. Finally, MMST dynamics also correctly model Dicke's superradiance and subradiance (i.e., the dynamics when all TLSs are excited initially) including the correct quantum statistics for the delay time (as found by counting trajectories, for which a full quantum simulation is hard to achieve). Therefore, this work raises the possibility of simulating large-scale collective light-matter interactions with methods beyond mean-field theory.

categories: quant-ph physics.atom-ph physics.chem-ph physics.optics


title: Bender's Decomposition for Optimization Design Problems in Communication Networks

abstract: Various types of communication networks are constantly emerging to improve the connectivity services and facilitate the interconnection of various types of devices. This involves the development of several technologies, such as device-to-device communications, wireless sensor networks and vehicular communications. The various services provided have heterogeneous requirements on the quality metrics such as throughput, end-to-end latency and jitter. Furthermore, different network technologies have inherently heterogeneous restrictions on resources, e.g., power, interference management requirements, computational capabilities, etc. As a result, different network operations such as spectrum management, routing, power control and offloading need to be performed differently. Mathematical optimization techniques have always been at the heart of such design problems to formulate and propose computationally efficient solution algorithms. One of the existing powerful techniques of mathematical optimization is Benders decomposition (BD), which is the focus of this article. Here, we briefly review different BD variants that have been applied in various existing network types and different design problems. These main variants are the classical, the combinatorial, the multi-stage, and the generalized BD. We discuss compelling BD applications for various network types including heterogeneous cellular networks, infrastructure wired wide area networks, smart grids, wireless sensor networks, and wireless local area networks. Mainly, our goal is to assist the readers in refining the motivation, problem formulation, and methodology of this powerful optimization technique in the context of future networks. We also discuss the BD challenges and the prospective ways these can be addressed when applied to communication networks' design problems.


title: Change Detection in Noisy Dynamic Networks: A Spectral Embedding Approach

abstract: Change detection in dynamic networks is an important problem in many areas, such as fraud detection, cyber intrusion detection and health care monitoring. It is a challenging problem because it involves a time sequence of graphs, each of which is usually very large and sparse with heterogeneous vertex degrees, resulting in a complex, high dimensional mathematical object. Spectral embedding methods provide an effective way to transform a graph to a lower dimensional latent Euclidean space that preserves the underlying structure of the network. Although change detection methods that use spectral embedding are available, they do not address sparsity and degree heterogeneity that usually occur in noisy real-world graphs and a majority of these methods focus on changes in the behaviour of the overall network. In this paper, we adapt previously developed techniques in spectral graph theory and propose a novel concept of applying Procrustes techniques to embedded points for vertices in a graph to detect changes in entity behaviour. Our spectral embedding approach not only addresses sparsity and degree heterogeneity issues, but also obtains an estimate of the appropriate embedding dimension. We call this method CDP (change detection using Procrustes analysis). We demonstrate the performance of CDP through extensive simulation experiments and a real-world application. CDP successfully detects various types of vertex-based changes including (i) changes in vertex degree, (ii) changes in community membership of vertices, and (iii) unusual increase or decrease in edge weight between vertices. The change detection performance of CDP is compared with two other baseline methods that employ alternative spectral embedding approaches. In both cases, CDP generally shows superior performance.


title: Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices

abstract: We consider membership problems for rational subsets of the semigroup of $2\times 2$ matrices over $\mathbb{Q}$. For a semigroup $M$, the rational subsets $\mathrm{Rat}(M)$ are defined as the sets accepted by NFAs whose transitions are labeled by elements of $M$. In general, it is undecidable on inputs $m\in M$ and $R\in \mathrm{Rat}(M)$ whether $m$ belongs to $R$. Therefore, we restrict our attention to the family $\mathrm{FRat}(M,S)$ of flat rational subsets of $M$ over $S$, where $S$ is a subsemigroup of $M$. It consists of finite unions of the form $g_0L_1g_1 \cdots L_tg_t$, where $L_i\in \mathrm{Rat}(S)$ and $g_i\in M$. Assuming that the membership for $\mathrm{Rat}(S)$ is decidable, we prove various results when the membership for $\mathrm{FRat}(M,S)$ is decidable. If $H$ is a subgroup of a group $G$, then we provide a rather general condition when $\mathrm{FRat}(G,H)$ is an (effective) relative Boolean algebra. This leads to one of our main results that the emptiness problem for Boolean combinations of sets in $\mathrm{FRat}(\mathrm{GL}(2,\mathbb{Q}),\mathrm{GL}(2,\mathbb{Z}))$ is decidable. It is possible that this result cannot be pushed any further as indicated by the following dichotomy: if $G$ is a finitely generated group such that $\mathrm{GL}(2,\mathbb{Z}) < G < \mathrm{GL}(2,\mathbb{Q})$, then either $G\cong \mathrm{GL}(2,\mathbb{Z})\times \mathbb{Z}^k$ or $G$ contains an extension of the Baumslag-Solitar group $\mathrm{BS}(1,q)$ of infinite index. It is open whether the membership for rational subsets is decidable in the latter case. For singular matrices, we will show that the membership problem for $\mathrm{FRat}(\mathbb{Q}^{2\times 2},S)$ is decidable in doubly exponential time, where $S$ is the monoid generated by $\mathrm{GL}(2,\mathbb{Z})\cup \{r\in \mathbb{Q}\,\mid\,r>1\} \cup \{0,\left(\begin{smallmatrix}1 & 0\\ 0 & 0\end{smallmatrix}\right)\}$.


title: Lateral Heterojunction BaTiO3/AlGaN Diodes with >8MV/cm Breakdown Field

abstract: In this paper, we report enhanced breakdown characteristics of Pt/BaTiO3/Al0.58Ga0.42N lateral heterojunction diodes compared to Pt/Al0.58Ga0.42N Schottky diodes. BaTiO3, an extreme dielectric constant material, has been used, in this study, as dielectric material under the anode to significantly reduce the peak electric field at the anode edge of the heterojunction diode such that the observed average breakdown field was higher than 8 MV/cm, achieved for devices with anode to cathode spacing less than 0.2 microns. Control Schottky anode devices (Pt/Al0.58Ga0.42N) fabricated on the same sample displayed an average breakdown field around 4 MV/cm for devices with similar dimensions. While both breakdown fields are significantly higher than those exhibited by incumbent technologies such as GaN-based devices, BaTiO3 can enable more effective utilization of the higher breakdown fields available in ultra-wide bandgap materials by proper electric field management. This demonstration thus lays the groundwork needed to realize ultra-scaled lateral devices with significantly improved breakdown characteristics.


title: Multiplierless and Sparse Machine Learning based on Margin Propagation Networks

abstract: The new generation of machine learning processors have evolved from multi-core and parallel architectures that were designed to efficiently implement matrix-vector-multiplications (MVMs). This is because at the fundamental level, neural network and machine learning operations extensively use MVM operations and hardware compilers exploit the inherent parallelism in MVM operations to achieve hardware acceleration on GPUs and FPGAs. However, many IoT and edge computing platforms require embedded ML devices close to the network in order to compensate for communication cost and latency. Hence a natural question to ask is whether MVM operations are even necessary to implement ML algorithms and whether simpler hardware primitives can be used to implement an ultra-energy-efficient ML processor/architecture. In this paper we propose an alternate hardware-software codesign of ML and neural network architectures where instead of using MVM operations and non-linear activation functions, the architecture only uses simple addition and thresholding operations to implement inference and learning. At the core of the proposed approach is margin-propagation (MP) based computation that maps multiplications into additions and additions into a dynamic rectifying-linear-unit (ReLU) operations. This mapping results in significant improvement in computational and hence energy cost. In this paper, we show how the MP network formulation can be applied for designing linear classifiers, shallow multi-layer perceptrons and support vector networks suitable fot IoT platforms and tiny ML applications. We show that these MP based classifiers give comparable results to that of their traditional counterparts for benchmark UCI datasets, with the added advantage of reduction in computational complexity enabling an improvement in energy efficiency.


title: Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems

abstract: An oriented hypergraph is an oriented incidence structure that allows for the generalization of graph theoretic concepts to integer matrices through its locally signed graphic substructure. The locally graphic behaviors are formalized in the subobject classifier of incidence hypergraphs. Moreover, the injective envelope is calculated and shown to contain the class of uniform hypergraphs -- providing a combinatorial framework for the entries of incidence matrices. A multivariable all-minors characteristic polynomial is obtained for both the determinant and permanent of the oriented hypergraphic Laplacian and adjacency matrices arising from any integer incidence matrix. The coefficients of each polynomial are shown to be submonic maps from the same family into the injective envelope limited by the subobject classifier. These results provide a unifying theorem for oriented hypergraphic matrix-tree-type and Sachs-coefficient-type theorems. Finally, by specializing to bidirected graphs, the trivial subclasses for the degree-$k$ monomials of the Laplacian are shown to be in one-to-one correspondence with $k$-arborescences.


title: Lagrangian time scale of rotation for inertial fibers in isotropic turbulence

abstract: Using time-resolved measurements of the orientation of rigid inertial fibers in a turbulence-tank, we investigate the autocorrelation of their tumbling rate. The correlation time ($\tau_d$) is well predicted by Kolmogorov inertial-range scaling based on the fiber length (L) when the fiber inertia can be neglected. For inertial fibers, we propose a simple model considering fiber inertia (measured by a tumbling Stokes number) and a viscous torque which accurately predicts both the correlation time and the variance of the tumbling rate.


title: Probing model-independent limits on $W^+W^-\gamma$ triple gauge boson vertex at the LHeC and the FCC-he

abstract: We study the cross-section of production of a single $W^-$ boson in association with a neutrino through the process $e^-p \to e^-\gamma^*p \to \nu_eW^- p$. Additionally, we obtain the anomalous couplings $\Delta\kappa_\gamma$ and $\lambda_\gamma$ of the $W^+W^-\gamma$ vertex at the Large Hadron Electron Collider (LHeC) and the Future Circular Collider Hadron-Electron (FCC-he). The impact of the polarized beam due to the electron is also analyzed. Our best limits for $\Delta\kappa_\gamma$ and $\lambda_\gamma$ at the $95\%$ C.L. are: $\Delta\kappa_\gamma = \pm 0.0017$, $\lambda_\gamma = \pm 0.0053$ (unpolarized electron beam) and $\Delta\kappa_\gamma = \pm 0.0013$, $\lambda_\gamma = \pm 0.0046$ (polarized electron beam) identifying the $W^-$ boson through the hadronic decay channel. In addition, the $e^-\gamma^* \to \nu_eW^-$ collision is one of the clean, pure and simple process to investigate the $W^+W^-\gamma$ coupling without the complications of QCD backgrounds.


title: Configurations Of Consecutive Primitive Roots

abstract: Let $p \geq 2$ be a large prime, and let $k \ll \log p $ be a small integer. This note proves the existence of various configurations of $(k+1)$-tuples of consecutive and quasi consecutive primitive roots $n+a_0, n+a_1, n+a_2, \ldots, n+a_k$ in the finite field $\mathbb{F}_p$, where $a_0,a_1, \ldots, a_k$ is a fixed $(k+1)$-tuples of distinct integers.


title: The impact of pressure on the critical miscibility of nitro compounds and n-alkanes mixtures

abstract: The impact of pressure on the critical consolute temperature in nitrobenzene, nitrotoluene, and nitropropane plus n-alkanes from pentane to eicosane is discussed.


title: Hierarchical PCA and Applications to Portfolio Management

abstract: It is widely known that the common risk-factors derived from PCA beyond the first eigenportfolio are generally difficult to interpret and thus to use in practical portfolio management. We explore a alternative approach (HPCA) which makes strong use of the partition of the market into sectors. We show that this approach leads to no loss of information with respect to PCA in the case of equities (constituents of the S&P 500) and also that the associated common factors admit simple interpretations. The model can also be used in markets in which the sectors have asynchronous price information, such as single-name credit default swaps, generalizing the works of Cont and Kan (2011) and Ivanov (2016).


title: IR Reflection mechanism inside the annulus between two concentric cylindrical tubes

abstract: A mathematical model was derived to calculate the IR reflection inside the annulus between two concentric cylindrical tubes, where the inner side of the outer cylinder is assumed to be coated with an IR reflected mirror. The mathematical model is implemented in a simulation code and experimentally validated. The experimental results of a system of two concentric cylindrical tubes operating with an IR reflected mirror on the inside of the outer cylinder are presented, and the results between the model and the simulation are compared. It is seen that the correspondence is encouragingly close (Chi-squared test p-values between 0.995 and 0.80), where the simulation underestimates the experimental performance.


title: ExpertMatcher: Automating ML Model Selection for Users in Resource Constrained Countries

abstract: In this work we introduce ExpertMatcher, a method for automating deep learning model selection using autoencoders. Specifically, we are interested in performing inference on data sources that are distributed across many clients using pretrained expert ML networks on a centralized server. The ExpertMatcher assigns the most relevant model(s) in the central server given the client's data representation. This allows resource-constrained clients in developing countries to utilize the most relevant ML models for their given task without having to evaluate the performance of each ML model. The method is generic and can be beneficial in any setup where there are local clients and numerous centralized expert ML models.


title: Elliptic classes of Schubert varieties

abstract: We introduce new notions in elliptic Schubert calculus: the (twisted) Borisov-Libgober classes of Schubert varieties in general homogeneous spaces G/P. While these classes do not depend on any choice, they depend on a set of new variables. For the definition of our classes we calculate multiplicities of some divisors in Schubert varieties, which were only known for full flag varieties before. Our approach leads to a simple recursions for the elliptic classes. Comparing this recursion with R-matrix recursions of the so-called elliptic weight functions of Rimanyi-Tarasov-Varchenko we prove that weight functions represent elliptic classes of Schubert varieties.


title: Dynamical Phase Transitions in Topological Insulators

abstract: The traditional concept of phase transitions has, in recent years, been widened in a number of interesting ways. The concept of a topological phase transition separating phases with a different ground state topology, rather than phases of different symmetries, has become a large widely studied field in its own right. Additionally an analogy between phase transitions, described by non-analyticities in the derivatives of the free energy, and non-analyticities which occur in dynamically evolving correlation functions has been drawn. These are called dynamical phase transitions and one is often now far from the equilibrium situation. In these short lecture notes we will give a brief overview of the history of these concepts, focusing in particular on the way in which dynamical phase transitions themselves can be used to shed light on topological phase transitions and topological phases. We will go on to focus, first, on the effect which the topologically protected edge states, which are one of the interesting consequences of topological phases, have on dynamical phase transitions. Second we will consider what happens in the experimentally relevant situations where the system begins either in a thermal state rather than the ground state, or exchanges particles with an external environment.


title: The Concealed Voter Model is in the Voter Model universality class

abstract: The Concealed Voter Model (CVM) is an extension of the original Voter Model, where two different opinions compete until consensus is reached. In the CVM, agents express an opinion not only publicly, they also hold a private opinion, which they may disclose or change. In this paper I derive the critical exponents of both models via renormalised field theory and show that both belong to the compact directed percolation universality class.


title: Superiority of Bayes estimators over the MLE in high dimensional multinomial models and its implication for nonparametric Bayes theory

abstract: This article focuses on the performance of Bayes estimators, in comparison with the MLE, in multinomial models with a relatively large number of cells. The prior for the Bayes estimator is taken to be the conjugate Dirichlet, i.e., the multivariate Beta, with exchangeable distributions over the coordinates, including the non-informative uniform distribution. The choice of the multinomial is motivated by its many applications in business and industry, but also by its use in providing a simple nonparametric estimator of an unknown distribution. It is striking that the Bayes procedure outperforms the asymptotically efficient MLE over most of the parameter spaces for even moderately large dimensional parameter space and rather large sample sizes.


title: Robust Estimator-Based Safety Verification: A Vector Norm Approach

abstract: In this paper, we consider the problem of verifying safety constraint satisfaction for single-input single-output systems with uncertain transfer function coefficients. We propose a new type of barrier function based on a vector norm. This type of barrier function has a measurable upper bound without full state availability. An identifier-based estimator allows an exact bound for the uncertainty-based component of the barrier function estimate. Assuming that the system is safe initially allows an exponentially decreasing bound on the error due to the estimator transient. Barrier function and estimator synthesis is proposed as two convex sub-problems, exploiting linear matrix inequalities. The barrier function controller combination is then used to construct a safety backup controller. And we demonstrate the system in a simulation of a 1 degree-of-freedom human-exoskeleton interaction.


title: Reconstruction with velocities

abstract: Reconstruction is becoming a crucial procedure of galaxy clustering analysis for future spectroscopic redshift surveys to obtain subpercent level measurement of the baryon acoustic oscillation scale. Most reconstruction algorithms rely on an estimation of the displacement field from the observed galaxy distribution. However, the displacement reconstruction degrades near the survey boundary due to incomplete data and the boundary effects extend to $\sim100\,\mathrm{Mpc}/h$ within the interior of the survey volume. We study the possibility of using radial velocities measured from the cosmic microwave background observation through the kinematic Sunyaev-Zel'dovich effect to improve performance near the boundary. We find that the boundary effect can be reduced to $\sim30-40\,\mathrm{Mpc}/h$ with the velocity information from Simons Observatory. This is especially helpful for dense low redshift surveys where the volume is relatively small and a large fraction of total volume is affected by the boundary.


title: Covariance-free Partial Least Squares: An Incremental Dimensionality Reduction Method

abstract: Dimensionality reduction plays an important role in computer vision problems since it reduces computational cost and is often capable of yielding more discriminative data representation. In this context, Partial Least Squares (PLS) has presented notable results in tasks such as image classification and neural network optimization. However, PLS is infeasible on large datasets, such as ImageNet, because it requires all the data to be in memory in advance, which is often impractical due to hardware limitations. Additionally, this requirement prevents us from employing PLS on streaming applications where the data are being continuously generated. Motivated by this, we propose a novel incremental PLS, named Covariance-free Incremental Partial Least Squares (CIPLS), which learns a low-dimensional representation of the data using a single sample at a time. In contrast to other state-of-the-art approaches, instead of adopting a partially-discriminative or SGD-based model, we extend Nonlinear Iterative Partial Least Squares (NIPALS) -- the standard algorithm used to compute PLS -- for incremental processing. Among the advantages of this approach are the preservation of discriminative information across all components, the possibility of employing its score matrices for feature selection, and its computational efficiency. We validate CIPLS on face verification and image classification tasks, where it outperforms several other incremental dimensionality reduction techniques. In the context of feature selection, CIPLS achieves comparable results when compared to state-of-the-art techniques.


title: On some problems about ternary paths -- a linear algebra approach

abstract: Ternary paths consist of an up-step of one unit, a down-step of two units, never go below the $x$-axis, and return to the $x$-axis. This paper addresses the enumeration of partial ternary paths, ending at a given level $i$, reading the path either from left to right or from right to left. Since the paths are not symmetric w.r.t.\ left vs.\ right, as classical Dyck paths, this leads to different results. The right to left enumeration is quite challenging, but leads at the end to very satisfying results. The methods are elementary (solving systems of linear equations). In this way, several conjectures left open in Naiomi Cameron's Ph.D. thesis could be successfully settled.


title: The Impact of Data Preparation on the Fairness of Software Systems

abstract: Machine learning models are widely adopted in scenarios that directly affect people. The development of software systems based on these models raises societal and legal concerns, as their decisions may lead to the unfair treatment of individuals based on attributes like race or gender. Data preparation is key in any machine learning pipeline, but its effect on fairness is yet to be studied in detail. In this paper, we evaluate how the fairness and effectiveness of the learned models are affected by the removal of the sensitive attribute, the encoding of the categorical attributes, and instance selection methods (including cross-validators and random undersampling). We used the Adult Income and the German Credit Data datasets, which are widely studied and known to have fairness concerns. We applied each data preparation technique individually to analyse the difference in predictive performance and fairness, using statistical parity difference, disparate impact, and the normalised prejudice index. The results show that fairness is affected by transformations made to the training data, particularly in imbalanced datasets. Removing the sensitive attribute is insufficient to eliminate all the unfairness in the predictions, as expected, but it is key to achieve fairer models. Additionally, the standard random undersampling with respect to the true labels is sometimes more prejudicial than performing no random undersampling.


title: Addressing $\gamma$-ray emissions from dark matter annihilations in 45 milky way satellite galaxies and in extragalactic sources with particle dark matter models

abstract: The mass to luminosity ratio of the dwarf satellite galaxies in the Milky Way suggests that these dwarf galaxies may contain substantial dark matter. The dark matter at the dense region such as within or at the vicinity of the centres of these dwarf galaxies may undergo the process of self annihilation and produce $\gamma$-rays as the end product. The satellite borne $\gamma$-ray telescope such as Fermi-LAT reported the detection of $\gamma$-rays from around 45 Dwarf Spheroidals (dSphs) of Milky Way. In this work, we consider particle dark matter models described in the literature and after studying their phenomenologies, we calculate the $\gamma$-ray fluxes from the self annihilation of the dark matter within the framework of these models in case of each of these 45 dSphs. we then compare the computed results with the observational upper bounds for $\gamma$-ray flux reported by Fermi-LAT and Dark Energy Survey (DES) for each of the 45 dSphs. The fluxes are calculated by adopting different dark matter density profiles. We then extend similar analysis for the observational upper bounds given by Fermi-LAT for the continuum $\gamma$-ray fluxes originating from extragalactic sources.


title: Generator Contingency Modeling in Electric Energy Markets: Derivation of Prices via Duality Theory

abstract: Traditional electric energy markets do not explicitly model generator contingencies. To improve the representation of resources and to enhance the modeling of uncertainty, existing markets are moving in the direction of including generator contingencies and remedial action schemes within market auction models explicitly. This research contributes to the market design realm by providing detailed analysis of impending changes, it provides insightful guidance in understanding the market implications, and it provides recommendations on necessary changes to ensure a fair and transparent market structure. A primal (and the corresponding dual) formulation that accounts for the proposed changes to the auction model is provided to enable a theoretical analysis of the anticipated changes including the effect on market prices, settlements, and revenues. The derivation of the prices and the dual formulation are based on leveraging duality theory from linear optimization theory. A comparison to existing market structures is also included. The primary impact of the proposed changes includes the addition of a new congestion component within the traditional locational marginal price, which reflects the influence of congestion during the post-contingency states for the modeled critical generator contingencies.


title: Can Frequency Diverse Array Prevent Wireless Eavesdropping in Range Domain?

abstract: In this paper, the concept and recent development of exploiting frequency diverse array (FDA) and its variants for the physical-layer wireless security have been revisited and carefully examined. Following rigorous analytical derivation and illustrative simulations, the authors argue that the investigations performed in some recent works did not reveal one critical issue facing the real-world applications, and system models established and used before were based on an unrealistic assumption, i.e. that the legitimate and eavesdropping users at different ranges sample the signal waveforms at the same time instant. This misunderstanding results in conclusions that are misleading. The authors aim to take the first step to divert research efforts and rectify the previous problematic analyses. The authors prove that the FDA cannot secure a free-space wireless transmission in range domain, because the previously claimed 'secure reception region' propagates in range domain as time elapses.


title: Bayesian Learning-Based Adaptive Control for Safety Critical Systems

abstract: Deep learning has enjoyed much recent success, and applying state-of-the-art model learning methods to controls is an exciting prospect. However, there is a strong reluctance to use these methods on safety-critical systems, which have constraints on safety, stability, and real-time performance. We propose a framework which satisfies these constraints while allowing the use of deep neural networks for learning model uncertainties. Central to our method is the use of Bayesian model learning, which provides an avenue for maintaining appropriate degrees of caution in the face of the unknown. In the proposed approach, we develop an adaptive control framework leveraging the theory of stochastic CLFs (Control Lyapunov Functions) and stochastic CBFs (Control Barrier Functions) along with tractable Bayesian model learning via Gaussian Processes or Bayesian neural networks. Under reasonable assumptions, we guarantee stability and safety while adapting to unknown dynamics with probability 1. We demonstrate this architecture for high-speed terrestrial mobility targeting potential applications in safety-critical high-speed Mars rover missions.


title: Tensor-closed objects in the BGG category of a quantized semisimple Lie algebra

abstract: We consider the BGG category $\mathcal{O}$ of a quantized universal enveloping algebra $U_q(\mathfrak{g})$. We call a module $M\in \mathcal{O}$ tensor-closed if $M\otimes N\in\mathcal{O}$ for any $N\in \mathcal{O}$. In this paper we prove that $M\in \mathcal{O}$ is tensor-closed if and only if $M$ is finite dimensional. The method used in this paper applies to the unquantized case as well.


title: Packing Disks by Flipping and Flowing

abstract: We provide a new type of proof for the Koebe-Andreev-Thurston (KAT) planar circle packing theorem based on combinatorial edge-flips. In particular, we show that starting from a disk packing with a maximal planar contact graph $G$, one can remove any flippable edge $e^-$ of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing whose contact graph is the graph resulting from flipping the edge $e^-$ in $G$. This flow is parameterized by a single inversive distance.


title: Growth and Strain Engineering of Trigonal Te for Topological Quantum Phases in Non-Symmorphic Chiral Crystals

abstract: Strained trigonal Te has been predicted to host Weyl nodes supported by a non-symmorphic chiral symmetry. Using low-pressure physical vapor deposition, we systematically explored the growth of trigonal Te nanowires with naturally occurring strain caused by curvature of the wires. Raman spectra and high mobility electronic transport attest to the highly crystalline nature of the wires. Comparison of Raman spectra for both straight and curved nanowires indicates a breathing mode that is significantly broader and shifted in frequency for the curved wires. Strain induced by curvature during growth therefore may provide a simple pathway to investigate topological phases in trigonal Te.


title: Primal-dual splittings as fixed point iterations in the range of linear operators

abstract: In this paper we study the relaxed primal-dual algorithm for solving composite monotone inclusions in real Hilbert spaces with critical preconditioners. Our approach is based in new results on the asymptotic behaviour of Krasnosel'ski\u{\i}-Mann (KM) iterations defined in the range of monotone self-adjoint linear operators. These results generalize the convergence of classical KM iterations aiming at approximating fixed points. We prove that the relaxed primal-dual algorithm with critical preconditioners define KM iterations in the range of a particular monotone self-adjoint linear operator with non-trivial kernel. We then deduce from our fixed point approach that the shadows of primal-dual iterates on the range of the linear operator converges weakly to some point in this vector subspace from which we obtain a solution. This generalizes (Condat 2013 Theorem 3.3) to infinite dimensional relaxed primal-dual monotone inclusions involving critical preconditioners. The Douglas-Rachford splitting (DRS) is interpreted as a particular instance of the primal-dual algorithm when the step-sizes are critical and we recover classical results from this new perspective. We implement the relaxed primal-dual algorithm with critical preconditioners in total variation reconstruction and we illustrate its flexibility and efficiency.


title: Towards Deployment of Robust AI Agents for Human-Machine Partnerships

abstract: We study the problem of designing AI agents that can robustly cooperate with people in human-machine partnerships. Our work is inspired by real-life scenarios in which an AI agent, e.g., a virtual assistant, has to cooperate with new users after its deployment. We model this problem via a parametric MDP framework where the parameters correspond to a user's type and characterize her behavior. In the test phase, the AI agent has to interact with a user of unknown type. Our approach to designing a robust AI agent relies on observing the user's actions to make inferences about the user's type and adapting its policy to facilitate efficient cooperation. We show that without being adaptive, an AI agent can end up performing arbitrarily bad in the test phase. We develop two algorithms for computing policies that automatically adapt to the user in the test phase. We demonstrate the effectiveness of our approach in solving a two-agent collaborative task.


title: Some sharp isoperimetric-type inequalities on Riemannian manifolds

abstract: We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci curvature lower bound $(n-1)k$, the geodesic ball of radius $l$ in the space form of curvature $k$ has the largest area-to-volume ratio. A similar but reversed inequality holds if we replace a lower bound on the cut distance by a lower bound of the mean curvature. As an application we show that $C^2$ isoperimetric domains in standard space forms are balls. Generalized convexity also provides a simple proof of Toponogov theorem. We also prove another isoperimetric inequality involving the extrinsic radius of a domain when the curvature of the ambient space is bounded above. We then extend this inequality in two directions: one involves the higher order mean curvatures, and the other involves the Hausdorff measure of the cut locus.


title: Content-Based Features to Rank Influential Hidden Services of the Tor Darknet

abstract: The unevenness importance of criminal activities in the onion domains of the Tor Darknet and the different levels of their appeal to the end-user make them tangled to measure their influence. To this end, this paper presents a novel content-based ranking framework to detect the most influential onion domains. Our approach comprises a modeling unit that represents an onion domain using forty features extracted from five different resources: user-visible text, HTML markup, Named Entities, network topology, and visual content. And also, a ranking unit that, using the Learning-to-Rank (LtR) approach, automatically learns a ranking function by integrating the previously obtained features. Using a case-study based on drugs-related onion domains, we obtained the following results. (1) Among the explored LtR schemes, the listwise approach outperforms the benchmarked methods with an NDCG of 0.95 for the top-10 ranked domains. (2) We proved quantitatively that our framework surpasses the link-based ranking techniques. Also, (3) with the selected feature, we observed that the textual content, composed by text, NER, and HTML features, is the most balanced approach, in terms of efficiency and score obtained. The proposed framework might support Law Enforcement Agencies in detecting the most influential domains related to possible suspicious activities.


title: The Role of Neural Network Activation Functions

abstract: A wide variety of activation functions have been proposed for neural networks. The Rectified Linear Unit (ReLU) is especially popular today. There are many practical reasons that motivate the use of the ReLU. This paper provides new theoretical characterizations that support the use of the ReLU, its variants such as the leaky ReLU, as well as other activation functions in the case of univariate, single-hidden layer feedforward neural networks. Our results also explain the importance of commonly used strategies in the design and training of neural networks such as "weight decay" and "path-norm" regularization, and provide a new justification for the use of "skip connections" in network architectures. These new insights are obtained through the lens of spline theory. In particular, we show how neural network training problems are related to infinite-dimensional optimizations posed over Banach spaces of functions whose solutions are well-known to be fractional and polynomial splines, where the particular Banach space (which controls the order of the spline) depends on the choice of activation function.


title: Hate Speech in Pixels: Detection of Offensive Memes towards Automatic Moderation

abstract: This work addresses the challenge of hate speech detection in Internet memes, and attempts using visual information to automatically detect hate speech, unlike any previous work of our knowledge. Memes are pixel-based multimedia documents that contain photos or illustrations together with phrases which, when combined, usually adopt a funny meaning. However, hate memes are also used to spread hate through social networks, so their automatic detection would help reduce their harmful societal impact. Our results indicate that the model can learn to detect some of the memes, but that the task is far from being solved with this simple architecture. While previous work focuses on linguistic hate speech, our experiments indicate how the visual modality can be much more informative for hate speech detection than the linguistic one in memes. In our experiments, we built a dataset of 5,020 memes to train and evaluate a multi-layer perceptron over the visual and language representations, whether independently or fused. The source code and mode and models are available https://github.com/imatge-upc/hate-speech-detection .


title: Non-asymptotic $\ell_1$ spaces with unique $\ell_1$ asymptotic model

abstract: A recent result of Freeman, Odell, Sari, and Zheng states that whenever a separable Banach space not containing $\ell_1$ has the property that all asymptotic models generated by weakly null sequences are equivalent to the unit vector basis of $c_0$ then the space is Asymptotic $c_0$. We show that if we replace $c_0$ with $\ell_1$ then this result is no longer true. Moreover, a stronger result of B. Maurey - H. P. Rosenthal type is presented, namely, there exists a reflexive Banach space with an unconditional basis admitting $\ell_1$ as a unique asymptotic model whereas any subsequence of the basis generates a non-Asymptotic $\ell_1$ subspace.


title: Database-driven High-Throughput Calculations and Machine Learning Models for Materials Design

abstract: This paper reviews past and ongoing efforts in using high-throughput ab-inito calculations in combination with machine learning models for materials design. The primary focus is on bulk materials, i.e., materials with fixed, ordered, crystal structures, although the methods naturally extend into more complicated configurations. Efficient and robust computational methods, computational power, and reliable methods for automated database-driven high-throughput computation are combined to produce high-quality data sets. This data can be used to train machine learning models for predicting the stability of bulk materials and their properties. The underlying computational methods and the tools for automated calculations are discussed in some detail. Various machine learning models and, in particular, descriptors for general use in materials design are also covered.


title: Empirical Coordination with Multiple Descriptions

abstract: We extend the framework of empirical coordination to a distributed setup where for a given action by nature, multiple descriptions of the action of the decoder are available. We adopt the coding strategy applied by El Gamal and Cover in \cite{gamal:1982} to get a lower bound of the coordination region. Then, we improve this region by applying the coding scheme applied by Zhang and Berger in \cite{zhang:1987}.


title: An Optimal Transport Formulation of the Ensemble Kalman Filter

abstract: Controlled interacting particle systems such as the ensemble Kalman filter (EnKF) and the feedback particle filter (FPF) are numerical algorithms to approximate the solution of the nonlinear filtering problem in continuous time. The distinguishing feature of these algorithms is that the Bayesian update step is implemented using a feedback control law. It has been noted in the literature that the control law is not unique. This is the main problem addressed in this paper. To obtain a unique control law, the filtering problem is formulated here as an optimal transportation problem. An explicit formula for the (mean-field type) optimal control law is derived in the linear Gaussian setting. Comparisons are made with the control laws for different types of EnKF algorithms described in the literature. Via empirical approximation of the mean-field control law, a finite-$N$ controlled interacting particle algorithm is obtained. For this algorithm, the equations for empirical mean and covariance are derived and shown to be identical to the Kalman filter. This allows strong conclusions on convergence and error properties based on the classical filter stability theory for the Kalman filter. It is shown that, under certain technical conditions, the mean squared error (m.s.e.) converges to zero even with a finite number of particles. A detailed propagation of chaos analysis is carried out for the finite-$N$ algorithm. The analysis is used to prove weak convergence of the empirical distribution as $N\rightarrow\infty$. For a certain simplified filtering problem, analytical comparison of the m.s.e. with the importance sampling-based algorithms is described. The analysis helps explain the favorable scaling properties of the control-based algorithms reported in several numerical studies in recent literature.


title: Mapping Natural-language Problems to Formal-language Solutions Using Structured Neural Representations

abstract: Generating formal-language programs represented by relational tuples, such as Lisp programs or mathematical operations, to solve problems stated in natural language is a challenging task because it requires explicitly capturing discrete symbolic structural information implicit in the input. However, most general neural sequence models do not explicitly capture such structural information, limiting their performance on these tasks. In this paper, we propose a new encoder-decoder model based on a structured neural representation, Tensor Product Representations (TPRs), for mapping Natural-language problems to Formal-language solutions, called TP-N2F. The encoder of TP-N2F employs TPR `binding' to encode natural-language symbolic structure in vector space and the decoder uses TPR `unbinding' to generate, in symbolic space, a sequential program represented by relational tuples, each consisting of a relation (or operation) and a number of arguments. TP-N2F considerably outperforms LSTM-based seq2seq models on two benchmarks and creates new state-of-the-art results. Ablation studies show that improvements can be attributed to the use of structured TPRs explicitly in both the encoder and decoder. Analysis of the learned structures shows how TPRs enhance the interpretability of TP-N2F.


title: Secure Montgomery Multiplication and Repeated Squares for Modular Exponentiation

abstract: The BMR16 circuit garbling scheme introduces gadgets that allow for ciphertext-free modular addition, while the multiplication of private inputs modulo a prime p can be done with 2(p - 1) ciphertexts as described in Malkin, Pastro, and Shelat's An algebraic approach to garbling. By using a residue number system (RNS), we can construct a circuit to handle the squaring and multiplication of inputs modulo a large N via the methods described in Hollman and Gorissen's multi-layer residue number system. We expand on the existing techniques for arithmetic modulo p to develop methods to handle arithmetic in a positional, base-p number system. We evaluate the ciphertext cost of both of these methods and compare their performance for squaring in various large moduli.


title: A note on the selfsimilarity of limit flows

abstract: It is a fundamental open problem for the mean curvature flow, and in fact for many partial differential equations, whether or not all blowup limits are selfsimilar. In this short note, we prove that for the mean curvature flow of mean convex surfaces all limit flows are selfsimilar (static, shrinking or translating) if and only if there are only finitely many spherical singularities. More generally, using the solution of the mean convex neighborhood conjecture for neck singularities, we establish a local version of this equivalence for neck singularities in arbitrary dimension. In particular, we see that the ancient ovals occur as limit flows if and only if there is a sequence of spherical singularities converging to a neck singularity.


title: Clustering Gaussian Graphical Models

abstract: We derive an efficient method to perform clustering of nodes in Gaussian graphical models directly from sample data. Nodes are clustered based on the similarity of their network neighborhoods, with edge weights defined by partial correlations. In the limited-data scenario, where the covariance matrix would be rank-deficient, we are able to make use of matrix factors, and never need to estimate the actual covariance or precision matrix. We demonstrate the method on functional MRI data from the Human Connectome Project. A matlab implementation of the algorithm is provided.


title: Carrots or Sticks? The Effectiveness of Subsidies and Tolls in Congestion Games

abstract: Are rewards or penalties more effective in influencing user behavior? This work compares the effectiveness of subsidies and tolls in incentivizing users in congestion games. The predominantly studied method of influencing user behavior in network routing problems is to institute taxes which alter users' observed costs in a manner that causes their self-interested choices to more closely align with a system-level objective. Another feasible method to accomplish the same goal is to subsidize the users' actions that are preferable from a system-level perspective. We show that, when users behave similarly and predictably, subsidies offer comparable performance guarantees to tolls while requiring smaller monetary transactions with users; however, in the presence of unknown player heterogeneity, subsidies fail to offer the same performance as tolls. We further investigate these relationships in affine congestion games, deriving explicit performance bounds under optimal tolls and subsidies with and without user heterogeneity; we show that the differences in performance can be significant.


title: Neural Multisensory Scene Inference

abstract: For embodied agents to infer representations of the underlying 3D physical world they inhabit, they should efficiently combine multisensory cues from numerous trials, e.g., by looking at and touching objects. Despite its importance, multisensory 3D scene representation learning has received less attention compared to the unimodal setting. In this paper, we propose the Generative Multisensory Network (GMN) for learning latent representations of 3D scenes which are partially observable through multiple sensory modalities. We also introduce a novel method, called the Amortized Product-of-Experts, to improve the computational efficiency and the robustness to unseen combinations of modalities at test time. Experimental results demonstrate that the proposed model can efficiently infer robust modality-invariant 3D-scene representations from arbitrary combinations of modalities and perform accurate cross-modal generation. To perform this exploration, we also develop the Multisensory Embodied 3D-Scene Environment (MESE).


title: Convolutions of Totally Positive Distributions with applications to Kernel Density Estimation

abstract: In this work we study the estimation of the density of a totally positive random vector. Total positivity of the distribution of a random vector implies a strong form of positive dependence between its coordinates and, in particular, it implies positive association. Since estimating a totally positive density is a non-parametric problem, we take on a (modified) kernel density estimation approach. Our main result is that the sum of scaled standard Gaussian bumps centered at a min-max closed set provably yields a totally positive distribution. Hence, our strategy for producing a totally positive estimator is to form the min-max closure of the set of samples, and output a sum of Gaussian bumps centered at the points in this set. We can frame this sum as a convolution between the uniform distribution on a min-max closed set and a scaled standard Gaussian. We further conjecture that convolving any totally positive density with a standard Gaussian remains totally positive.


title: Upper Limit Transverse Voltage Calculations from the Glazman Model

abstract: The model of Transverse Voltage proposed by L.I. Glazman made predictions on the upper current limit for the existence of Transverse Voltage. In his paper, the upper limit for current at which Transverse Voltage would appear in wide films is temperature independent. Using a Runge-Kutta algorithim and the complete equations for vortex-antivortex interactions, the upper limit for thin niobium films were calculated for several temperatures, and how these compare to Glazman's model and experimental results on the same films are discussed. We find in contrast to both the experimental results and Glazman's prediction, the solution to the complete equations show an increase in the upper current limit as temperature increases.


title: First-principle Calculations of Electron-Phonon Interactions in $A^{II}B^{IV}C^{V}_2$ Crystals

abstract: $Ab-initio$ probabilities of phonon-assisted intervalley scattering of electrons in the conduction bands of ternary chalcopyrite compounds $ZnSiP_2$ and $ZnGeP_2$ between the central $\Gamma$ minima and the lowest lateral minima (valleys) at $T$ and $N$ points have been calculated using the density functional theory. The equilibrium parameters of crystal structures, spectra of electrons and phonons are calculated self-consistently and are in fairly good agreement with the experiment and available theoretical calculations. The electron-phonon coupling constants with short-wave (inter-valley) phonons in the chalcopyrite phosphides are close to their values in $Si$, $Ge$ and in binary analog $GaP$.


title: Convex and Non-convex Approaches for Statistical Inference with Class-Conditional Noisy Labels

abstract: We study the problem of estimation and testing in logistic regression with class-conditional noise in the observed labels, which has an important implication in the Positive-Unlabeled (PU) learning setting. With the key observation that the label noise problem belongs to a special sub-class of generalized linear models (GLM), we discuss convex and non-convex approaches that address this problem. A non-convex approach based on the maximum likelihood estimation produces an estimator with several optimal properties, but a convex approach has an obvious advantage in optimization. We demonstrate that in the low-dimensional setting, both estimators are consistent and asymptotically normal, where the asymptotic variance of the non-convex estimator is smaller than the convex counterpart. We also quantify the efficiency gap which provides insight into when the two methods are comparable. In the high-dimensional setting, we show that both estimation procedures achieve $\ell_2$-consistency at the minimax optimal $\sqrt{s\log p/n}$ rates under mild conditions. Finally, we propose an inference procedure using a de-biasing approach. We validate our theoretical findings through simulations and a real-data example.


title: Autonomous Parking of Vehicle Fleet in Tight Environments

abstract: The problem of autonomous parking of vehicle fleets is addressed in this paper. We present a system-level modeling and control framework which allows investigating different vehicle parking strategies while taking into account path planning and collision avoidance. The proposed approach decouples the problem into a centralized parking spot allocation and path generation, and a decentralized collision avoidance control. This paper presents the hierarchical framework and algorithmic details. Extensive simulations are used to assess several allocation strategies in terms of total fleet parking time and queue length. In particular, we describe how Braess's paradox can be observed for parking vehicle fleets.


title: Large-scale Mobile App Identification Using Deep Learning

abstract: Many network services and tools (e.g. network monitors, malware-detection systems, routing and billing policy enforcement modules in ISPs) depend on identifying the type of traffic that passes through the network. With the widespread use of mobile devices, the vast diversity of mobile apps, and the massive adoption of encryption protocols (such as TLS), large-scale encrypted traffic classification becomes increasingly difficult. In this paper, we propose a deep learning model for mobile app identification that works even with encrypted traffic. The proposed model only needs the payload of the first few packets for classification, and, hence, it is suitable even for applications that rely on early prediction, such as routing and QoS provisioning. The deep model achieves between 84% to 98% accuracy for the identification of 80 popular apps. We also perform occlusion analysis to bring insight into what data is leaked from SSL/TLS protocol that allows accurate app identification. Moreover, our traffic analysis shows that many apps generate not only app-specific traffic, but also numerous ambiguous flows. Ambiguous flows are flows generated by common functionality modules, such as advertisement and traffic analytics. Because such flows are common among many different apps, identifying the source app that generates ambiguous flows is challenging. To address this challenge, we propose a CNN+LSTM model that uses adjacent flows to learn the order and pattern of multiple flows, to better identify the app that generates them. We show that such flow association considerably improves the accuracy, particularly for ambiguous flows. Furthermore, we show that our approach is robust to mixed traffic scenarios where some unrelated flows may appear in adjacent flows. To the best of our knowledge, this is the first work that identifies the source app for ambiguous flows.


title: Clustering case statements for indirect branch predictors

abstract: We present an O(nlogn) algorithm to compile a switch statement into jump tables. To generate jump tables that can be efficiently predicted by current hardware branch predictors, we added an upper bound on the number of entries for each table. This modification of the previously best known algorithm reduces the complexity from O(n^2) to O(nlogn).


title: Operational Calibration: Debugging Confidence Errors for DNNs in the Field

abstract: Trained DNN models are increasingly adopted as integral parts of software systems, but they often perform deficiently in the field. A particularly damaging problem is that DNN models often give false predictions with high confidence, due to the unavoidable slight divergences between operation data and training data. To minimize the loss caused by inaccurate confidence, operational calibration, i.e., calibrating the confidence function of a DNN classifier against its operation domain, becomes a necessary debugging step in the engineering of the whole system. Operational calibration is difficult considering the limited budget of labeling operation data and the weak interpretability of DNN models. We propose a Bayesian approach to operational calibration that gradually corrects the confidence given by the model under calibration with a small number of labeled operation data deliberately selected from a larger set of unlabeled operation data. The approach is made effective and efficient by leveraging the locality of the learned representation of the DNN model and modeling the calibration as Gaussian Process Regression. Comprehensive experiments with various practical datasets and DNN models show that it significantly outperformed alternative methods, and in some difficult tasks it eliminated about 71% to 97% high-confidence (>0.9) errors with only about 10\% of the minimal amount of labeled operation data needed for practical learning techniques to barely work.


title: Optimizing Data Freshness in Time-Varying Wireless Networks with Imperfect Channel State

abstract: We consider a scenario where a base station (BS) attempts to collect fresh information from power constrained sensors over time-varying band-limited wireless channels. We characterize the data freshness through the recently proposed metric--the Age of Information. We consider a time-varying channel model with power adaptation. Unlike previous work, packet loss may happen due to imperfect channel estimation or decoding error. We propose an asymptotic optimal scheduling algorithm minimizing AoI performance and satisfying both bandwidth and power constraint in such networks. Numerical simulations show that the proposed policy outperforms the greedy one, and we observe that sensors with poor channels are scheduled at higher AoI in order to limit the packet loss.


title: AdvSPADE: Realistic Unrestricted Attacks for Semantic Segmentation

abstract: Due to the inherent robustness of segmentation models, traditional norm-bounded attack methods show limited effect on such type of models. In this paper, we focus on generating unrestricted adversarial examples for semantic segmentation models. We demonstrate a simple and effective method to generate unrestricted adversarial examples using conditional generative adversarial networks (CGAN) without any hand-crafted metric. The na\"ive implementation of CGAN, however, yields inferior image quality and low attack success rate. Instead, we leverage the SPADE (Spatially-adaptive denormalization) structure with an additional loss item to generate effective adversarial attacks in a single step. We validate our approach on the popular Cityscapes and ADE20K datasets, and demonstrate that our synthetic adversarial examples are not only realistic, but also improve the attack success rate by up to 41.0\% compared with the state of the art adversarial attack methods including PGD.


title: Climate Diversity in the Solar-Like Habitable Zone due to Varying Background Gas Pressure

abstract: A large number of studies have responded to the growing body of confirmed terrestrial habitable zone exoplanets by presenting models of various possible climates. However, the impact of the partial pressure of background gases such as N$_2$ has not yet been well-explored, despite the abundance of N$_2$ in Earth's atmosphere and the lack of constraints on its typical abundance in terrestrial planet atmospheres. We use PlaSim, a fast 3D climate model, to simulate many hundreds of climates around Sun-like stars with varying N$_2$ partial pressures, instellations, and surface characteristics to identify the impact of the background gas partial pressure on the climate. We find that the climate's response is nonlinear and highly sensitive to the background gas partial pressure. We identify pressure broadening of greenhouse gas (such as CO$_2$ and H$_2$O) absorption lines, amplification of warming or cooling by the water vapor greenhouse positive feedback, heat transport efficiency, and cooling through Rayleigh scattering as the dominant competing mechanisms that determine the equilibrium climate for a given N$_2$ partial pressure. Finally, we show that different amounts of N$_2$ should have a significant effect on broadband reflected light observations of terrestrial exoplanets around Sun-like stars.


title: Text Level Graph Neural Network for Text Classification

abstract: Recently, researches have explored the graph neural network (GNN) techniques on text classification, since GNN does well in handling complex structures and preserving global information. However, previous methods based on GNN are mainly faced with the practical problems of fixed corpus level graph structure which do not support online testing and high memory consumption. To tackle the problems, we propose a new GNN based model that builds graphs for each input text with global parameters sharing instead of a single graph for the whole corpus. This method removes the burden of dependence between an individual text and entire corpus which support online testing, but still preserve global information. Besides, we build graphs by much smaller windows in the text, which not only extract more local features but also significantly reduce the edge numbers as well as memory consumption. Experiments show that our model outperforms existing models on several text classification datasets even with consuming less memory.


title: Parabolic Hecke eigensheaves

abstract: We study the Geometric Langlands Conjecture (GLC) for rank two flat bundles on the projective line $C$ with tame ramification at five points $\{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \}$. In particular we construct the automorphic $D$-modules predicted by GLC on the moduli space of rank two parabolic bundles on $(C, \{p_{1}, p_{2}, p_{3}, p_{4}, p_{5} \})$. The construction uses non-abelian Hodge theory and a Fourier-Mukai transform along the fibers of the Hitchin fibration to reduce the problem to one in classical projective geometry on the intersection of two quadrics in $\mathbb{P}^{4}$.


title: Which Ads to Show? Advertisement Image Assessment with Auxiliary Information via Multi-step Modality Fusion

abstract: Assessing aesthetic preference is a fundamental task related to human cognition. It can also contribute to various practical applications such as image creation for online advertisements. Despite crucial influences of image quality, auxiliary information of ad images such as tags and target subjects can also determine image preference. Existing studies mainly focus on images and thus are less useful for advertisement scenarios where rich auxiliary data are available. Here we propose a modality fusion-based neural network that evaluates the aesthetic preference of images with auxiliary information. Our method fully utilizes auxiliary data by introducing multi-step modality fusion using both conditional batch normalization-based low-level and attention-based high-level fusion mechanisms, inspired by the findings from statistical analyses on real advertisement data. Our approach achieved state-of-the-art performance on the AVA dataset, a widely used dataset for aesthetic assessment. Besides, the proposed method is evaluated on large-scale real-world advertisement image data with rich auxiliary attributes, providing promising preference prediction results. Through extensive experiments, we investigate how image and auxiliary information together influence click-through rate.


title: Deep Ocean: A blockchain-agnostic dark pool protocol

abstract: We introduce a new cryptographic protocol, called Deep Ocean, that implements a blockchain-agnostic dark pool for cryptocurrencies. Deep Ocean is a layer-two protocol, meaning that it can work with any two cryptocurrencies, as long as there exists an underlying settlement mechanism, for example performing atomic swaps.


title: Constant vorticity geophysical waves with centripetal forces and at arbitrary latitude

abstract: We consider three-dimensional geophysical flows at arbitrary latitude and with constant vorticity beneath a wave train and above a flat bed in the $\beta$-plane approximation with centripetal forces. We consider the $f$-plane approximation as well as the $\beta$-plane approximation. For the $f$-plane approximation, we prove that there is no bounded solution. For the $\beta$-plane approximation, we show that the flow is necessarily irrotational and the free surface is necessarily flat if it exhibits a constant vorticity. Our results reveal some essential differences from those results in the literature, due to the presence of centripetal forces. Moreover, for the case exhibiting the surface tension, we prove that there are no flows exhibiting constant vorticity.


title: Detectability of 21cm signal during the Epoch of Reionization with 21cm-Lyman-${\alpha}$ emitter cross-correlation. III. Model dependence

abstract: Detecting $\rm H_I$ 21cm line in the intergalactic medium (IGM) during the Epoch of Reionization (EoR) suffers from foreground contamination such as Galactic synchrotron and extragalactic radio sources. Cross-correlation between the 21cm line and Lyman-$\alpha$ emitter (LAE) galaxies is a powerful tool to identify the 21cm signal since the 21cm line emission has correlation with LAEs while the LAEs are statistically independent of the foregrounds. So far, the detectability of 21cm-LAE cross-power spectrum has been investigated with simple LAE models where the observed Ly$\alpha$ luminosity is proportional to the dark matter halo mass. However, the previous models were inconsistent with the latest observational data of LAEs obtained with Subaru/Hyper Suprime-Cam (HSC). Here, we revisit the detectability of 21cm-LAE cross-power spectrum adopting a state-of-the-art LAE model consistent with all Subaru/HSC observations such as the Ly$\alpha$ luminosity function, LAE angular auto-correlation, and the LAE fractions in the continuum selected galaxies. We find that resultant cross-power spectrum with the updated LAE model is reduced at small scales ($k\sim 1\ \rm Mpc^{-1}$) compared to the simple models, while the amplitudes at large scales ($k \lesssim 0.2 \ \rm Mpc^{-1}$) are not affected so much. We conclude that the large-scale signal would be detectable with Square Kilometre Array (SKA) and HSC LAE cross-correlation but detecting the small scale signal would require an extended HSC LAE survey with an area of $\sim 75\ \rm deg^2$ or 3000 hrs observation time of 21cm line with SKA.


title: Self-dual solitons in a Maxwell-Chern-Simons baby Skyrme model

abstract: We have studied the existence de self-dual solitons in a gauged version of the baby Skyrme model in which the gauge field dynamics is governed by the Maxwell-Chern-Simons action. For such a purpose, we have developed a detailed implementation of the Bogomol'nyi-Prasad-Sommerfield formalism providing the self-dual equations whose solutions saturate the energy lower bound. Such a bound related to the topological charge of the Skyrme field becomes quantized whereas both the total magnetic flux and the total electrical charge are not. We have found two types of self-dual Skyrme field profiles: the first is described by a solution which decays following an exponential-law ($e^{-\alpha r^2}$, $\alpha>0$); the second is portrayed by a solution having a power-law decay ($r^{-\beta}$, $\beta>0$). On other hand, in both cases the asymptotic behavior of the gauge field is similar to the one presented in the context of the Abelian Higgs models describing Abrikosov-Nielsen-Olesen charged vortices. Other interesting feature we highlight is the localized magnetic flux inversion, a property does not observed in others gauged baby Skyrme models already studied in literature. Numerical results are presented for rotationally symmetrical field configurations by remarking some of its essential features.


title: The $\partial\overline{\partial}$-Bochner formulas for holomorphic mappings between Hermitian manifolds and their applications

abstract: In this paper, we derive some $\partial\overline{\partial}$-Bochner formulas for holomorphic maps between Hermitian manifolds. As applications, we prove some Schwarz lemma type estimates, rigidity and degeneracy theorems. For instance, we show that there is no non-constant holomorphic map from a comapct Hermitian manifold with positive (resp. non-negative) $\ell$-second Ricci curvature to a Hermitian manifold with non-positive (resp. negative) real bisectional curvature. These theorems generalize the results \cite{Ni1,Ni2} proved recently by L. Ni on K\"{a}hler manifolds to Hermitian manifolds. We also derive an integral inequality for holomorphic map between Hermitian manifolds.


title: Controlled creation of three-dimensional vortex structures in Bose--Einstein condensates using artificial magnetic fields

abstract: The physics of quantized vortex excitations in atomic Bose-Einstein condensates has been extensively studied in recent years.Although simple vortex lines are relatively easy to create, control, and measure in experiments, it is a lot more difficult to do the same for vortex ring structures.Here we suggest and explore a method for generating and controlling superfluid vortex rings, vortex ring lattices, and other three dimensional vortex structures in toroidally-trapped superfluid Bose--Einstein condensates by using the artificial magnetic field produced by an optical nanofiber.The presence of the fiber also necessitates a multiply-connected geometry and we show that in this situation the presence of these vortex structures can be deduced from exciting the scissors mode of the condensate.


title: Multilingual Dialogue Generation with Shared-Private Memory

abstract: Existing dialog systems are all monolingual, where features shared among different languages are rarely explored. In this paper, we introduce a novel multilingual dialogue system. Specifically, we augment the sequence to sequence framework with improved shared-private memory. The shared memory learns common features among different languages and facilitates a cross-lingual transfer to boost dialogue systems, while the private memory is owned by each separate language to capture its unique feature. Experiments conducted on Chinese and English conversation corpora of different scales show that our proposed architecture outperforms the individually learned model with the help of the other language, where the improvement is particularly distinct when the training data is limited.


title: Splitting Steepest Descent for Growing Neural Architectures

abstract: We develop a progressive training approach for neural networks which adaptively grows the network structure by splitting existing neurons to multiple off-springs. By leveraging a functional steepest descent idea, we derive a simple criterion for deciding the best subset of neurons to split and a splitting gradient for optimally updating the off-springs. Theoretically, our splitting strategy is a second-order functional steepest descent for escaping saddle points in an $\infty$-Wasserstein metric space, on which the standard parametric gradient descent is a first-order steepest descent. Our method provides a new computationally efficient approach for optimizing neural network structures, especially for learning lightweight neural architectures in resource-constrained settings.


title: The frog model on Galton-Watson trees

abstract: We consider an interacting particle system on trees known as the frog model: initially, a single active particle begins at the root and i.i.d.~$\mathrm{Poiss}(\lambda)$ many inactive particles are placed at each non-root vertex. Active particles perform discrete time simple random walk and activate the inactive particles they encounter. We show that for Galton-Watson trees with offspring distributions $Z$ satisfying $\mathbf{P}(Z \geq 2) = 1$ and $\mathbf{E}[Z^{4 + \epsilon}] < \infty$ for some $\epsilon > 0$, there is a critical value $\lambda_c\in(0,\infty)$ separating recurrent and transient regimes for almost surely every tree, thereby answering a question of Hoffman-Johnson-Junge. In addition, we also establish that this critical parameter depends on the entire offspring distribution, not just the maximum value of $Z$, answering another question of Hoffman-Johnson-Junge and showing that the frog model and contact process behave differently on Galton-Watson trees.


title: Computer-mediated Empathy

abstract: While novel social networks and emerging technologies help us transcend the spatial and temporal constraints inherent to in-person communication, the trade-off is a loss of natural expressivity. While empathetic interaction is already challenging in in-person communication, computer-mediated communication makes such empathetically rich communication even more difficult. Are technology and intelligent systems opportunities or threats to more empathic interpersonal communication? Realizing empathy is suggested not only as a way to communicate with others but also to design products for users and facilitate creativity. In this position paper, I suggest a framework to breakdown empathy, introduce each element, and show how computing, technologies, and algorithms can support (or hinder) certain elements of the empathy framework.