title: Sparse Universum Quadratic Surface Support Vector Machine Models for Binary Classification

abstract: In binary classification, kernel-free linear or quadratic support vector machines are proposed to avoid dealing with difficulties such as finding appropriate kernel functions or tuning their hyper-parameters. Furthermore, Universum data points, which do not belong to any class, can be exploited to embed prior knowledge into the corresponding models so that the generalization performance is improved. In this paper, we design novel kernel-free Universum quadratic surface support vector machine models. Further, we propose the L1 norm regularized version that is beneficial for detecting potential sparsity patterns in the Hessian of the quadratic surface and reducing to the standard linear models if the data points are (almost) linearly separable. The proposed models are convex such that standard numerical solvers can be utilized for solving them. Nonetheless, we formulate a least squares version of the L1 norm regularized model and next, design an effective tailored algorithm that only requires solving one linear system. Several theoretical properties of these models are then reported/proved as well. We finally conduct numerical experiments on both artificial and public benchmark data sets to demonstrate the feasibility and effectiveness of the proposed models.


title: W-representation of Rainbow tensor model

abstract: We analyze the rainbow tensor model and present the Virasoro constraints, where the constraint operators obey the Witt algebra and null 3-algebra. We generalize the method of W-representation in matrix model to the rainbow tensor model, where the operators preserving and increasing the grading play a crucial role. It is shown that the rainbow tensor model can be realized by acting on elementary function with exponent of the operator increasing the grading. We derive the compact expression of correlators and apply it to several models, i.e., the red tensor model, Aristotelian tensor model and r=4 rainbow tensor model. Furthermore, we discuss the case of the non-Gaussian red tensor model and present a dual expression for partition function through differentiation.


title: Predicting synthesizable cobalt and manganese silicides, germanide with desirable magnetic anisotropy energy

abstract: The nanoparticle Co3Si (P63/mmc) displays remarkable magnetism [Appl. Phys. Lett. 108, 152406 (2016)], we thus searched cobalt silicides and several phases are searched including a Cmcm with 60 meV/atom lower than that of P63/mmc. A lower-energy Co R3m (-7.03 eV/atom) is predicted, whose energy is higher than that of known P63/mmc (-7.04 eV/atom) but is lower than that of Fm3m (-7.02 eV/atom). Three small-magnetism low-energy Fe5Si3 structures are searched with energies 30 meV/atom lower than that of experimental P63/mcm. The strong lattice shape dependence of magnetocrystalline anisotropy energy (MAE) is studied through X5Si3 (X=Mn, Fe, Co). The building-block shape and energy order of cobalt silicide is dominated by Co P63/mmc, Fm3m , R3m , respectively. The Co3C and Co3Sn have positive formation of energy, thus only Co3Ge has similar structures with those of counterparts of Co3Si. Several low-energy perfect or nearly-perfect easy-axis/plane MAE Mn3Si, Mn5Si2, and Mn5Si3 structures are searched and present important application, as is also the case in Ge-containing counterparts. A structure I4122 with energy 300 meV/atom lower than that of experimental Mn5Si3 P63/mcm is searched


title: Axion-Sterile-Neutrino Dark Matter

abstract: Extending the Standard Model with three right-handed neutrinos and a simple QCD axion sector can account for neutrino oscillations, dark matter and baryon asymmetry; at the same time, it solves the strong CP problem, stabilizes the electroweak vacuum and can implement critical Higgs inflation (satisfying all current observational bounds). We perform here a general analysis of dark matter (DM) in such a model, which we call the $a\nu$MSM. Although critical Higgs inflation features a (quasi) inflection point of the inflaton potential we show that DM cannot receive a contribution from primordial black holes in the $a\nu$MSM. This leads to a multicomponent axion-sterile-neutrino DM and allows us to relate the axion parameters, such as the axion decay constant, to the neutrino parameters. We include several DM production mechanisms: the axion production via misalignment and decay of topological defects as well as the sterile-neutrino production through the resonant and non-resonant mechanisms and in the recently proposed CPT-symmetric universe.


title: Tailoring energy landscape of graphene nanostructures on graphene and realizing atomically precise graphene origami using tilt grain boundaries

abstract: In two-dimensional van der Waals (vdWs) materials, the relative twist angle between adjacent layers not only controls their electronic properties, but also determines their stacking energy. This effect makes it much easier to realize energetically favorable configurations of the vdWs materials, for example, Bernal-stacked structure of bilayer graphene. Here we demonstrate that we can controllably tailor adhesive energy landscape of graphene nanostructures on graphene and stabilize the system with tunable twist angle by using a one-dimensional tilt grain boundary (GB). The area ratio with different stacking orders separated by tilt GB is continuously tuned, which provides a new degree of freedom to tailor the energy landscape of the system. Due to the different stacking orders separated by the tilt GB, we can repeatedly fold and unfold the graphene nanostructure exactly along the one-dimensional boundary, demonstrating the ability to realize atomically precise graphene origami.


title: Rigorous Analysis and Dynamics of Hibler's sea ice model

abstract: This article develops for the first time a rigorous analysis of Hibler's model of sea ice dynamics. Identifying Hibler's ice stress as a quasilinear second order operator and regarding Hibler's model as a quasilinear evolution equation, it is shown that Hibler's coupled sea ice model, i.e., the model coupling velocity, thickness and compactness of sea ice, is locally strongly well-posed within the $L_q$-setting and also globally strongly well-posed for initial data close to constant equilibria.


title: Aspects of Sustainable Test Processes

abstract: Testing is a core software development activity that has huge potential to make software development more sustainable. In this paper, we discuss how environmental, social, economic, and technical sustainability map onto the activities of test planning, design, execution, and evaluation.


title: Darboux Rectifying curves on a smooth surface

abstract: The main aim of this paper is to investigate Darboux rectifying curves on a smooth surface immersed in the Euclidean space. First, we discuss the component of the position vector of a Darboux rectifying curve on a smooth immersed surface under the isometry of surfaces. Next we find a sufficient condition for the conformal invariance of Darboux rectifying curve.


title: Possible Assignment of Excited Light $^3S_1$ Vector Mesons

abstract: We reanalyze the problems in the assignment of 3$^3S_1$ and 4$^3S_1$ light mesons, which have not yet been well established with the $q\bar{q}$ quark model. Regge trajectories and the $^3P_0$ decay model are used respectively to study the mass and width of the observed states and predict the missing ones. By comparing our calculations with the latest experiments, we suggest that the inconsistent data of $\rho(2150)$ may include two similar structures $\rho(4^3S_1)$ and $\omega(4^3S_1)$. In addition, the problem of the $K^*(2^3S_1)$ assignment, with two observed states $K^*(1410)$ and $K^*(1680)$, is investigated, with several possible explanations.


title: Retrolensing by a spherically symmetric naked singularity

abstract: Considering a strong field limit, we investigate the retrolensing phenomenon in the vicinity of a Janis-Newman-Winicour (JNW) naked singularity embedded in a scalar field. We assume that the light rays from a nearby source are reflected by the photon sphere of the naked singularity, acting as a lens, to create a pair of images. The analytic expressions of the lensing coefficients $\bar{a}$ and $\bar{b}$ are obtained, which are scalar dependent and discordant with \cite{Bozza:2002b}. Moreover, considering the powerful supermassive black hole candidates Sgr A* and M87*, we examined the influence of the scalar field on the apparent brightness and angular positions of the parity images. Our results are highlighted in correspondence with a non-scalar field gravity, specifically the Schwarzschild gravity. We have found that the brightness increases in the presence of the scalar field, while, the lensing coefficients $\bar{a}$, $\bar{b}$, the angular positions and the angular separation of the relativistic images experience a reverse effect.


title: Energetics of Feedback: Application to Memory Erasure

abstract: Landauer's erasure principle states that any irreversible erasure protocol of a single bit memory needs work of at least $k_B T ln2.$ Recent proof of concept experiments has demonstrated that the erasure protocols with work close to the Landauer limit can be devised. Under feedback, where the state of the bit can be measured, the work needed for bit erasure can be lower than $k_B T ln2.$ In this article, we analyze the energetics of feedback enabled erasure, while incorporating the imperfections of experimentally realized memory and bit erasure protocols that admit failure probabilities. We delineate the role of uncertainty in measurements and its effects on the work and entropy changes for a feedback-based erasure. We quantitatively demonstrate that the deficit between the Landauer limit and the minimum average work needed in a feedback-based erasure is accounted for by the mutual information between the measurement and the state of the memory, while incorporating the imperfections inherent in any realization. We experimentally demonstrate analysis results on a memory and erasure protocol realized using optical fields.


title: Ultrasonic monitoring of stress and cracks of the 1/3 scale mock-up of nuclear reactor concrete containment structure

abstract: To evaluate the stress level and damage of a reinforced concrete containment wall and its reaction to pressure variations, we implemented successive ultrasonic experiments on the exterior surface of the containment wall in the gusset area for three consecutive years. During each experiment, the pressure inside the containment wall increased gradually from 0 MPa to 0.43 MPa and then decreased back to 0 Mpa.From the analysis of the ultrasonic coda waves obtained in the multiple scattering regime, we performed Coda Wave Interferometry to calculate the apparent velocity changes in the structure (denoted by $dV/V_a$) and Coda Wave Decorrelation (DC) measurements to produce 3D cartographies of stress and crack distribution. From three source-receiver pairs, located at the top, middle and bottom of the experimental region, we observe that coda waves dilate, shrink and remain almost unchanged, respectively. This corresponds to the decreasing, increasing and invariant pressure inside the concrete. The comparison of three years' results demonstrates that the variation of $dV/V_a$ and DC under the same pressure test increases through the years, which indicates the progressive deterioration and aging of the concrete. From a large collection of source-receiver pairs at different times, the spatial-temporal variations of $dV/V_a$ and DC are then used to produce a map of the structural velocity and scattering changes, respectively. We observe a decreasing velocity on the top part and an increasing in the middle one, which is in line with the $dV/V_a$ analysis. The reconstructed scattering changes (or structural changes) highlight the active region during the inflation-deflation procedure, corresponding to the opening and closing (and sometimes the development) of cracks. The larger magnitude in 2019 than in 2017 indicates the increasing damage in the concrete.


title: Alternatives for Testing of Context-Aware Contemporary Software Systems in industrial settings: Results from a Rapid review

abstract: Context: Context-aware contemporary software systems (CACSS) are mainstream. Furthermore, they present challenges for current engineering practices. These challenges are distinctively present when testing CACSS, as the variation of context deepens the limitations of available software testing practices and technologies. Objective: To understand how the industry deals with the variation of context when testing CACSS. Method: A Rapid Review was commissioned to uncover the necessary evidence to achieve the objectives. Results: Our results show that current research initiatives aim to generate or improve Test Suites that can deal with the variation of context and the sheer volume of test input possibilities. To achieve this, they mostly rely on modelling the systems' dynamic behavior and increasing computing resources to generate test inputs. We found no evidence of research results aiming at managing context variation through the testing lifecycle process. Conclusions: We discuss how the identified solutions are not ready for mainstream adoption. They are all domain-specific, and while the ideas and approaches can be reproduced in different settings, the technologies noon to be re-engineered and tailor to the specific CACSS.


title: A COVINDEX based on a GAM beta regression model with an application to the COVID-19 pandemic in Italy

abstract: Detecting changes in COVID-19 disease transmission over time is a key indicator of epidemic growth.Near real-time monitoring of the pandemic growth is crucial for policy makers and public health officials who need to make informed decisions about whether to enforce lockdowns or allow certain activities. The effective reproduction number Rt is the standard index used in many countries for this goal. However, it is known that due to the delays between infection and case registration, its use for decision making is somewhat limited. In this paper a near real-time COVINDEX is proposed for monitoring the evolution of the pandemic. The index is computed from predictions obtained from a GAM beta regression for modelling the test positive rate as a function of time. The proposal is illustrated using data on COVID-19 pandemic in Italy and compared with Rt. A simple chart is also proposed for monitoring local and national outbreaks by policy makers and public health officials.


title: Narrowband Spikes Observed during the 2013 November 7 Flare

abstract: Narrowband spikes are observed in solar flares for several decades. However, their exact origin is still discussed. To contribute to understanding of these spikes, we analyze the narrowband spikes observed in the 800-2000 MHz range during the impulsive phase of the November 7, 2013 flare. In the radio spectrum, the spikes started with typical broadband clouds of spikes, and then their distribution in frequencies changed into unique, very narrow bands having non-integer frequency ratios. We successfully fitted frequencies of these narrow spike bands by those, calculating dispersion branches and growth rates of the Bernstein modes. For comparison, we also analyzed the model, where the narrow bands of spikes are generated at the upper-hybrid frequencies. Using both models, we estimated the plasma density and magnetic field in spike sources. Then the models are discussed, and arguments in favor of the model with the Bernstein modes are presented. Analyzing frequency profiles of this spike event by the Fourier method, we found the power-law spectra with the power-law indices varying in the -0.8 -- -2.75 interval. Because at some times this power-law index was close to the Kolmogorov spectral index (-5/3), we propose that the spikes are generated through the Bernstein modes in turbulent plasma reconnection outflows or directly in the turbulent magnetic reconnection of solar flares.


title: Optimal multiple testing and design in clinical trials

abstract: A central goal in designing clinical trials is to find the test that maximizes power (or equivalently minimizes required sample size) for finding a false null hypothesis subject to the constraint of type I error. When there is more than one test, such as in clinical trials with multiple endpoints, the issues of optimal design and optimal procedures become more complex. In this paper we address the question of how such optimal tests should be defined and how they can be found. We review different notions of power and how they relate to study goals, and also consider the requirements of type I error control and the nature of the procedures. This leads us to an explicit optimization problem with objective and constraints which describe its specific desiderata. We present a complete solution for deriving optimal procedures for two hypotheses, which have desired monotonicity properties, and are computationally simple. For some of the optimization formulations this yields optimal procedures that are identical to existing procedures, such as Hommel's procedure or the procedure of Bittman et al. (2009), while for others it yields completely novel and more powerful policies than existing ones. We demonstrate the nature of our novel policies and their improved power extensively in simulation and on the APEX study (Cohen et al., 2016).


title: Theoretical Model for the High-Pressure Melting Process of MgO with the B1 Structure

abstract: MgO is an abundant mineral in the rocky mantle of terrestrial planets, but its melting behaviors remain enigmatic. Here we introduce a simple theoretical model to investigate the B1-liquid transition of MgO up to 370 GPa. Vibrational free energies of B1-MgO are fully computed by the moment recurrence technique in quantum statistical physics. On that basis, we associate the melting temperature with the isothermal bulk modulus via the work-heat equivalence principle. This strategy allows us to quantitatively explain recent experimental data. Our numerical analyses would yield insights into planetary dynamics and evolution.


title: Symplectic resolutions of the quotient of R^2 by a non-finite symplectic group

abstract: We construct smooth symplectic resolutions of the quotient of R^2 under some infinite discrete sub-group of GL_2(R) preserving a log-symplectic structure. This extends from algebraic geometry to smooth real differential geometry the Du Val symplectic resolution of C^2/G, with G \subset SL_2(C) a finite group. The first of these infinite groups is G=Z, identified to triangular matrices with spectrum {1}. Smooth functions on the quotient R^2/G come with a natural Poisson bracket, and R^2/Gis for an arbitrary k \geq 1 set-isomorphic to the real Du Val singular variety A_{2k} = {(x,y,z) \in R^3 , x^2 +y^2= z^{2k}}. We show that each one of the usual minimal resolutions of these Du Val varieties are symplectic resolutions of R^2/G. The same holds for G'=Z \rtimes Z/2Z (identified to triangular matrices with spectrum {\pm 1}), with the upper half of D_{2k+1} playing the role of A_{2k}.


title: New examples of Krall-Meixner and Krall-Hahn polynomials, with applications to the construction of exceptional Meixner and Laguerre polynomials

abstract: We construct new examples of Krall discrete orthogonal polynomials, i.e., orthogonal polynomials with respect to a measure which are also eigenfunctions of a higher order difference operator. The new examples include the orthogonal polynomials with respect to the measures obtained from the Meixner measure $\rho_{a,c}$ and Hahn measure $\rho_{a,b,N}$ by removing a finite number of their mass points when the parameter $c$ of the Meixner measure and $a$ or $b$ of the Hahn measure are positive integers. From the new Krall-Meixner families we construct new families of exceptional Meixner and Laguerre polynomials.


title: Generation of Gradient-Preserving Images allowing HOG Feature Extraction

abstract: In this paper, we propose a method for generating visually protected images, referred to as gradient-preserving images. The protected images allow us to directly extract Histogram-of-Oriented-Gradients (HOG) features for privacy-preserving machine learning. In an experiment, HOG features extracted from gradient-preserving images are applied to a face recognition algorithm to demonstrate the effectiveness of the proposed method.


title: Random Features for the Neural Tangent Kernel

abstract: The Neural Tangent Kernel (NTK) has discovered connections between deep neural networks and kernel methods with insights of optimization and generalization. Motivated by this, recent works report that NTK can achieve better performances compared to training neural networks on small-scale datasets. However, results under large-scale settings are hardly studied due to the computational limitation of kernel methods. In this work, we propose an efficient feature map construction of the NTK of fully-connected ReLU network which enables us to apply it to large-scale datasets. We combine random features of the arc-cosine kernels with a sketching-based algorithm which can run in linear with respect to both the number of data points and input dimension. We show that dimension of the resulting features is much smaller than other baseline feature map constructions to achieve comparable error bounds both in theory and practice. We additionally utilize the leverage score based sampling for improved bounds of arc-cosine random features and prove a spectral approximation guarantee of the proposed feature map to the NTK matrix of two-layer neural network. We benchmark a variety of machine learning tasks to demonstrate the superiority of the proposed scheme. In particular, our algorithm can run tens of magnitude faster than the exact kernel methods for large-scale settings without performance loss.


title: Learning Rules for Materials Properties and Functions

abstract: In materials science and engineering, one is typically searching for materials that exhibit exceptional performance for a certain function, and the number of these materials is extremely small. Thus, statistically speaking, we are interested in the identification of *rare phenomena*, and the scientific discovery typically resembles the proverbial hunt for the needle in a haystack.


title: Deepfake Detection Scheme Based on Vision Transformer and Distillation

abstract: Deepfake is the manipulated video made with a generative deep learning technique such as Generative Adversarial Networks (GANs) or Auto Encoder that anyone can utilize. Recently, with the increase of Deepfake videos, some classifiers consisting of the convolutional neural network that can distinguish fake videos as well as deepfake datasets have been actively created. However, the previous studies based on the CNN structure have the problem of not only overfitting, but also considerable misjudging fake video as real ones. In this paper, we propose a Vision Transformer model with distillation methodology for detecting fake videos. We design that a CNN features and patch-based positioning model learns to interact with all positions to find the artifact region for solving false negative problem. Through comparative analysis on Deepfake Detection (DFDC) Dataset, we verify that the proposed scheme with patch embedding as input outperforms the state-of-the-art using the combined CNN features. Without ensemble technique, our model obtains 0.978 of AUC and 91.9 of f1 score, while previous SOTA model yields 0.972 of AUC and 90.6 of f1 score on the same condition.


title: Exceptional Hahn and Jacobi polynomials with an arbitrary number of continuous parameters

abstract: We construct new examples of exceptional Hahn and Jacobi polynomials. Exceptional polynomials are orthogonal polynomials with respect to a measure which are also eigenfunctions of a second order difference or differential operator. The most apparent difference between classical or classical discrete orthogonal polynomials and their exceptional counterparts is that the exceptional families have gaps in their degrees, in the sense that not all degrees are present in the sequence of polynomials. The new examples have the novelty that they depend on an arbitrary number of continuous parameters.


title: SEER: Performance-Aware Leader Election in Single-Leader Consensus

abstract: Modern stateful web services and distributed SDN controllers rely on log replication to omit data loss in case of fail-stop failures. In single-leader execution, the leader replica is responsible for ordering log updates and the initiation of distributed commits, in order to guarantee log consistency. Network congestions, resource-heavy computation, and imbalanced resource allocations may, however, result in inappropriate leader election and increased cluster response times. We present SEER, a logically centralized approach to performance prediction and efficient leader election in leader-based consensus systems. SEER autonomously identifies the replica that minimizes the average cluster response time, using prediction models trained dynamically at runtime. To balance the exploration and exploitation, SEER explores replicas' performance and updates their prediction models only after detecting significant system changes. We evaluate SEER in a traffic management scenario comprising [3..7] Raft replicas, and well-known data-center and WAN topologies. Compared to the Raft's uniform leader election, SEER decreases the mean control plane response time by up to ~32%. The benefit comes at the expense of the minimal adaptation of Raft election procedure and a slight increase in leader reconfiguration frequency, the latter being tunable with a guaranteed upper bound. No safety properties of Raft are invalidated by SEER.


title: Dendrites and measures with discrete spectrum

abstract: We are interested in dendrites for which all invariant measures of zero-entropy mappings have discrete spectrum, and we prove that this holds when the closure of the endpoint set of the dendrite is countable. This solves an open question which was around for awhile, almost completing the characterization of dendrites with this property.


title: Q-Polynomial expansion for Brezin-Gross-Witten tau-function

abstract: In this paper, we prove a conjecture of Alexandrov that the generalized Brezin-Gross-Witten tau-functions are hypergeometric tau functions of BKP hierarchy after re-scaling. In particular, this shows that the original BGW tau-function, which has enumerative geometric interpretations, can be represented as a linear combination of Schur Q-polynomials with simple coefficients.

categories: nlin.SI hep-th math-ph math.AG math.DG math.MP


title: Intersection Types for a Computational Lambda-Calculus with Global State

abstract: We study the semantics of an untyped lambda-calculus equipped with operators representing read and write operations from and to a global store. We adopt the monadic approach to model side-effects and treat read and write as algebraic operations over a monad. We introduce operational and denotational semantics and a type assignment system of intersection types and prove that types are invariant under the reduction and expansion of term and state configurations. Finally, we characterize convergent terms via their typings.


title: The central region of a void: an analytical solution

abstract: We offer an exact analytical equation for the void central region. We show that the central density is solely determined by the amplitude of the initial perturbation. Our results suggest that N-body simulations somewhat overestimate the emptiness of voids: the majority of them should have the central underdensity $\delta_c > -73\%$, and there should be almost no voids with $\delta_c < -88\%$. The central region of a void is a part of an open Friedmann's 'universe', and its evolution differs drastically from the Universe evolution: there is a long stage when the curvature term dominates, which prevents the formation of galaxy clusters and massive galaxies inside voids. The density profile in the void center should be very flat. We discuss some void models obtained by N-body simulations and offer some ways to improve them. We also show that the dark energy makes the voids less underdense.


title: A Survey on Social-Physical Sensing: An Emerging Sensing Paradigm that Explores the Collective Intelligence of Humans and Machine

abstract: Propelled by the omnipresence of versatile data capture, communication, and computing technologies, physical sensing has revolutionized the avenue for decisively interpreting the real world. However, various limitations hinder physical sensing's effectiveness in critical scenarios such as disaster response and urban anomaly detection. Meanwhile, social sensing is contriving as a pervasive sensing paradigm leveraging observations from human participants equipped with portable devices and ubiquitous Internet connectivity to perceive the environment. Despite its virtues, social sensing also inherently suffers from a few drawbacks (e.g., inconsistent reliability and uncertain data provenance). Motivated by the complementary strengths of the two sensing modes, social-physical sensing (SPS) is protruding as an emerging sensing paradigm that explores the collective intelligence of humans and machines to reconstruct the "state of the world", both physically and socially. While a good number of interesting SPS applications have been studied, several critical unsolved challenges still exist in SPS. In this paper, we provide a comprehensive survey of SPS, emphasizing its definition, key enablers, state-of-the-art applications, potential research challenges, and roadmap for future work. This paper intends to bridge the knowledge gap of existing sensing-focused survey papers by thoroughly examining the various aspects of SPS crucial for building potent SPS systems.


title: BlinQS: Blind Quality Scalable Image Compression Algorithm without using PCRD Optimization

abstract: Quality Scalability is one of the important features of interactive imaging to obtain better perceptual quality at a specified target bit rate. In JPEG 2000, it is achieved using quality layers obtained by Rate-Distortion (R-D) optimization techniques in Tier-II coding. Some important concerns here are: (i) inefficient conventional Post-Compression Rate-Distortion (PCRD) optimization algorithms, (ii) lack of quality scalability for less or single quality layer string. This paper takes the above mentioned concerns into account and proposes a Blind Quality Scalable (BlinQS) algorithm that provides scalability with the least computational complexity. The novel part of this method is to eliminate the Tier-II coding and add a blind string selection algorithm through a normal distribution for efficient rate control. The results obtained suggest that the proposed method achieves better results than JPEG-2000 at single quality layer and achieves results close to JPEG-2000 without using PCRD optimization algorithms.


title: On infinitely many foliations by caustics in strictly convex open billiards

abstract: Reflection in strictly convex bounded planar billiard acts on the space of oriented lines and preserves a standard area form. A caustic is a curve $C$ whose tangent lines are reflected by the billiard to lines tangent to $C$. The famous Birkhoff Conjecture states that the only strictly convex billiards with a foliation by closed caustics near the boundary are ellipses. By Lazutkin's theorem, there always exists a Cantor family of closed caustics approaching the boundary. In the present paper we deal with an open billiard, whose boundary is a strictly convex embedded (non-closed) curve $\gamma$. We prove that there exists a domain $U$ adjacent to $\gamma$ from the convex side and a $C^\infty$-smooth foliation of $U\cup\gamma$ whose leaves are $\gamma$ and (non-closed) caustics of the billiard. This generalizes a previous result by R.Melrose, which yields existence of a germ of foliation as above at a boundary point. We show that there exists a continuum of above foliations by caustics whose germs at each point in $\gamma$ are pairwise different. We prove a more general version of this statement in the cases, when $\gamma$ is just an arc, and also when both $\gamma$ and the caustics are immersed curves. It also applies to a billiard bounded by a closed strictly convex curve $\gamma$ and yields infinitely many "immersed" foliations by immersed caustics. For the proof of the above results, we state and prove their analogue for a special class of area-preserving maps generalizing billiard reflections: the so-called $C^{\infty}$-lifted strongly billiard-like maps. We also prove a series of results on conjugacy of billiard maps near the boundary for open curves of the above type.


title: From n-grams to trees in Lindenmayer systems

abstract: In this paper we present two approaches to Lindenmayer systems: the rule-based (or generative) approach, which focuses on L-systems as Thue rewriting systems and a constraint-based (or model-theoretic) approach, in which rules are abandoned in favour of conditions over allowable expressions in the language (Pullum, 2019). We will argue that it is possible, for at least a subset of L-systems and the languages they generate, to map string admissibility conditions (the 'Three Laws') to local tree admissibility conditions (cf. Rogers, 1997). This is equivalent to defining a model for those languages. We will work out how to construct structure assuming only superficial constraints on expressions, and define a set of constraints that well-formed expressions of specific L-languages must satisfy. We will see that L-systems that other methods distinguish turn out to satisfy the same model.


title: Counts@IITK at SemEval-2021 Task 8: SciBERT Based Entity And Semantic Relation Extraction For Scientific Data

abstract: This paper presents the system for SemEval 2021 Task 8 (MeasEval). MeasEval is a novel span extraction, classification, and relation extraction task focused on finding quantities, attributes of these quantities, and additional information, including the related measured entities, properties, and measurement contexts. Our submitted system, which placed fifth (team rank) on the leaderboard, consisted of SciBERT with [CLS] token embedding and CRF layer on top. We were also placed first in Quantity (tied) and Unit subtasks, second in MeasuredEntity, Modifier and Qualifies subtasks, and third in Qualifier subtask.


title: JDOI Variance Reduction Method and the Pricing of American-Style Options

abstract: The present article revisits the Diffusion Operator Integral (DOI) variance reduction technique originally proposed in Heath and Platen (2002) and extends its theoretical concept to the pricing of American-style options under (time-homogeneous) L\'evy stochastic differential equations. The resulting Jump Diffusion Operator Integral (JDOI) method can be combined with numerous Monte Carlo based stopping-time algorithms, including the ubiquitous least-squares Monte Carlo (LSMC) algorithm of Longstaff and Schwartz (cf. Carriere (1996), Longstaff and Schwartz (2001)). We exemplify the usefulness of our theoretical derivations under a concrete, though very general jump-diffusion stochastic volatility dynamics and test the resulting LSMC based version of the JDOI method. The results provide evidence of a strong variance reduction when compared with a simple application of the LSMC algorithm and proves that applying our technique on top of Monte Carlo based pricing schemes provides a powerful way to speed-up these methods.


title: Two mixed finite element formulations for the weak imposition of the Neumann boundary conditions for the Darcy flow

abstract: We propose two different discrete formulations for the weak imposition of the Neumann boundary conditions of the Darcy flow. The Raviart-Thomas mixed finite element on both triangular and quadrilateral meshes is considered for both methods. One is a consistent discretization depending on a weighting parameter scaling as $\mathcal O(h^{-1})$, while the other is a penalty-type formulation obtained as the discretization of a perturbation of the original problem and relies on a parameter scaling as $\mathcal O(h^{-k-1})$, $k$ being the order of the Raviart-Thomas space. We rigorously prove that both methods are stable and result in optimal convergent numerical schemes with respect to appropriate mesh-dependent norms, although the chosen norms do not scale as the usual $L^2$-norm. However, we are still able to recover the optimal a priori $L^2$-error estimates for the velocity field, respectively, for high-order and the lowest-order Raviart-Thomas discretizations, for the first and second numerical schemes. Finally, some numerical examples validating the theory are exhibited.


title: Homogenization of the vibro-acoustic transmission on periodically perforated elastic plates with arrays of resonators

abstract: Based on our previous work, we propose a homogenized model of acoustic waves propagating through periodically perforated elastic plates with metamaterial properties due to embedded arrays of soft elastic inclusions serving for resonators. Such structures enable to suppress the acoustic transmission for selected frequency bands. Homogenization of the vibro-acoustic fluid-structure interaction problem in a 3D complex geometry of the transmission layer leads to effective transmission conditions prescribed on the acoustic meta-surface associated with the mid-plane of the Reissner-Mindlin plate. Asymptotic analysis with respect to the layer thickness, proportional to the plate thickness and to the perforation period, yields an implicit Dirichlet-to-Neumann operator defined on the homogenized metasurface. An efficient method is proposed for computing frequency-dependent effective parameters involved in the homogenized model of the layer. These can change their signs, thus modifying the acoustic impedance and the effective mass of the metasurface. The global problem of the acoustic wave propagation in a waveguide fitted with the plate is solved using the finite element method. The homogenized interface allows for a significant reduction of the computational model. Numerical illustrations are presented.

categories: physics.comp-ph cs.CE cs.NA math.AP math.NA


title: Laplace and bi-Laplace equations for directed networks and Markov chains

abstract: The networks of this -- primarily (but not exclusively) expository -- compendium are strongly connected, finite directed graphs $X$, where each oriented edge $(x,y)$ is equipped with a positive weight (conductance) $a(x,y)$. We are not assuming symmetry of this function, and in general we do not require that along with $(x,y)$, also $(y,x)$ is an edge. The weights give rise to a difference operator, the normalised version of which we consider as our Laplace operator. It is associated with a Markov chain with state space $X$. A non-empty subset of $X$ is designated as the boundary. We provide a systematic exposition of the different types of Laplace equations, starting with the Poisson equation, Dirichlet problem and Neumann problem. For the latter, we discuss the definition of outer normal derivatives. We then pass to Laplace equations involving potentials, thereby also addressing the Robin boundary problem. Next, we study the bi-Laplacian and associated equations: the iterated Poisson equation, the bi-Laplace Neumann and Dirichlet problems, and the "plate equation". It turns out that the bi-Laplace Dirichlet to Neumann map is of non-trivial interest. The exposition concludes with two detailed examples.


title: Private Computation of Polynomials over Networks

abstract: This study concentrates on preserving privacy in a network of agents where each agent seeks to evaluate a general polynomial function over the private values of her immediate neighbors. We provide an algorithm for the exact evaluation of such functions while preserving privacy of the involved agents. The solution is based on a reformulation of polynomials and adoption of two cryptographic primitives: Paillier as a Partially Homomorphic Encryption scheme and multiplicative-additive secret sharing. The provided algorithm is fully distributed, lightweight in communication, robust to dropout of agents, and can accommodate a wide class of functions. Moreover, system theoretic and secure multi-party conditions guaranteeing the privacy preservation of an agent's private values against a set of colluding agents are established. The theoretical developments are complemented by numerical investigations illustrating the accuracy of the algorithm and the resulting computational cost.


title: Ultra-low threshold lasing through phase front engineering via a metallic circular aperture

abstract: Semiconductor lasers with ultra-low thresholds and minimal footprints are a topic of active research. Such devices require a combination of high quality factor laser cavities with small active region volumes, which drives the quest for novel cavity geometries exploiting nano-optic concepts. For high-reflectivity coated ridge lasers, where light is tightly confined in the waveguide, a low threshold can only be achieved by strongly reducing the diffraction losses arising at the laser facet. We show here that, somewhat counter-intuitively, opening a carefully designed aperture in a metallic facet coating can simultaneously enhance both its transmission and modal reflectivity by correcting the phase front at the subwavelength scale. Numerical simulations and experimental results demonstrate a reduction of optical mirror loss by up to 40% while the transmission is increased by four orders of magnitude. Applying this approach to both facets of a short cavity quantum cascade laser, we achieve laser operation at room temperature with an electrical dissipation of only 143 mW. Such light sources are especially suitable for portable and battery-operated chemical agent sensing applications operating in the mid-infrared wavelength range, where multiple greenhouse and pollutant gases have their fundamental absorption lines. Our work suggests possibilities for further applications including frequency comb dispersion engineering, and can be implemented in a broad range of optoelectronic systems.


title: Convex Aggregation for Opinion Summarization

abstract: Recent advances in text autoencoders have significantly improved the quality of the latent space, which enables models to generate grammatical and consistent text from aggregated latent vectors. As a successful application of this property, unsupervised opinion summarization models generate a summary by decoding the aggregated latent vectors of inputs. More specifically, they perform the aggregation via simple average. However, little is known about how the vector aggregation step affects the generation quality. In this study, we revisit the commonly used simple average approach by examining the latent space and generated summaries. We found that text autoencoders tend to generate overly generic summaries from simply averaged latent vectors due to an unexpected $L_2$-norm shrinkage in the aggregated latent vectors, which we refer to as summary vector degeneration. To overcome this issue, we develop a framework Coop, which searches input combinations for the latent vector aggregation using input-output word overlap. Experimental results show that Coop successfully alleviates the summary vector degeneration issue and establishes new state-of-the-art performance on two opinion summarization benchmarks. Code is available at \url{https://github.com/megagonlabs/coop}.


title: The Fiber of Persistent Homology for simplicial complexes

abstract: We study the inverse problem for persistent homology: For a fixed simplicial complex $K$, we analyse the fiber of the continuous map $\mathrm{PH}$ on the space of filters that assigns to a filter $f: K \to \mathbb R$ the total barcode of its associated sublevel set filtration of $K$. We find that $\mathrm{PH}$ is best understood as a map of stratified spaces. Over each stratum of the barcode space, the map $\mathrm{PH}$ restricts to a (trivial) fiber bundle with fiber a polyhedral complex. Amongst other we derive a bound for the dimension of the fiber depending on the number of distinct endpoints in the barcode. Furthermore, taking the inverse image $\mathrm{PH}^{-1}$ can be extended to a monodromy functor on the (entrance path) category of barcodes. We demonstrate our theory on the example of the simplicial triangle giving a complete description of all fibers and monodromy maps. This example is rich enough to have a M\"obius band as one of its fibers.


title: Prototype Filters and Filtered Waveforms for Radio Air-Interfaces: A Review

abstract: The perspective for the next generation of wireless communications prognosticates that the communication should take place with high heterogeneity in terms of services and specifications. The emergence of new communication networks, especially between devices like internet of things (IoT) networks, machine type communications (MTC) and unmanned aerial vehicles (UAV), makes the redesign of the radio air-interfaces even higher significant. High data rate, efficient use of the spectrum, low latency, flexibility, scalable ability, energy efficiency and reduced complexity are in the vanguard of the challenging needs. This highlights the necessity to overrides classical waveforms and propose new air interface that best fits these requirements. Several attempts were conducted to propose the most suitable prototype filters and their associated waveforms that support the future applications with these crucial prerequisites. In the present paper, we analyze the most important marked prototype filters reported in literature, and their corresponding waveforms proposed as prominent candidates for wireless air interface. We will show that the filter properties impact the waveform performances and that a close filter-waveform interrelationship is there. The principal contribution is to give a deep insight on the structure of these filters and waveforms and to come up with a fair comparison regarding different criteria and distinct figures of merit.


title: Interpretable Unsupervised Diversity Denoising and Artefact Removal

abstract: Image denoising and artefact removal are complex inverse problems admitting multiple valid solutions. Unsupervised diversity restoration, that is, obtaining a diverse set of possible restorations given a corrupted image, is important for ambiguity removal in many applications such as microscopy where paired data for supervised training are often unobtainable. In real world applications, imaging noise and artefacts are typically hard to model, leading to unsatisfactory performance of existing unsupervised approaches. This work presents an interpretable approach for unsupervised and diverse image restoration. To this end, we introduce a capable architecture called Hierarchical DivNoising (HDN) based on hierarchical Variational Autoencoder. We show that HDN learns an interpretable multi-scale representation of artefacts and we leverage this interpretability to remove imaging artefacts commonly occurring in microscopy data. Our method achieves state-of-the-art results on twelve benchmark image denoising datasets while providing access to a whole distribution of sensibly restored solutions. Additionally, we demonstrate on three real microscopy datasets that HDN removes artefacts without supervision, being the first method capable of doing so while generating multiple plausible restorations all consistent with the given corrupted image.


title: Evaluating explainable artificial intelligence methods for multi-label deep learning classification tasks in remote sensing

abstract: Although deep neural networks hold the state-of-the-art in several remote sensing tasks, their black-box operation hinders the understanding of their decisions, concealing any bias and other shortcomings in datasets and model performance. To this end, we have applied explainable artificial intelligence (XAI) methods in remote sensing multi-label classification tasks towards producing human-interpretable explanations and improve transparency. In particular, we utilized and trained deep learning models with state-of-the-art performance in the benchmark BigEarthNet and SEN12MS datasets. Ten XAI methods were employed towards understanding and interpreting models' predictions, along with quantitative metrics to assess and compare their performance. Numerous experiments were performed to assess the overall performance of XAI methods for straightforward prediction cases, competing multiple labels, as well as misclassification cases. According to our findings, Occlusion, Grad-CAM and Lime were the most interpretable and reliable XAI methods. However, none delivers high-resolution outputs, while apart from Grad-CAM, both Lime and Occlusion are computationally expensive. We also highlight different aspects of XAI performance and elaborate with insights on black-box decisions in order to improve transparency, understand their behavior and reveal, as well, datasets' particularities.


title: On moist potential temperatures and their ability to characterize differences in the properties of air parcels

abstract: A framework is introduced to compare moist `potential' temperatures. The equivalent potential temperature, $\theta_e,$ the liquid water potential temperature, $\theta_\ell,$ and the entropy potential temperature, $\theta_s$, are all shown to be potential temperatures, in the sense that they measure the temperatures of certain reference state systems whose entropy is the same as that of the air-parcel. They only differ in the choice of reference state composition: $\theta_\ell$ describes the temperature a condensate-free state, $\theta_e$ a vapor-free state, and $\theta_s$ a water-free state would require to have the same entropy as the given state. Although in this sense $\theta_e,$ $\theta_\ell,$ and $\theta_s$ are all different flavors of the same thing, only $\theta_\ell$ satisfies the stricter definition of a `potential temperature', as corresponding to a reference temperature accessible by an isentropic and closed transformation of a system in equilibrium; both $\theta_e$ and $\theta_\ell$ measure the `relative' enthalpy of an air parcel at their respective reference states; but only $\theta_s$ measures air-parcel entropy. None mix linearly, but all do so approximately, and all reduce to the dry potential temperature, $\theta$ in the limit as the water mass fraction goes to zero. As is well known, $\theta$ does mix linearly and inherits all the favorable (entropic, enthalpic, and potential temperature) properties of its various -- but descriptively less rich -- moist counterparts. All, involve quite complex expressions, but admit relatively simple and useful approximations. Of the three moist `potential' temperatures, $\theta_s$ is the least familiar, but the most well mixed in the broader tropics, a property that merits further study as a possible basis for constraining mixing processes.


title: Segments of spiral arms of the Galaxy traced by classical Cepheids: Effects of age heterogeneity

abstract: We investigated the dependence of the parameters of the segments of spiral arms of the Galaxy on the age of classical Cepheids. The catalog of Cepheids (Mel'nik et al. 2015) was divided into two samples$-$relatively young ($P>9^\text{d}$) and relatively old ($P<9^\text{d}$) objects. The parameters of the spiral structure were determined both for two samples separately and jointly for the combination of two systems of segments traced by young and old objects. For most of the segments, their parameters for young and old objects differ significantly. Taking into account the difference between the two segment systems, we obtained the estimate $R_0$ equal to $7.23^{+0.19}_{-0.18}$ kpc, which in the modern LMC calibration corresponds to the value of $R_0={8.08^{+0.21}_{-0.20}}|_{\text{stat.}} {}^{+0.38}_{-0.36}|_{\text{cal.}}$ kpc. It is shown that the displacement between the segments is not reduced to the effect of differential rotation only. To interpret this displacement for objects of Perseus and Sagittarius-2 segments we carried out a dynamic modeling of the change in the position of the segment points when moving in the smooth gravitational field of the Galaxy. At the angular velocity of rotation of the spiral pattern $\Omega_{\text{p}} = 25.2 \pm 0.5$ km s$^{-1}$ kpc$^{-1}$ (Dambis et al. 2015) the observed displacement between segments on young and old objects can be explained by the amplitude of spiral perturbations of the radial velocity of $u = 10 \pm1.5$ km s$^{-1}$. For the constructed double system of spiral segments, it is demonstrated that the assumption of constancy of the pitch angles within each segment and the assumption that the pole of the spiral pattern is in the direction of the nominal center of the Galaxy do not contradict the data within the range of uncertainty.


title: speechocean762: An Open-Source Non-native English Speech Corpus For Pronunciation Assessment

abstract: This paper introduces a new open-source speech corpus named "speechocean762" designed for pronunciation assessment use, consisting of 5000 English utterances from 250 non-native speakers, where half of the speakers are children. Five experts annotated each of the utterances at sentence-level, word-level and phoneme-level. A baseline system is released in open source to illustrate the phoneme-level pronunciation assessment workflow on this corpus. This corpus is allowed to be used freely for commercial and non-commercial purposes. It is available for free download from OpenSLR, and the corresponding baseline system is published in the Kaldi speech recognition toolkit.


title: Maximizing Sudler products via Ostrowski expansions and cotangent sums

abstract: There is an extensive literature on the asymptotic order of Sudler's trigonometric product $P_N (\alpha) = \prod_{n=1}^N |2 \sin (\pi n \alpha)|$ for fixed or for "typical" values of $\alpha$. In the present paper we establish a structural result, which for a given $\alpha$ characterizes those $N$ for which $P_N(\alpha)$ attains particularly large values. This characterization relies on the coefficients of $N$ in its Ostrowski expansion with respect to $\alpha$, and allows us to obtain very precise estimates for $\max_{1 \le N \leq M} P_N(\alpha)$ and for $\sum_{N=1}^M P_N(\alpha)^c$ in terms of $M$, for any $c>0$. Furthermore, our arguments give a natural explanation of the fact that the value of the hyperbolic volume of the complement of the figure-eight knot appears generically in results on the asymptotic order of the Sudler product and of the Kashaev invariant.


title: Nonlinear Topological Edge States in a non-Hermitian Array of Optical Waveguides Embedded in an Atomic Gas

abstract: We propose a scheme comprising an array of anisotropic optical waveguides, embedded in a gas of cold atoms, which can be tuned from a Hermitian to an odd-PT -- symmetric configuration through the manipulation of control and assistant laser fields. We show that the system can be controlled by tuning intra -- and inter-cell coupling coefficients, enabling the creation of topologically distinct phases and linear topological edge states. The waveguide array, characterized by a quadrimer primitive cell, allows for implementing transitions between Hermitian and odd-PT -symmetric configurations, broken and unbroken PT -symmetric phases, topologically trivial and nontrivial phases, as well as transitions between linear and nonlinear regimes. The introduced scheme generalizes the Rice-Mele Hamiltonian for a nonlinear non-Hermitian quadrimer array featuring odd-PT symmetry and makes accessible unique phenomena and functionalities that emerge from the interplay of non-Hermiticity, topology, and nonlinearity. We also show that in the presence of nonlinearity the system sustains nonlinear topological edge states bifurcating from the linear topological edge states and the modes without linear limit. Each nonlinear mode represents a doublet of odd-PT -conjugate states. In the broken PT phase, the nonlinear edge states may be effectively stabilized when an additional absorption is introduced into the system.


title: Learning Mobile CNN Feature Extraction Toward Fast Computation of Visual Object Tracking

abstract: In this paper, we construct a lightweight, high-precision and high-speed object tracking using a trained CNN. Conventional methods with trained CNNs use VGG16 network which requires powerful computational resources. Therefore, there is a problem that it is difficult to apply in low computation resources environments. To solve this problem, we use MobileNetV3, which is a CNN for mobile terminals.Based on Feature Map Selection Tracking, we propose a new architecture that extracts effective features of MobileNet for object tracking. The architecture requires no online learning but only offline learning. In addition, by using features of objects other than tracking target, the features of tracking target are extracted more efficiently. We measure the tracking accuracy with Visual Tracker Benchmark and confirm that the proposed method can perform high-precision and high-speed calculation even in low computation resource environments.


title: A note on cycle lengths in graphs of chromatic number five and six

abstract: In this note, we prove that every non-complete $(k+1)$-critical graph contains cycles of all lengths modulo $k$, where $k=4,5$.


title: Trends in Consensus-based optimization

abstract: In this chapter we give an overview of the consensus-based global optimization algorithm and its recent variants. We recall the formulation and analytical results of the original model, then we discuss variants using component-wise independent or common noise. In combination with mini-batch approaches those variants were tailored for machine learning applications. Moreover, it turns out that the analytical estimates are dimension independent, which is useful for high-dimensional problems. We discuss the relationship of consensus-based optimization with particle swarm optimization, a method widely used in the engineering community. Then we survey a variant of consensus-based optimization that is proposed for global optimization problems constrained to hyper-surfaces. We conclude the chapter with remarks on applications, preprints and open problems.


title: ExKaldi-RT: A Real-Time Automatic Speech Recognition Extension Toolkit of Kaldi

abstract: This paper describes the ExKaldi-RT online automatic speech recognition (ASR) toolkit that is implemented based on the Kaldi ASR toolkit and Python language. ExKaldi-RT provides tools for building online recognition pipelines. While similar tools are available built on Kaldi, a key feature of ExKaldi-RT that it works on Python, which has an easy-to-use interface that allows online ASR system developers to develop original research, such as by applying neural network-based signal processing and by decoding model trained with deep learning frameworks. We performed benchmark experiments on the minimum LibriSpeech corpus, and it showed that ExKaldi-RT could achieve competitive ASR performance in real-time recognition.


title: A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems

abstract: This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based methods, the proposed framework directly characterizes the winning set, i.e., the set of initial conditions from which a given LTL formula can be realized, over the continuous state space of the system via a monotonic operator. Following this characterization, an algorithm is proposed to practically approximate the operator via an adaptive interval subdivision scheme, which yields a finite-memory control strategy. We show that the proposed algorithm is sound for full LTL specifications, and robustly complete for specifications recognizable by deterministic B\"uchi automata (DBA), the latter in the sense that control strategies can be found whenever the given specification can be satisfied with additional bounded disturbances. Without having to compute and store the abstraction and the resulting product system with the DBA, the proposed method is more memory efficient, which is demonstrated by complexity analysis and performance tests. A pre-processing stage is also devised to reduce computational cost via a decomposition of the specification. We show that the proposed method can effectively solve real-world control problems such as jet engine compressor control and motion planning for manipulators and mobile robots.


title: Self-adjusting Advertisement of Cache Indicators with Bandwidth Constraints

abstract: Cache advertisements reduce the access cost by allowing users to skip the cache when it does not contain their datum. Such advertisements are used in multiple networked domains such as 5G networks, wide area networks, and information-centric networking. The selection of an advertisement strategy exposes a trade-off between the access cost and bandwidth consumption. Still, existing works mostly apply a trial-and-error approach for selecting the best strategy, as the rigorous foundations required for optimizing such decisions is lacking. Our work shows that the desired advertisement policy depends on numerous parameters such as the cache policy, the workload, the cache size, and the available bandwidth. In particular, we show that there is no ideal single configuration. Therefore, we design an adaptive, self-adjusting algorithm that periodically selects an advertisement policy. Our algorithm does not require any prior information about the cache policy, cache size, or workload, and does not require any apriori configuration. Through extensive simulations, using several state-of-the-art cache policies, and real workloads, we show that our approach attains a similar cost to that of the best static configuration (which is only identified in retrospect) in each case.


title: Steady plasma flows in a periodic non-symmetric domain

abstract: Steady plasma flows have been studied almost exclusively in systems with continuous symmetry or in open domains. In the absence of continuous symmetry, the lack of a conserved quantity makes the study of flows intrinsically challenging. In a toroidal domain, the requirement of double-periodicity for physical quantities adds to the complications. In particular, the magnetohydrodynamics (MHD) model of plasma steady-state with the flow in a non-symmetric toroidal domain allows the development of singularities when the rotational transform of the magnetic field is rational, much like the equilibrium MHD model. In this work, we show that steady flows can still be maintained provided the rotational transform is close to rational and the magnetic shear is weak. We extend the techniques developed in carrying out perturbation methods to all orders for static MHD equilibrium by Weitzner (Physics of Plasmas 21, 022515 (2014)) to MHD equilibrium with flows. We construct perturbative MHD equilibrium in a doubly-periodic domain with nearly parallel flows by systematically eliminating magnetic resonances order by order. We then utilize an additional symmetry of the flow problem, first discussed by E. Hameiri in (J. Math. Phys. \textbf{22}, 2080 (1981) Sec. III), to obtain a generalized Grad-Shafranov equation for a class of non-symmetric three-dimensional MHD equilibrium with flows both parallel and perpendicular to the magnetic field. For this class of flows, we are able to obtain non-symmetric generalizations of integrals of motion, such as Bernoulli's function and angular momentum. Finally, we obtain the generalized Hamada conditions, which are consistency conditions necessary to suppress singular currents in such a system when the magnetic field lines are closed. We do not attempt to address the question of neoclassical damping of flows.


title: A resolution of the problem of additional boundary conditions

abstract: Maxwell's boundary conditions (MBCs) were long known insufficient to determine the optical responses of spatially dispersive medium. Supplementing MBCs with additional boundary conditions (ABCs) has become a normal yet controversial practice. Here the problem of ABCs is solved by analyzing some subtle aspects of a physical surface. A generic theory is presented for handling the interaction of light with the surfaces of an arbitrary medium and applied to study the traditional problem of exciton polaritons. We show that ABCs can always be adjusted to fit the theory but they can by no means be construed as intrinsic surface characteristics, which are instead captured by a \textit{surface response function} (SRF). Unlike any ABCs, a SRF describes essentially non-local boundary effects. Methods for experimentally extracting the spatial profile of this function are proposed.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.optics


title: MIEZE Neutron Spin-Echo Spectroscopy of Strongly Correlated Electron Systems

abstract: Recent progress in neutron spin-echo spectroscopy by means of longitudinal Modulation of IntEnsity with Zero Effort (MIEZE) is reviewed. Key technical characteristics are summarized which highlight that the parameter range accessible in momentum and energy, as well as its limitations, are extremely well understood and controlled. Typical experimental data comprising quasi-elastic and inelastic scattering are presented, featuring magneto-elastic coupling and crystal field excitations in Ho2Ti2O7, the skyrmion lattice to paramagnetic transition under applied magnetic field in MnSi, ferromagnetic criticality and spin waves in Fe. In addition bench marking studies of the molecular dynamics in H2O are reported. Taken together, the advantages of MIEZE spectroscopy in studies at small and intermediate momentum transfers comprise an exceptionally wide dynamic range of over seven orders of magnitude, the capability to perform straight forward studies on depolarizing samples or under depolarizing sample environments, as well as on incoherently scattering materials.


title: No Need for Interactions: Robust Model-Based Imitation Learning using Neural ODE

abstract: Interactions with either environments or expert policies during training are needed for most of the current imitation learning (IL) algorithms. For IL problems with no interactions, a typical approach is Behavior Cloning (BC). However, BC-like methods tend to be affected by distribution shift. To mitigate this problem, we come up with a Robust Model-Based Imitation Learning (RMBIL) framework that casts imitation learning as an end-to-end differentiable nonlinear closed-loop tracking problem. RMBIL applies Neural ODE to learn a precise multi-step dynamics and a robust tracking controller via Nonlinear Dynamics Inversion (NDI) algorithm. Then, the learned NDI controller will be combined with a trajectory generator, a conditional VAE, to imitate an expert's behavior. Theoretical derivation shows that the controller network can approximate an NDI when minimizing the training loss of Neural ODE. Experiments on Mujoco tasks also demonstrate that RMBIL is competitive to the state-of-the-art generative adversarial method (GAIL) and achieves at least 30% performance gain over BC in uneven surfaces.


title: Dyck tilings of type $D$

abstract: We introduce and study cover-inclusive and cover-exclusive Dyck tilings of type $D$. It is shown that the generating functions of Dyck tilings of type $D$ are expressed in terms of the generating function of ballot tilings of type $B$. We introduce link patterns of type $D$ and plane trees for a ballot path, and construct a map from trees to $\mathbb{Z}[q]$. This map gives the generating function of cover-inclusive Dyck tilings of type $D$ associated to the ballot path.


title: Place Bisimilarity is Decidable, Indeed!

abstract: Place bisimilarity $\sim_p$ is a behavioral equivalence for finite Petri nets, originally proposed in \cite{ABS91}, that, differently from all the other behavioral relations proposed so far, is not defined over the markings of a finite net, rather over its places, which are finitely many. Place bisimilarity $\sim_p$ was claimed decidable in \cite{ABS91}, but its decidability was not really proved. We show that it is possible to decide $\sim_p$ with a simple algorithm, which essentially scans all the place relations (which are finitely many) to check whether they are place bisimulations. We also show that $\sim_p$ does respect the intended causal semantics of Petri nets, as it is finer than causal-net bisimilarity \cite{Gor22}. Moreover, we propose a slightly coarser variant, we call d-place bisimilarity $\sim_d$, that we conjecture to be the coarsest equivalence, fully respecting causality and branching time (as it is finer than fully-concurrent bisimilarity \cite{BDKP91}), to be decidable on finite Petri nets. Finally, two even coarser variants are discussed, namely i-place and i-d-place bisimilarities, which are still decidable, do preserve the concurrent behavior of Petri nets, but do not respect causality. These results open the way towards formal verification (by equivalence checking) of distributed systems modeled by finite Petri nets.


title: On-the-Fly Aligned Data Augmentation for Sequence-to-Sequence ASR

abstract: We propose an on-the-fly data augmentation method for automatic speech recognition (ASR) that uses alignment information to generate effective training samples. Our method, called Aligned Data Augmentation (ADA) for ASR, replaces transcribed tokens and the speech representations in an aligned manner to generate previously unseen training pairs. The speech representations are sampled from an audio dictionary that has been extracted from the training corpus and inject speaker variations into the training examples. The transcribed tokens are either predicted by a language model such that the augmented data pairs are semantically close to the original data, or randomly sampled. Both strategies result in training pairs that improve robustness in ASR training. Our experiments on a Seq-to-Seq architecture show that ADA can be applied on top of SpecAugment, and achieves about 9-23% and 4-15% relative improvements in WER over SpecAugment alone on LibriSpeech 100h and LibriSpeech 960h test datasets, respectively.


title: MMBERT: Multimodal BERT Pretraining for Improved Medical VQA

abstract: Images in the medical domain are fundamentally different from the general domain images. Consequently, it is infeasible to directly employ general domain Visual Question Answering (VQA) models for the medical domain. Additionally, medical images annotation is a costly and time-consuming process. To overcome these limitations, we propose a solution inspired by self-supervised pretraining of Transformer-style architectures for NLP, Vision and Language tasks. Our method involves learning richer medical image and text semantic representations using Masked Language Modeling (MLM) with image features as the pretext task on a large medical image+caption dataset. The proposed solution achieves new state-of-the-art performance on two VQA datasets for radiology images -- VQA-Med 2019 and VQA-RAD, outperforming even the ensemble models of previous best solutions. Moreover, our solution provides attention maps which help in model interpretability. The code is available at https://github.com/VirajBagal/MMBERT


title: Joint Geometric and Topological Analysis of Hierarchical Datasets

abstract: In a world abundant with diverse data arising from complex acquisition techniques, there is a growing need for new data analysis methods. In this paper we focus on high-dimensional data that are organized into several hierarchical datasets. We assume that each dataset consists of complex samples, and every sample has a distinct irregular structure modeled by a graph. The main novelty in this work lies in the combination of two complementing powerful data-analytic approaches: topological data analysis (TDA) and geometric manifold learning. Geometry primarily contains local information, while topology inherently provides global descriptors. Based on this combination, we present a method for building an informative representation of hierarchical datasets. At the finer (sample) level, we devise a new metric between samples based on manifold learning that facilitates quantitative structural analysis. At the coarser (dataset) level, we employ TDA to extract qualitative structural information from the datasets. We showcase the applicability and advantages of our method on simulated data and on a corpus of hyper-spectral images. We show that an ensemble of hyper-spectral images exhibits a hierarchical structure that fits well the considered setting. In addition, we show that our new method gives rise to superior classification results compared to state-of-the-art methods.


title: Neural Network Robustness as a Verification Property: A Principled Case Study

abstract: Neural networks are very successful at detecting patterns in noisy data, and have become the technology of choice in many fields. However, their usefulness is hampered by their susceptibility to adversarial attacks. Recently, many methods for measuring and improving a network's robustness to adversarial perturbations have been proposed, and this growing body of research has given rise to numerous explicit or implicit notions of robustness. Connections between these notions are often subtle, and a systematic comparison between them is missing in the literature. In this paper we begin addressing this gap, by setting up general principles for the empirical analysis and evaluation of a network's robustness as a mathematical property - during the network's training phase, its verification, and after its deployment. We then apply these principles and conduct a case study that showcases the practical benefits of our general approach.


title: Mitigating baryonic effects with a theoretical error covariance

abstract: One of the primary sources of uncertainties in modeling the cosmic-shear power spectrum on small scales is the effect of baryonic physics. Accurate cosmology for Stage-IV surveys requires knowledge of the matter power spectrum deep in the nonlinear regime at the percent level. Therefore, it is important to develop reliable mitigation techniques to take into account baryonic uncertainties if information from small scales is to be considered in the cosmological analysis. In this work, we develop a new mitigation method for dealing with baryonic physics for the case of the shear angular power spectrum. The method is based on an extended covariance matrix that incorporates baryonic uncertainties informed by hydrodynamical simulations. We use the results from 13 hydrodynamical simulations and the residual errors arising from a fit to a $\Lambda$CDM model using the extended halo model code {\tt HMCode} to account for baryonic physics. These residual errors are used to model a so-called theoretical error covariance matrix that is added to the original covariance matrix. In order to assess the performance of the method, we use the 2D tomographic shear from four hydrodynamical simulations that have different extremes of baryonic parameters as mock data and run a likelihood analysis comparing the residual bias on $\Omega_m$ and $\sigma_8$ of our method and the HMCode for an LSST-like survey. We use different modelling of the theoretical error covariance matrix to test the robustness of the method. We show that it is possible to reduce the bias in the determination of the tested cosmological parameters at the price of a modest decrease in the precision.


title: Block Scrambling Image Encryption Used in Combination with Data Augmentation for Privacy-Preserving DNNs

abstract: In this paper, we propose a novel learnable image encryption method for privacy-preserving deep neural networks (DNNs). The proposed method is carried out on the basis of block scrambling used in combination with data augmentation techniques such as random cropping, horizontal flip and grid mask. The use of block scrambling enhances robustness against various attacks, and in contrast, the combination with data augmentation enables us to maintain a high classification accuracy even when using encrypted images. In an image classification experiment, the proposed method is demonstrated to be effective in privacy-preserving DNNs.


title: Level-raising for automorphic forms on $GL_n$

abstract: Let $E$ be a CM number field and $F$ its maximal real subfield. We prove a level-raising result for regular algebraic conjugate self-dual automorphic representations of $GL_n(\mathbb{A}_E)$. This generalizes previously known results of Thorne by removing certain hypotheses occurring in that work. In particular, the level-raising prime $p$ is allowed to be unramified as opposed to inert in $F$, the field $E/F$ is not assumed to be everywhere unramified, and the field $E$ is allowed to be a general CM field.


title: On simple $15$-dimensional Lie algebras in characteristic $2$

abstract: Motivated by the recent progress towards classification of simple finite-dimensional Lie algebras over an algebraically closed field of characteristic $2$, we investigate such $15$-dimensional algebras.


title: Self-calibration technique for characterization of integrated THz waveguides

abstract: Emerging high-frequency accelerator technology in the terahertz regime is promising for the development of compact high-brightness accelerators and high resolution-power beam diagnostics. One resounding challenge when scaling to higher frequencies and to smaller structures is the proportional scaling of tolerances which can hinder the overall performance of the structure. Consequently, characterizing these structures is essential for nominal operation. Here, we present a novel and simple self-calibration technique to characterize the dispersion relation of integrated hollow THz-waveguides. The developed model is verified in simulation by extracting dispersion characteristics of a standard waveguide a priori known by theory. The extracted phase velocity does not deviate from the true value by more than $ 9 \times 10^{-5} ~\%$. In experiments the method demonstrates its ability to measure dispersion characteristics of non-standard waveguides embedded with their couplers with an accuracy below $ \approx 0.5~\% $ and precision of $ \approx 0.05~\% $. Equipped with dielectric lining the metallic waveguides act as slow wave structures, and the dispersion curves are compared without and with dielectric. A phase synchronous mode, suitable for transverse deflection, is found at $ 275~\text{GHz} $.


title: Sparse Code Multiple Access for 6G Wireless Communication Networks: Recent Advances and Future Directions

abstract: As 5G networks rolling out in many different countries nowadays, the time has come to investigate how to upgrade and expand them towards 6G, where the latter is expected to realize the interconnection of everything as well as the development of a ubiquitous intelligent mobile world for intelligent life. To enable this epic leap in communications, this article provides an overview and outlook on the application of sparse code multiple access (SCMA) for 6G wireless communication systems, which is an emerging disruptive non-orthogonal multiple access (NOMA) scheme for the enabling of massive connectivity. We propose to apply SCMA to a massively distributed access system (MDAS), whose architecture is based on fiber-based visible light communication (FVLC), ultra-dense network (UDN), and NOMA. Under this framework, we consider the interactions between optical front-hauls and wireless access links. In order to stimulate more upcoming research in this area, we outline a number of promising directions associated with SCMA for faster, more reliable, and more efficient multiple access in future 6G communication networks.


title: Improving the Gilbert-Varshamov Bound by Graph Spectral Method

abstract: We improve Gilbert-Varshamov bound by graph spectral method. Gilbert graph $G_{q,n,d}$ is a graph with all vectors in $\mathbb{F}_q^n$ as vertices where two vertices are adjacent if their Hamming distance is less than $d$. In this paper, we calculate the eigenvalues and eigenvectors of $G_{q,n,d}$ using the properties of Cayley graph. The improved bound is associated with the minimum eigenvalue of the graph. Finally we give an algorithm to calculate the bound and linear codes which satisfy the bound.


title: New Benchmarks for Learning on Non-Homophilous Graphs

abstract: Much data with graph structures satisfy the principle of homophily, meaning that connected nodes tend to be similar with respect to a specific attribute. As such, ubiquitous datasets for graph machine learning tasks have generally been highly homophilous, rewarding methods that leverage homophily as an inductive bias. Recent work has pointed out this particular focus, as new non-homophilous datasets have been introduced and graph representation learning models better suited for low-homophily settings have been developed. However, these datasets are small and poorly suited to truly testing the effectiveness of new methods in non-homophilous settings. We present a series of improved graph datasets with node label relationships that do not satisfy the homophily principle. Along with this, we introduce a new measure of the presence or absence of homophily that is better suited than existing measures in different regimes. We benchmark a range of simple methods and graph neural networks across our proposed datasets, drawing new insights for further research. Data and codes can be found at https://github.com/CUAI/Non-Homophily-Benchmarks.


title: IDOL-Net: An Interactive Dual-Domain Parallel Network for CT Metal Artifact Reduction

abstract: Due to the presence of metallic implants, the imaging quality of computed tomography (CT) would be heavily degraded. With the rapid development of deep learning, several network models have been proposed for metal artifact reduction (MAR). Since the dual-domain MAR methods can leverage the hybrid information from both sinogram and image domains, they have significantly improved the performance compared to single-domain methods. However,current dual-domain methods usually operate on both domains in a specific order, which implicitly imposes a certain priority prior into MAR and may ignore the latent information interaction between both domains. To address this problem, in this paper, we propose a novel interactive dualdomain parallel network for CT MAR, dubbed as IDOLNet. Different from existing dual-domain methods, the proposed IDOL-Net is composed of two modules. The disentanglement module is utilized to generate high-quality prior sinogram and image as the complementary inputs. The follow-up refinement module consists of two parallel and interactive branches that simultaneously operate on image and sinogram domain, fully exploiting the latent information interaction between both domains. The simulated and clinical results demonstrate that the proposed IDOL-Net outperforms several state-of-the-art models in both qualitative and quantitative aspects.


title: The Internet Protocol -- Past, some current limitations and a glimpse of a possible future

abstract: The network layer is central to the networking scientific area. It is around the network layer that all the data communications develop, and one of its main tasks is to allow the identification of each single interface/machine between the potentially many interfaces in a network. This seminar addresses some of the issues that are usually presented to young Computer Science Engineering students in the course of several classes, but also presents some topics that are not address in networking courses. It is mostly focused on using Internet Protocol addresses in Local Area Networks, also considering issues that belong to the Wide Area Networks, such as data aggregation. This document summarizes the content of a seminar, therefore it comprehends both teaching and researching subject. The seminar starts with a history of the evolution of the communication protocols from the early days of networks up until IPv6. It describes a new approach to define the addresses of network interfaces using Variable Length Subnet Masks, as usually this is a not an easy task for Computer Science Engineering undergraduate students. This summary also describes some of the limitations of the data communication in todays' networks, proposing some solutions, where possible, including a novel mean of connectionless data transmission by using IPv6 addresses, by extension of previously published research. The way the seminar is organized provides a history to the past of the Internet Protocol, a view of some of its well-known current limitations, and a glimpse into a possible future regarding an improved connectionless layer 3 data transfer protocol.


title: Genuine Electronic Structure and Superconducting Gap Structure in (Ba$_{0.6}$K$_{0.4}$)Fe$_{2}$As$_{2}$ Superconductor

abstract: The electronic structure and superconducting gap structure are prerequisites to establish microscopic theories in understanding the superconductivity mechanism of iron-based superconductors. However, even for the most extensively studied optimally-doped (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$, there remain outstanding controversies on its electronic structure and superconducting gap structure. Here we resolve these issues by carrying out high-resolution angle-resolved photoemission spectroscopy (ARPES) measurements on the optimally-doped (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$ superconductor using both Helium lamp and laser light sources. Our results indicate the "flat band" feature observed around the Brillouin zone center in the superconducting state originates from the combined effect of the superconductivity-induced band back-bending and the folding of a band from the zone corner to the center. We found direct evidence of the band folding between the zone corner and the center in both the normal and superconducting state. Our resolution of the origin of the flat band makes it possible to assign the three hole-like bands around the zone center and determine their superconducting gap correctly. Around the zone corner, we observe a tiny electron-like band and an M-shaped band simultaneously in both the normal and superconducting states. The obtained gap size for the bands around the zone corner ($\sim$5.5 meV) is significantly smaller than all the previous ARPES measurements. Our results establish a new superconducting gap structure around the zone corner and resolve a number of prominent controversies concerning the electronic structure and superconducting gap structure in the optimally-doped (Ba$_{0.6}$K$_{0.4}$)Fe$_2$As$_2$. They provide new insights in examining and establishing theories in understanding superconductivity mechanism in iron-based superconductors.


title: Reinforcement Learning for Emotional Text-to-Speech Synthesis with Improved Emotion Discriminability

abstract: Emotional text-to-speech synthesis (ETTS) has seen much progress in recent years. However, the generated voice is often not perceptually identifiable by its intended emotion category. To address this problem, we propose a new interactive training paradigm for ETTS, denoted as i-ETTS, which seeks to directly improve the emotion discriminability by interacting with a speech emotion recognition (SER) model. Moreover, we formulate an iterative training strategy with reinforcement learning to ensure the quality of i-ETTS optimization. Experimental results demonstrate that the proposed i-ETTS outperforms the state-of-the-art baselines by rendering speech with more accurate emotion style. To our best knowledge, this is the first study of reinforcement learning in emotional text-to-speech synthesis.


title: Diff-TTS: A Denoising Diffusion Model for Text-to-Speech

abstract: Although neural text-to-speech (TTS) models have attracted a lot of attention and succeeded in generating human-like speech, there is still room for improvements to its naturalness and architectural efficiency. In this work, we propose a novel non-autoregressive TTS model, namely Diff-TTS, which achieves highly natural and efficient speech synthesis. Given the text, Diff-TTS exploits a denoising diffusion framework to transform the noise signal into a mel-spectrogram via diffusion time steps. In order to learn the mel-spectrogram distribution conditioned on the text, we present a likelihood-based optimization method for TTS. Furthermore, to boost up the inference speed, we leverage the accelerated sampling method that allows Diff-TTS to generate raw waveforms much faster without significantly degrading perceptual quality. Through experiments, we verified that Diff-TTS generates 28 times faster than the real-time with a single NVIDIA 2080Ti GPU.


title: Hamiltonian singular value transformation and inverse block encoding

abstract: The quantum singular value transformation is a powerful quantum algorithm that allows one to apply a polynomial transformation to the singular values of a matrix that is embedded as a block of a unitary transformation. This paper shows how to perform the quantum singular value transformation for a matrix that can be embedded as a block of a Hamiltonian. The transformation can be implemented in a purely Hamiltonian context by the alternating application of Hamiltonians for chosen intervals: it is an example of the Quantum Alternating Operator Ansatz (generalized QAOA). We also show how to use the Hamiltonian quantum singular value transformation to perform inverse block encoding to implement a unitary of which a given Hamiltonian is a block. Inverse block encoding leads to novel procedures for matrix multiplication and for solving differential equations on quantum information processors in a purely Hamiltonian fashion.


title: Evolution of cooperation in multi-agent systems with time-varying tags, multiple strategies, and heterogeneous invasion dynamics

abstract: Cooperation in an open dynamic system fundamentally depends upon information distributed across its components. Yet in an environment with rapidly enlarging complexity, this information may need to change adaptively to enable not only cooperation but also the mere survival of an organism. Combining the methods of evolutionary game theory, agent-based simulation, and statistical physics, we develop a model of the evolution of cooperation in an ageing population of artificial decision makers playing spatial tag-mediated prisoner's dilemma games with their ingroup neighbors and with genetically unrelated immigrant agents. In our model with six strategies we introduce the concept of time-varying tags such that the phenotypic features of 'new' agents can change into 'approved' following variable approval times. Our Monte Carlo simulations show that ingroup-biased ethnocentric cooperation can dominate only at low costs and short approval times. In the standard 4-strategy model with fixed tags, we identified a critical cost $c_{\mathrm{crit}}$ above which cooperation transitioned abruptly into the phase of pure defection, revealing remarkable fragility of ingroup-biased generosity. In our generalized 6-strategy model with time-varying tags, elevated cooperation was observed for a wider region of the parameter space, peaking at intermediate approval times and cost values above $c_{\mathrm{crit}}$. Our findings show that in an open system subject to immigration dynamics, high levels of social cooperation are possible if a fraction of the population adopts the strategy with an egalitarian generosity directed towards both native and approved naturalized citizens, regardless of their actual origin. These findings also suggest that instead of relying upon arbitrarily fixed approval times, there is an optimal duration of the naturalization procedure from which the society as a whole can profit most.

categories: physics.soc-ph cond-mat.stat-mech nlin.AO q-bio.PE


title: A lattice approach to the Beta distribution induced by stochastic dominance: Theory and applications

abstract: We provide a comprehensive analysis of the two-parameter Beta distributions seen from the perspective of second-order stochastic dominance. By changing its parameters through a bijective mapping, we work with a bounded subset D instead of an unbounded plane. We show that a mean-preserving spread is equivalent to an increase of the variance, which means that higher moments are irrelevant to compare the riskiness of Beta distributions. We then derive the lattice structure induced by second-order stochastic dominance, which is feasible thanks to the topological closure of D. Finally, we consider a standard (expected-utility based) portfolio optimization problem in which its inputs are the parameters of the Beta distribution. We explicitly characterize the subset of D for which the optimal solution consists of investing 100% of the wealth in the risky asset and we provide an exhaustive numerical analysis of this optimal solution through (color-coded) graphs.


title: Existence, uniqueness, and stabilization results for parabolic variational inequalities

abstract: In this paper we consider feedback stabilization for parabolic variational inequalities of obstacle type with time and space depending reaction and convection coefficients and show exponential stabilization to nonstationary trajectories. Based on a Moreau-Yosida approximation, a feedback operator is established using a finite (and uniform in the approximation index) number of actuators leading to exponential decay of given rate of the state variable. Several numerical examples are presented addressing smooth and nonsmooth obstacle functions.


title: Deep Reinforcement Learning Powered IRS-Assisted Downlink NOMA

abstract: In this work, we examine an intelligent reflecting surface (IRS) assisted downlink non-orthogonal multiple access (NOMA) scenario with the aim of maximizing the sum rate of users. The optimization problem at the IRS is quite complicated, and non-convex, since it requires the tuning of the phase shift reflection matrix. Driven by the rising deployment of deep reinforcement learning (DRL) techniques that are capable of coping with solving non-convex optimization problems, we employ DRL to predict and optimally tune the IRS phase shift matrices. Simulation results reveal that IRS assisted NOMA based on our utilized DRL scheme achieves high sum rate compared to OMA based one, and as the transmit power increases, the capability of serving more users increases. Furthermore, results show that imperfect successive interference cancellation (SIC) has a deleterious impact on the data rate of users performing SIC. As the imperfection increases by ten times, the rate decreases by more than 10%.


title: Inhomogeneous spin $q$-Whittaker polynomials

abstract: We introduce and study an inhomogeneous generalization of the spin $q$-Whittaker polynomials from [Borodin,Wheeler-17]. These are symmetric polynomials, and we prove a branching rule, skew dual and non-dual Cauchy identities, and an integral representation for them. Our main tool is a novel family of deformed Yang-Baxter equations.


title: Bosonization, mass generation, and the pseudo Chern-Simons action

abstract: We discuss several aspects of a generalization of the Chern-Simons action containing the pseudo-differential operator$\sqrt{-\Box}$, which we shall call pseudo Chern-Simons (PCS). Firstly, we derive the PCS from the bosonization of free massive Dirac particles in (2+1)D in the limit when $m^2\ll p^2$, where $m$ is the fermion mass and $p$ is its momentum. In this regime, the whole bosonized action also has a modified Maxwell term, involving the same pseudo-differential operator. Furthermore, the large-mass $m^2\gg p^2$ regime is also considered. We also investigate the main effects of the PCS term into the Pseudo quantum electrodynamics (PQED), which describes the electromagnetic interactions between charged particles in (2+1)D. We show that the massless gauge field of PQED becomes massive in the presence of a PCS term, without the need of a Higgs mechanism. In the nonrelativistic limit, we show that the static potential has a repulsive term (given by the Coulomb potential) and an attractive part (given by a sum of special functions), whose competition generates bound states of particles with the same charge. Having in mind two-dimensional materials, we also conclude that the presence of a PCS term does not affect the renormalization either of the Fermi velocity and of the band gap in a Dirac-like material.


title: Planar diagrammatics of self-adjoint functors and recognizable tree series

abstract: A pair of biadjoint functors between two categories produces a collection of elements in the centers of these categories, one for each isotopy class of nested circles in the plane. If the centers are equipped with a trace map into the ground field, then one assigns an element of that field to a diagram of nested circles. We focus on the self-adjoint functor case of this construction and study the reverse problem of recovering such a functor and a category given values associated to diagrams of nested circles.


title: Adaptive rewiring of random neural networks generates convergent-divergent units

abstract: Brain networks are adaptively rewired continually, adjusting their topology to bring about functionality and efficiency in sensory, motor and cognitive tasks. In model neural network architectures, adaptive rewiring generates complex, brain-like topologies. Present models, however, cannot account for the emergence of complex directed connectivity structures. We tested a biologically plausible model of adaptive rewiring in directed networks, based on two algorithms widely used in distributed computing: advection and consensus. When both are used in combination as rewiring criteria, adaptive rewiring shortens path length and enhances connectivity. When keeping a balance between advection and consensus, adaptive rewiring produces convergent-divergent units consisting of convergent hub nodes, which collect inputs from pools of sparsely connected, or local, nodes and project them via densely interconnected processing nodes onto divergent hubs that broadcast output back to the local pools. Convergent-divergent units operate within and between sensory, motor, and cognitive brain regions as their connective core, mediating context-sensitivity to local network units. By showing how these structures emerge spontaneously in directed networks models, adaptive rewiring offers self-organization as a principle for efficient information propagation and integration in the brain.