title: Approximate solutions to the Travelling Salesperson Problem on semimetric graphs

abstract: With the aid of the relaxed polygonal inequality (introduced by Fagin et al.) we strive to extend the applicability of Christofides approximation technique to the scope of all complete finite weighted graphs with positive weights. First section acquaints the Reader with the class of semimetric graphs and proves that every finite graph admits $\gamma$-polygon structure. Sections 2 and 3 establish the necessary notions from the graph and optimization theory to tackle the Traveling Salesperson Problem. In section 4 the minimal spanning tree method is introduced, while section 5 focuses on the analysis of this method through the lens of $\gamma$-polygon graphs. The final section of the paper adjusts the technique of Christofides by obtaining $\frac{3\gamma}{2}-$approximation for the TSP.


title: Join-semilattices whose principal filters are pseudocomplemented lattices

abstract: This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective implication in a certain kind of intuitionistic logic. Contrary to the case of Brouwerian semilattices, sections need not be distributive lattices. This essentially allows possible applications in non-classical logics. We present a connection of the semilattices mentioned in the beginning with so-called non-classical implication semilattices which can be converted into I-algebras having everywhere defined operations. Moreover, we relate our structures to sectionally and relatively residuated semilattices which means that our logical structures are closely connected with substructural logics. We show that I-algebras form a congruence distributive, 3-permutable and weakly regular variety.


title: Delay-Bounded Scheduling Without Delay! (Extended Technical Report)

abstract: We consider the broad problem of analyzing safety properties of asynchronous concurrent programs under arbitrary thread interleavings. Delay-bounded deterministic scheduling, introduced in prior work, is an efficient bug-finding technique to curb the large cost associated with full scheduling nondeterminism. In this paper we first present a technique to lift the delay bound for the case of finite-domain variable programs, thus adding to the efficiency of bug detection the ability to prove safety of programs under arbitrary thread interleavings. Second, we demonstrate how, combined with predicate abstraction, our technique can both refute and verify safety properties of programs with unbounded variable domains, even for unbounded thread counts. Previous work has established that, for non-trivial concurrency routines, predicate abstraction induces a highly complex abstract program semantics. Our technique, however, never statically constructs an abstract parametric program; it only requires some abstract-states set to be closed under certain actions, thus eliminating the dependence on the existence of verification algorithms for abstract programs. We demonstrate the efficiency of our technique on many examples used in prior work, and showcase its simplicity compared to earlier approaches on the unbounded-thread Ticket Lock protocol.


title: On the Pythagorean Structure of the Optimal Transport for Separable Cost Functions

abstract: In this paper, we study the optimal transport problem induced by separable cost functions. In this framework, transportation can be expressed as the composition of two lower-dimensional movements. Through this reformulation, we prove that the random variable inducing the optimal transportation plan enjoys a conditional independence property. We conclude the paper by focusing on some significant settings. In particular, we study the problem in the Euclidean space endowed with the squared Euclidean distance. In this instance, we retrieve an explicit formula for the optimal transportation plan between any couple of measures as long as one of them is supported on a straight line.


title: ElATools: A tool for analyzing anisotropic elastic properties of the 2D and 3D materials

abstract: We introduce a computational method and a user-friendly code with a terminal-based graphical user interface (GUI), named ElATools, developed to analyze mechanical and anisotropic elastic properties. ElATools enables facile analysis of the second-order elastic stiffness tensor of two-dimensional (2D) and three-dimensional (3D) crystal systems. It computes and displays the main mechanical properties including the bulk modulus, Young's modulus, shear modulus, hardness, p-wave modulus, universal anisotropy index, Chung-Buessem anisotropy index, log-Euclidean anisotropy parameter, Cauchy pressures, Poisson's ratio, and Pugh's ratio, using three averaging schemes of Voigt, Reuss, and Hill. It includes an online and offline database from the Materials Project with more than 13,000 elastic stiffness constants for 3D materials. The program supports output files of the well-known computational codes IRelast, IRelast2D, ElaStic, and AELAS. Four types of plotting and visualization tools are integrated to conveniently interface with GNUPLOT, XMGRACE, view3dscene, and plotly libraries, offering immediate post-processing of the results. It can efficiently identify anomalous mechanical properties, such as negative linear compressibility, negative Poisson's ratio, and highly-anisotropic elastic modulus in 2D and 3D materials, which are central properties to design and develop high-performance nanoscale electromechanical devices. Six case studies on selected material systems, namely, ZnAu$_2$ (CN)$_4$, CrB$_2$, $\delta$-phosphorene, Pd$_2$O$_6$Se$_2$ monolayer, and GaAs, and a hypothetical set of systems with cubic symmetry are presented to demonstrate the descriptive and predictive capabilities of ElATools.


title: MUSE-ALMA Halos VI: Coupling Atomic, Ionised & Molecular Gas Kinematics of Galaxies

abstract: We present results of MUSE-ALMA Halos, an ongoing study of the Circumgalactic Medium (CGM) of galaxies ($z \leq$ 1.4). Using multi-phase observations we probe the neutral, ionised and molecular gas in a sub-sample containing six absorbers and nine associated galaxies in the redshift range $z \sim 0.3-0.75$. Here, we give an in-depth analysis of the newly CO-detected galaxy Q2131-G1 ($z=0.42974$), while providing stringent mass and depletion time limits for the non-detected galaxies. Q2131-G1 is associated with an absorber with column densities of $\textrm{log}(N_\textrm{HI}/\textrm{cm}^{-2}) \sim 19.5$ and $\textrm{log}(N_{\textrm{H}_2}/\textrm{cm}^{-2}) \sim 16.5$, has a star formation rate of $\textrm{SFR} = 2.00 \pm 0.20 \; \textrm{M}_{\odot} \textrm{yr}^{-1}$, a dark matter fraction of $f_\textrm{DM}(r_{1/2}) = 0.24 - 0.54$ and a molecular gas mass of $M_\textrm{mol} = 3.52 ^{+3.95}_{-0.31} \times 10^9 \; \textrm{M}_{\odot}$ resulting in a depletion time of $\tau_\textrm{dep} < 4.15 \; \textrm{Gyr}$. Kinematic modelling of both the CO (3--2) and [OIII] $\lambda 5008$ emission lines of Q2131-G1 shows that the molecular and ionised gas phases are well aligned directionally and that the maximum rotation velocities closely match. These two gas phases within the disk are strongly coupled. The metallicity, kinematics and orientation of the atomic and molecular gas traced by a two-component absorption feature is consistent with being part of the extended rotating disk with a well-separated additional component associated with infalling gas. Compared to emission-selected samples, we find that HI-selected galaxies have high molecular gas masses given their low star formation rate. We consequently derive high depletion times for these objects.


title: Invariant measures in simple and in small theories

abstract: We give examples of (i) a simple theory with a formula (with parameters) which does not fork over the empty set but has mu measure 0 for every automorphism invariant Keisler measure mu, and (ii) a definable group G in a simple theory such that G is not definably amenable, i.e. there is no translation invariant Keisler measure on G We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups, and nontriviality of the graded Grothendieck ring.


title: Burkhardt-Cottingham-type sum rules for light-cone and quasi-PDFs

abstract: The Burkhardt-Cottingham (BC) sum rule connects the twist-3 light-cone parton distribution function (PDF) $g_{T}(x)$ to the twist-2 helicity PDF $g_{1}(x)$. The chiral-odd counterpart of the BC sum rule relates the twist-3 light-cone PDF $h_{L}(x)$ to the twist-2 transversity PDF $h_{1}(x)$. These BC-type sum rules can also be derived for the corresponding quasi-PDFs. We perform a perturbative check of the BC-type sum rules in the quark target model and the Yukawa model, by going beyond the ultra-violet (UV) divergent terms. We employ dimensional regularization (DR) and cut-off schemes to regulate UV divergences, and show that the BC-type sum rules hold for DR, while they are generally violated when using a cut-off. This violation can be traced back to the breaking of rotational invariance. We find corresponding results for the sum rule relating the mass of the target to the twist-3 PDF $e(x)$. Moreover, we supplement our analytical results with numerical calculations.


title: Calibrating sufficiently

abstract: When probabilistic classifiers are trained and calibrated, the so-called grouping loss component of the calibration loss can easily be overlooked. Grouping loss refers to the gap between observable information and information actually exploited in the calibration exercise. We investigate the relation between grouping loss and the concept of sufficiency, identifying comonotonicity as a useful criterion for sufficiency. We revisit the probing reduction approach of Langford & Zadrozny (2005) and find that it produces an estimator of probabilistic classifiers that reduces grouping loss. Finally, we discuss Brier curves as tools to support training and 'sufficient' calibration of probabilistic classifiers.


title: A brain basis of dynamical intelligence for AI and computational neuroscience

abstract: The deep neural nets of modern artificial intelligence (AI) have not achieved defining features of biological intelligence, including abstraction, causal learning, and energy-efficiency. While scaling to larger models has delivered performance improvements for current applications, more brain-like capacities may demand new theories, models, and methods for designing artificial learning systems. Here, we argue that this opportunity to reassess insights from the brain should stimulate cooperation between AI research and theory-driven computational neuroscience (CN). To motivate a brain basis of neural computation, we present a dynamical view of intelligence from which we elaborate concepts of sparsity in network structure, temporal dynamics, and interactive learning. In particular, we suggest that temporal dynamics, as expressed through neural synchrony, nested oscillations, and flexible sequences, provide a rich computational layer for reading and updating hierarchical models distributed in long-term memory networks. Moreover, embracing agent-centered paradigms in AI and CN will accelerate our understanding of the complex dynamics and behaviors that build useful world models. A convergence of AI/CN theories and objectives will reveal dynamical principles of intelligence for brains and engineered learning systems. This article was inspired by our symposium on dynamical neuroscience and machine learning at the 6th Annual US/NIH BRAIN Initiative Investigators Meeting.


title: Disagreement Concerning Effect-Measure Modification

abstract: Stratifying factors, like age and gender, can modify the effect of treatments and exposures on risk of a studied outcome. Several effect measures, including the relative risk, hazard ratio, odds ratio, and risk difference, can be used to measure this modification. It is known that choice of effect measure may determine the presence and direction of effect-measure modification. We show that considering the opposite outcome -- for example, recovery instead of death -- may similarly influence effect-measure modification. In fact, if the relative risk for the studied outcome and the relative risk for the opposite outcome agree about the direction of effect-measure modification, then so will the two cumulative hazard ratios, the risk difference, and the odds ratio. When risks are randomly sampled from the uniform (0,1) distribution, the probability of this happening is 5/6. Disagreement is probable enough that researchers considering one relative risk should also consider the other and further discussion if they disagree. (If possible, researchers should also report estimated risks.) We provide examples through case studies on HCV, COVID-19, and bankruptcy following melanoma treatment.


title: The Superconducting Transition and Mixed State of YBa$_2$Cu$_3$O$_{6.95}$: An Undergraduate Experiment

abstract: We describe a simple AC susceptometer built in-house that can be used to make high-resolution measurements of the magnetic susceptibility of high-temperature superconductors in an undergraduate physics lab. Our system, cooled using liquid nitrogen, can reach a base temperature of 77 K. Our apparatus does not require gas handling systems or PID temperature controllers. Instead, it makes use of a thermal circuit that is designed to allow the sample to cool on a time scale that is suitable for an undergraduate lab. Furthermore, the temperature drift rate at the superconducting transition temperature $T_\mathrm{c}$ is low enough to allow for precise measurements of the complex magnetic susceptibility through $T_\mathrm{c}$, even for single-crystal samples with exceedingly sharp superconducting transitions. Using an electromagnet, we were able to apply static magnetic fields up to 63 mT at the sample site. By measuring the change in susceptibility as a function of the strength of an applied of static magnetic field, we were able to estimate the lower critical field $H_\mathrm{c1}$ of a single-crystal sample of optimally-doped YBa$_2$Cu$_3$O$_{6.95}$ at 77 K. We also investigated the mixed state of a sintered polycrystalline sample of YBa$_2$Cu$_3$O$_{6+y}$.


title: Flow harmonics in heavy ion physics at CMS and ATLAS

abstract: How can we gain a detailed insight into the hydrodynamic response of the system created in heavy ion collisions to the fluctuating initial geometry and viscous effects? Do we create a strongly interacting medium in proton-nucleus and proton-proton collisions, or rather a system of partons undergoing few scatterings? To what extent can we discriminate between initial momentum correlations and flow generated as a response to the initial geometry via interactions in the final state? Do measurements of identified particle flow confirm the observations from inclusive charged hadrons? An experimental overview of anisotropic flow measurements, ranging from large down to the smallest collision systems, is given in these proceedings.


title: Pizza and 2-structures

abstract: Let $\mathcal{H}$ be a Coxeter hyperplane arrangement in $n$-dimensional Euclidean space. Assume that the negative of the identity map belongs to the associated Coxeter group $W$. Furthermore assume that the arrangement is not of type $A_1^n$. Let $K$ be a measurable subset of the Euclidean space with finite volume which is stable by the Coxeter group $W$ and let $a$ be a point such that $K$ contains the convex hull of the orbit of the point $a$ under the group $W$. In a previous article the authors proved the generalized pizza theorem: that the alternating sum over the chambers $T$ of $\mathcal{H}$ of the volumes of the intersections $T\cap(K+a)$ is zero. In this paper we give a dissection proof of this result. In fact, we lift the identity to an abstract dissection group to obtain a similar identity that replaces the volume by any valuation that is invariant under affine isometries. This includes the cases of all intrinsic volumes. Apart from basic geometry, the main ingredient is a theorem of the authors where we relate the alternating sum of the values of certain valuations over the chambers of a Coxeter arrangement to similar alternating sums for simpler subarrangements called $2$-structures introduced by Herb to study discrete series characters of real reduced groups.


title: A new mixed finite-element method for $H^2$ elliptic problems

abstract: Fourth-order differential equations play an important role in many applications in science and engineering. In this paper, we present a three-field mixed finite-element formulation for fourth-order problems, with a focus on the effective treatment of the different boundary conditions that arise naturally in a variational formulation. Our formulation is based on introducing the gradient of the solution as an explicit variable, constrained using a Lagrange multiplier. The essential boundary conditions are enforced weakly, using Nitsche's method where required. As a result, the problem is rewritten as a saddle-point system, requiring analysis of the resulting finite-element discretization and the construction of optimal linear solvers. Here, we discuss the analysis of the well-posedness and accuracy of the finite-element formulation. Moreover, we develop monolithic multigrid solvers for the resulting linear systems. Two and three-dimensional numerical results are presented to demonstrate the accuracy of the discretization and efficiency of the multigrid solvers proposed.


title: Circumferential Crack Modeling of Thin Cylindrical Shells in Modal Deformation

abstract: An innovative technique, called conversion, is introduced to model circumferential cracks in thin cylindrical shells. The semi-analytical finite element method is applied to investigate the modal deformation of the cylinder. An element including the crack is divided into three sub-elements with four nodes in which the stiffness matrix is enriched. The crack characteristics are included in the finite element method relations through conversion matrices and a rotational spring corresponding to the crack. Conversion matrices obtained by applying continuity conditions at the crack tip are used to transform displacements of the middle nodes to those of the main nodes. Moreover, another technique, called spring set, is represented based on a set of springs to model the crack as a separated element. Components of the stiffness matrix related to the separated element are incorporated while the geometric boundary conditions at the crack tip are satisfied. The effects of the circumferential mode number, the crack depth and the length of the cylinder on the critical buckling load are investigated. Experimental tests, ABAQUS modeling and results from literature are used to verify and validate the results and derived relations. In addition, the crack effect on the natural frequency is examined using the vibration analysis based on the conversion technique.


title: Adaptive Newton Sketch: Linear-time Optimization with Quadratic Convergence and Effective Hessian Dimensionality

abstract: We propose a randomized algorithm with quadratic convergence rate for convex optimization problems with a self-concordant, composite, strongly convex objective function. Our method is based on performing an approximate Newton step using a random projection of the Hessian. Our first contribution is to show that, at each iteration, the embedding dimension (or sketch size) can be as small as the effective dimension of the Hessian matrix. Leveraging this novel fundamental result, we design an algorithm with a sketch size proportional to the effective dimension and which exhibits a quadratic rate of convergence. This result dramatically improves on the classical linear-quadratic convergence rates of state-of-the-art sub-sampled Newton methods. However, in most practical cases, the effective dimension is not known beforehand, and this raises the question of how to pick a sketch size as small as the effective dimension while preserving a quadratic convergence rate. Our second and main contribution is thus to propose an adaptive sketch size algorithm with quadratic convergence rate and which does not require prior knowledge or estimation of the effective dimension: at each iteration, it starts with a small sketch size, and increases it until quadratic progress is achieved. Importantly, we show that the embedding dimension remains proportional to the effective dimension throughout the entire path and that our method achieves state-of-the-art computational complexity for solving convex optimization programs with a strongly convex component.


title: Storage Aware Routing for Generalized Delay Tolerant Networks

abstract: This paper presents a novel storage aware routing (STAR) protocol designed to provide a general networking solution over a broad range of wired and wireless usage scenarios. STAR enables routing policies which adapt seamlessly from a well-connected wired network to a disconnected wireless network. STAR uses a 2-Dimensional routing metric composed of a short and a long term route cost and storage availability on downstream routers to make store or forward routing decisions. Temporary in-network storage is preferred over forwarding along a path that is slower than average and opportunistic transmission is encouraged when faster than average routes become available. Results from ns2 based simulations show that STAR achieves $40-50\%$ higher throughput compared to OLSR in mobile vehicular and DTN scenarios and does $12-20\%$ better than OLSR in the static mesh case. Experimental evaluation of STAR on the ORBIT testbed validates the protocol implementation, and demonstrates significant performance improvements with 25\% higher peak throughput compared to OLSR in a wireless mesh network.


title: On elliptic curves induced by rational Diophantine quadruples

abstract: In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/k\mathbb{Z}$ for $k = 2, 4, 6, 8$, there are infinitely many rational Diophantine quadruples with the property that the induced elliptic curve has this torsion group. We also construct curves with moderately large rank in each of these four cases.


title: Ambiguity Rate of Hidden Markov Processes

abstract: The $\epsilon$-machine is a stochastic process' optimal model -- maximally predictive and minimal in size. It often happens that to optimally predict even simply-defined processes, probabilistic models -- including the $\epsilon$-machine -- must employ an uncountably-infinite set of features. To constructively work with these infinite sets we map the $\epsilon$-machine to a place-dependent iterated function system (IFS) -- a stochastic dynamical system. We then introduce the ambiguity rate that, in conjunction with a process' Shannon entropy rate, determines the rate at which this set of predictive features must grow to maintain maximal predictive power. We demonstrate, as an ancillary technical result which stands on its own, that the ambiguity rate is the (until now missing) correction to the Lyapunov dimension of an IFS's attractor. For a broad class of complex processes and for the first time, this then allows calculating their statistical complexity dimension -- the information dimension of the minimal set of predictive features.


title: Wave-optical study of the Einstein cross formed by a quadrupole gravitational lens

abstract: We study imaging of point sources with a quadrupole gravitational lens while focusing on the formation and evolution of the Einstein cross formed on the image sensor of an imaging telescope. We use a new type of a diffraction integral that we developed to study generic, opaque, weakly aspherical gravitational lenses. To evaluate this integral, we use the method of stationary phase that yields a quartic equation with respect to a Cartesian projection of the observer's position vector with respect to the vector of the impact parameter. The resulting quartic equation can be solved analytically using the method first published by Cardano in 1545. We find that the resulting solution provides a good approximation of the electromagnetic (EM) field almost everywhere in the image plane, yielding the well-known astroid caustic of the quadrupole lens. The sole exception is the immediate vicinity of the caustic boundary, where a numerical treatment of the diffraction integral yields better results. We also convolve the quartic solution for the EM field on the image plane with the point-spread function of a thin lens imaging telescope. By doing so, we are able to explore the direct relationship between the algebraic properties of the quartic solution for the EM field, the geometry of the astroid caustic, and the geometry and shape of the resulting Einstein-cross that appear on the image plane of the thin lens telescope. The new quartic solution leads to significant improvements in numerical modeling as evaluation of this solution is computationally far less expensive than a direct numerical treatment of the new diffraction integral. In the case of the solar gravitational lens (SGL), the new results drastically improve the speed of numerical simulations related to sensitivity analysis performed in the context of high-resolution imaging of exoplanets.


title: Two-step nucleation of the Earth's inner core

abstract: It has long been assumed the Earth's solid inner core started to grow when molten iron cooled to its melting point. However, the nucleation mechanism, which is a necessary step of crystallization, has not been well understood. Recent studies found it requires an unrealistic degree of undercooling to nucleate the stable hexagonal close-packed (hcp) phase of iron, which can never be reached under the actual Earth's core conditions. This contradiction leads to the inner core nucleation paradox [1]. Here, using a persistent-embryo method and molecular dynamics simulations, we demonstrate that the metastable body-centered cubic (bcc) phase of iron has a much higher nucleation rate than the hcp phase under inner-core conditions. Thus, the bcc nucleation is likely to be the first step of inner core formation instead of direct nucleation of the hcp phase. This mechanism reduces the required undercooling of iron nucleation, which provides a key factor to solve the inner-core nucleation paradox. The two-step nucleation scenario of the inner core also opens a new avenue for understanding the structure and anisotropy of the present inner core.


title: Generalized Tur\'an results for intersecting cliques

abstract: For fixed graphs $F$ and $H$, the generalized Tur\'an problem asks for the maximum number $ex(n,H,F)$ of copies of $H$ that an $n$-vertex $F$-free graph can have. In this paper, we focus on cases with $F$ being $B_{r,s}$, the graph consisting of two cliques of size $s$ sharing $r$ common vertices. We determine $ex(n,K_t,B_{r,0})$, $ex(n,K_t,B_{r,1})$ and $ex(n,K_{a,b},B_{3,1})$ for all values of $a,b,r,t$ if $n$ is large enough.


title: Comparison of HPC Architectures for Computing All-Pairs Shortest Paths. Intel Xeon Phi KNL vs NVIDIA Pascal

abstract: Today, one of the main challenges for high-performance computing systems is to improve their performance by keeping energy consumption at acceptable levels. In this context, a consolidated strategy consists of using accelerators such as GPUs or many-core Intel Xeon Phi processors. In this work, devices of the NVIDIA Pascal and Intel Xeon Phi Knights Landing architectures are described and compared. Selecting the Floyd-Warshall algorithm as a representative case of graph and memory-bound applications, optimized implementations were developed to analyze and compare performance and energy efficiency on both devices. As it was expected, Xeon Phi showed superior when considering double-precision data. However, contrary to what was considered in our preliminary analysis, it was found that the performance and energy efficiency of both devices were comparable using single-precision datatype.


title: Texture Generation with Neural Cellular Automata

abstract: Neural Cellular Automata (NCA) have shown a remarkable ability to learn the required rules to "grow" images, classify morphologies, segment images, as well as to do general computation such as path-finding. We believe the inductive prior they introduce lends itself to the generation of textures. Textures in the natural world are often generated by variants of locally interacting reaction-diffusion systems. Human-made textures are likewise often generated in a local manner (textile weaving, for instance) or using rules with local dependencies (regular grids or geometric patterns). We demonstrate learning a texture generator from a single template image, with the generation method being embarrassingly parallel, exhibiting quick convergence and high fidelity of output, and requiring only some minimal assumptions around the underlying state manifold. Furthermore, we investigate properties of the learned models that are both useful and interesting, such as non-stationary dynamics and an inherent robustness to damage. Finally, we make qualitative claims that the behaviour exhibited by the NCA model is a learned, distributed, local algorithm to generate a texture, setting our method apart from existing work on texture generation. We discuss the advantages of such a paradigm.


title: The Virtual Quantum Optics Laboratory

abstract: We present a web-based software tool, the Virtual Quantum Optics Laboratory (VQOL), that may be used for designing and executing realistic simulations of quantum optics experiments. A graphical user interface allows one to rapidly build and configure a variety of different optical experiments, while the runtime environment provides unique capabilities for visualization and analysis. All standard linear optical components are available as well as sources of thermal, coherent, and entangled Gaussian states. A unique aspect of VQOL is the introduction of non-Gaussian measurements using detectors modeled as deterministic devices that "click" when the amplitude of the light falls above a given threshold. We describe the underlying theoretical models and provide several illustrative examples. We find that VQOL provides a a faithful representation of many experimental quantum optics phenomena and may serve as both a useful instructional tool for students as well as a valuable research tool for practitioners.


title: New adaptive synchronization algorithm for a general class of hyperchaotic complex-valued systems with unknown parameters and its application to secure communication

abstract: This report aims to study adaptive synchronization between a general class of hyperchaotic complex-valued systems with unknown parameters, which is motivated by extensive application areas of this topic in nonlinear sciences (e.g., secure communications, encryption techniques, etc.). Based on the complexity of hyperchaotic dynamical systems, which may be beneficial in secure communications, a scheme to achieve adaptive synchronization of a general class of hyperchaotic complex-valued systems with unknown parameters is proposed. To verify scheme's consistency, the control functions based on adaptive laws of parameters are derived analytically, and the related numerical simulations are performed. The complex-valued Rabinovich system describing the parametric excitation of waves in a magneto-active plasma is considered as an interesting example to study this kind of synchronization. A scheme for secure communication and improving the cryptosystem is proposed; the sketch is constructed to split the message and inject some bit of information signal into parameters modulation and the other bit into the transmitter system's states, which, in turn, complicates decryption task by intruders. Meanwhile, the information signal can be accurately retrieved at the receiver side by adaptive techniques and decryption function. Different types of encrypted messages are considered for testing the robustness of the proposed scheme (e.g., plain text and gray images with diverse scales of white Gaussian noise).


title: 1D CNN Architectures for Music Genre Classification

abstract: This paper proposes a 1D residual convolutional neural network (CNN) architecture for music genre classification and compares it with other recent 1D CNN architectures. The 1D CNNs learn a representation and a discriminant directly from the raw audio signal. Several convolutional layers capture the time-frequency characteristics of the audio signal and learn various filters relevant to the music genre recognition task. The proposed approach splits the audio signal into overlapped segments using a sliding window to comply with the fixed-length input constraint of the 1D CNNs. As a result, music genre classification can be carried out on a single audio segment or on the aggregation of the predictions on several audio segments, which improves the final accuracy. The performance of the proposed 1D residual CNN is assessed on a public dataset of 1,000 audio clips. The experimental results have shown that it achieves 80.93% of mean accuracy in classifying music genres and outperforms other 1D CNN architectures.


title: Composition based crystal materials symmetry prediction using machine learning with enhanced descriptors

abstract: Geometric information such as the space groups and crystal systems plays an important role in the properties of crystal materials. Prediction of crystal system and space group thus has wide applications in crystal material property estimation and structure prediction. Previous works on experimental X-ray diffraction (XRD) and density functional theory (DFT) based structure determination methods achieved outstanding performance, but they are not applicable for large-scale screening of materials compositions. There are also machine learning models using Magpie descriptors for composition based material space group determination, but their prediction accuracy only ranges between 0.638 and 0.907 in different kinds of crystals. Herein, we report an improved machine learning model for predicting the crystal system and space group of materials using only the formula information. Benchmark study on a dataset downloaded from Materials Project Database shows that our random forest models based on our new descriptor set, achieve significant performance improvements compared with previous work with accuracy scores ranging between 0.712 and 0.961 in terms of space group classification. Our model also shows large performance improvement for crystal system prediction. Trained models and source code are freely available at \url{https://github.com/Yuxinya/SG_predict}


title: Fast-forwarding quantum evolution

abstract: We investigate the problem of fast-forwarding quantum evolution, whereby the dynamics of certain quantum systems can be simulated with gate complexity that is sublinear in the evolution time. We provide a definition of fast-forwarding that considers the model of quantum computation, the Hamiltonians that induce the evolution, and the properties of the initial states. Our definition accounts for any asymptotic complexity improvement of the general case and we use it to demonstrate fast-forwarding in several quantum systems. In particular, we show that some local spin systems whose Hamiltonians can be taken into block diagonal form using an efficient quantum circuit, such as those that are permutation-invariant, can be exponentially fast-forwarded. We also show that certain classes of positive semidefinite local spin systems, also known as frustration-free, can be polynomially fast-forwarded, provided the initial state is supported on a subspace of sufficiently low energies. Last, we show that all quadratic fermionic systems and number-conserving quadratic bosonic systems can be exponentially fast-forwarded in a model where quantum gates are exponentials of specific fermionic or bosonic operators, respectively. Our results extend the classes of physical Hamiltonians that were previously known to be fast-forwarded, while not necessarily requiring methods that diagonalize the Hamiltonians efficiently. We further develop a connection between fast-forwarding and precise energy measurements that also accounts for polynomial improvements.


title: Distributed Resilient Submodular Action Selection in Adversarial Environments

abstract: In this letter, we consider a distributed submodular maximization problem for multi-robot systems when attacked by adversaries. One of the major challenges for multi-robot systems is to increase resilience against failures or attacks. This is particularly important for distributed systems under attack as there is no central point of command that can detect, mitigate, and recover from attacks. Instead, a distributed multi-robot system must coordinate effectively to overcome adversarial attacks. In this work, our distributed submodular action selection problem models a broad set of scenarios where each robot in a multi-robot system has multiple action selections that may fulfill a global objective, such as exploration or target tracking. To increase resilience in this context, we propose a fully distributed algorithm to guide each robot's action selection when the system is attacked. The proposed algorithm guarantees performance in a worst-case scenario where up to a portion of the robots malfunction due to attacks. Importantly, the proposed algorithm is also consistent, as it is shown to converge to the same solution as a centralized method. Finally, a distributed resilient multi-robot exploration problem is presented to confirm the performance of the proposed algorithm.


title: Classifying sufficiently connected PSC manifolds in $4$ and $5$ dimensions

abstract: We show that if $N$ is a closed manifold of dimension $n=4$ (resp. $n=5$) with $\pi_2(N) = 0$ (resp. $\pi_2(N)=\pi_3(N)=0$) that admits a metric of positive scalar curvature, then a finite cover $\hat N$ of $N$ is homotopy equivalent to $S^n$ or connected sums of $S^{n-1}\times S^1$. Our approach combines recent advances in the study of positive scalar curvature with a novel argument of Alpert--Balitskiy--Guth. Additionally, we prove a more general mapping version of this result. In particular, this implies that if $N$ is a closed manifold of dimensions $4$ or $5$, and $N$ admits a map of nonzero degree to a closed aspherical manifold, then $N$ does not admit any Riemannian metric with positive scalar curvature.


title: On the Waldschmidt constant of square-free principal Borel ideals

abstract: Fix a square-free monomial $m \in S = \mathbb{K}[x_1,\ldots,x_n]$. The square-free principal Borel ideal generated by $m$, denoted ${\rm sfBorel}(m)$, is the ideal generated by all the square-free monomials that can be obtained via Borel moves from the monomial $m$. We give upper and lower bounds for the Waldschmidt constant of ${\rm sfBorel}(m)$ in terms of the support of $m$, and in some cases, exact values. For any rational $\frac{a}{b} \geq 1$, we show that there exists a square-free principal Borel ideal with Waldschmidt constant equal to $\frac{a}{b}$.


title: Towards a Predictive Processing Implementation of the Common Model of Cognition

abstract: In this article, we present a cognitive architecture that is built from powerful yet simple neural models. Specifically, we describe an implementation of the common model of cognition grounded in neural generative coding and holographic associative memory. The proposed system creates the groundwork for developing agents that learn continually from diverse tasks as well as model human performance at larger scales than what is possible with existant cognitive architectures.


title: A FETI approach to domain decomposition for meshfree discretizations of nonlocal problems

abstract: We propose a domain decomposition method for the efficient simulation of nonlocal problems. Our approach is based on a multi-domain formulation of a nonlocal diffusion problem where the subdomains share "nonlocal" interfaces of the size of the nonlocal horizon. This system of nonlocal equations is first rewritten in terms of minimization of a nonlocal energy, then discretized with a meshfree approximation and finally solved via a Lagrange multiplier approach in a way that resembles the finite element tearing and interconnect method. Specifically, we propose a distributed projected gradient algorithm for the solution of the Lagrange multiplier system, whose unknowns determine the nonlocal interface conditions between subdomains. Several two-dimensional numerical tests illustrate the strong and weak scalability of our algorithm, which outperforms the standard approach to the distributed numerical solution of the problem. This work is the first rigorous numerical study in a two-dimensional multi-domain setting for nonlocal operators with finite horizon and, as such, it is a fundamental step towards increasing the use of nonlocal models in large scale simulations.


title: Regret Analysis of Distributed Online LQR Control for Unknown LTI Systems

abstract: Online optimization has recently opened avenues to study optimal control for time-varying cost functions that are unknown in advance. Inspired by this line of research, we study the distributed online linear quadratic regulator (LQR) problem for linear time-invariant (LTI) systems with unknown dynamics. Consider a multi-agent network where each agent is modeled as a LTI system. The network has a global time-varying quadratic cost, which may evolve adversarially and is only partially observed by each agent sequentially. The goal of the network is to collectively (i) estimate the unknown dynamics and (ii) compute local control sequences competitive to the best centralized policy in hindsight, which minimizes the sum of network costs over time. This problem is formulated as a regret minimization. We propose a distributed variant of the online LQR algorithm, where agents compute their system estimates during an exploration stage. Each agent then applies distributed online gradient descent on a semi-definite programming (SDP) whose feasible set is based on the agent system estimate. We prove that with high probability the regret bound of our proposed algorithm scales as $O(T^{2/3}\log T)$, implying the consensus of all agents over time. We also provide simulation results verifying our theoretical guarantee.


title: How Does Regression Test Selection Affect Program Repair? An Extensive Study on 2 Million Patches

abstract: APR techniques can be extremely time consuming since (1) a large number of patches can be generated for a given bug, and (2) each patch needs to be executed on the original tests to ensure its correctness. In the literature, various techniques (e.g., based on learning, mining, and constraint solving) have been proposed/studied to reduce the number of patches. However, there is limited study on the impact of test selection for each patch (e.g., only the tests affected by the patch need to be executed as the other tests would keep the same outcomes and can be skipped), and few APR systems actually apply test selection. Therefore, this paper conducts the first extensive study to investigate the impact of Regression Test Selection (RTS) on APR. More specifically, we implemented widely-used RTS techniques at different levels for 12 state-of-the-art APR systems with over 2M patches. Our study reveals various practical guidelines for future APR, including: (1) the number of patches widely used for measuring APR efficiency can incur skewed conclusions, and the use of inconsistent RTS configurations can further skew the conclusion; (2) all studied RTS techniques can substantially improve APR efficiency and should be considered in future APR work; (3) method- and statement-level RTS outperform class-level RTS substantially, and should be preferred; (4) RTS techniques can substantially outperform state-of-the-art test prioritization techniques for APR, and combining them can further improve APR efficiency; and (5) traditional regression test prioritization widely studied in regression testing performs even better than APR-specific test prioritization when combined with most RTS techniques. Furthermore, we also present the detailed impact of different patch categories and patch validation strategies on our findings.


title: Stochastic equations with time-dependent singular drift

abstract: We prove unique weak solvability and Feller property for stochastic differential equations with drift in a large class of time-dependent vector fields. This class contains, in particular, the critical Ladyzhenskaya-Prodi-Serrin class, the weak $L^d$ class as well as some vector fields that are not even in $L^{2+\varepsilon}_{\rm loc}$, $\varepsilon>0$.


title: Relativistic transformation of thermodynamic parameters and refined Saha equation

abstract: The relativistic transformation rule for temperature is a subject under debate for more than 110 years. Several incompatible proposals exist in the literature, but a final resolution is still missing. In this work, we reconsider the problem of relativistic transformation rules for a number of thermodynamic parameters, including temperature, chemical potential, pressure, entropy and enthalpy densities for a relativistic perfect fluid using relativistic kinetic theory. The analysis is carried out in a fully relativistic covariant manner, and the explicit transformation rules for the above quantities are obtained in both Minkowski and Rindler spacetimes. Our results suggest that the temperature of a moving fluid appears to be colder, supporting the proposal by de Broglie, Einstein and Planck in contrast to other proposals. Moreover, in the case of Rindler fluid, our work indicates that, the total number of particles and the total entropy of a perfect fluid in a box whose bottom is parallel to the Rindler horizon are proportional to the area of the bottom, but are independent of the height of the box, provided the bottom of the box is sufficiently close to the Rindler horizon. The area dependence of the particle number implies that the particles tend to be gathered toward the bottom of the box and hence implicitly determines the distribution of chemical potential of the system, whereas the area dependence of the entropy indicates that the entropy is still additive and may find some applications in explaining the area law of black hole entropy. As a by product, we also obtain a relativistically refined version of the famous Saha equation which holds in both Minkowski and Rindler spacetimes.


title: STAGE: Tool for Automated Extraction of Semantic Time Cues to Enrich Neural Temporal Ordering Models

abstract: Despite achieving state-of-the-art accuracy on temporal ordering of events, neural models showcase significant gaps in performance. Our work seeks to fill one of these gaps by leveraging an under-explored dimension of textual semantics: rich semantic information provided by explicit textual time cues. We develop STAGE, a system that consists of a novel temporal framework and a parser that can automatically extract time cues and convert them into representations suitable for integration with neural models. We demonstrate the utility of extracted cues by integrating them with an event ordering model using a joint BiLSTM and ILP constraint architecture. We outline the functionality of the 3-part STAGE processing approach, and show two methods of integrating its representations with the BiLSTM-ILP model: (i) incorporating semantic cues as additional features, and (ii) generating new constraints from semantic cues to be enforced in the ILP. We demonstrate promising results on two event ordering datasets, and highlight important issues in semantic cue representation and integration for future research.


title: Comments on "Two Cultures": What have changed over 20 years?

abstract: Twenty years ago Breiman (2001) called to our attention a significant cultural division in modeling and data analysis between the stochastic data models and the algorithmic models. Out of his deep concern that the statistical community was so deeply and "almost exclusively" committed to the former, Breiman warned that we were losing our abilities to solve many real-world problems. Breiman was not the first, and certainly not the only statistician, to sound the alarm; we may refer to none other than John Tukey who wrote almost 60 years ago "data analysis is intrinsically an empirical science." However, the bluntness and timeliness of Breiman's article made it uniquely influential. It prepared us for the data science era and encouraged a new generation of statisticians to embrace a more broadly defined discipline. Some might argue that "The cultural division between these two statistical learning frameworks has been growing at a steady pace in recent years", to quote Mukhopadhyay and Wang (2020). In this commentary, we focus on some of the positive changes over the past 20 years and offer an optimistic outlook for our profession.


title: From Masked Language Modeling to Translation: Non-English Auxiliary Tasks Improve Zero-shot Spoken Language Understanding

abstract: The lack of publicly available evaluation data for low-resource languages limits progress in Spoken Language Understanding (SLU). As key tasks like intent classification and slot filling require abundant training data, it is desirable to reuse existing data in high-resource languages to develop models for low-resource scenarios. We introduce xSID, a new benchmark for cross-lingual Slot and Intent Detection in 13 languages from 6 language families, including a very low-resource dialect. To tackle the challenge, we propose a joint learning approach, with English SLU training data and non-English auxiliary tasks from raw text, syntax and translation for transfer. We study two setups which differ by type and language coverage of the pre-trained embeddings. Our results show that jointly learning the main tasks with masked language modeling is effective for slots, while machine translation transfer works best for intent classification.


title: Quantum computation of nonlinear maps

abstract: Quantum algorithms for computing classical nonlinear maps are widely known for toy problems but might not suit potential applications to realistic physics simulations. Here, we propose how to compute a general differentiable invertible nonlinear map on a quantum computer using only linear unitary operations. The price of this universality is that the original map is represented adequately only on a finite number of iterations. More iterations produce spurious echos, which are unavoidable in any finite unitary emulation of generic non-conservative dynamics. Our work is intended as the first survey of these issues and possible ways to overcome them in the future. We propose how to monitor spurious echos via auxiliary measurements, and we illustrate our results with numerical simulations.


title: Universal fluctuation of polygonal crack geometry in solidified lava

abstract: Outcrops of columnar joints made of solidified lava flows are often covered by semi-ordered polygonal cracks. The polygon diameters are fairly uniform at each outcrop, but their shapes largely vary in the number of sides and internal angles. Herein, we unveil that the statistical variation in the polygon shape follows an extreme value distribution class: the Gumbel distribution. The Gumbel law was found to hold for different columnar joints, regardless of the locality, lithologic composition, and typical diameter. A common distribution for columnar joints implies a new universal class that may integrate the polygonal crack networks observed on the surface of various fractured brittle materials.

categories: physics.geo-ph cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech nlin.PS


title: The Volctrans Neural Speech Translation System for IWSLT 2021

abstract: This paper describes the systems submitted to IWSLT 2021 by the Volctrans team. We participate in the offline speech translation and text-to-text simultaneous translation tracks. For offline speech translation, our best end-to-end model achieves 8.1 BLEU improvements over the benchmark on the MuST-C test set and is even approaching the results of a strong cascade solution. For text-to-text simultaneous translation, we explore the best practice to optimize the wait-k model. As a result, our final submitted systems exceed the benchmark at around 7 BLEU on the same latency regime. We will publish our code and model to facilitate both future research works and industrial applications. This paper describes the systems submitted to IWSLT 2021 by the Volctrans team. We participate in the offline speech translation and text-to-text simultaneous translation tracks. For offline speech translation, our best end-to-end model achieves 7.9 BLEU improvements over the benchmark on the MuST-C test set and is even approaching the results of a strong cascade solution. For text-to-text simultaneous translation, we explore the best practice to optimize the wait-k model. As a result, our final submitted systems exceed the benchmark at around 7 BLEU on the same latency regime. We release our code and model at \url{https://github.com/bytedance/neurst/tree/master/examples/iwslt21} to facilitate both future research works and industrial applications.


title: LocalNewton: Reducing Communication Bottleneck for Distributed Learning

abstract: To address the communication bottleneck problem in distributed optimization within a master-worker framework, we propose LocalNewton, a distributed second-order algorithm with local averaging. In LocalNewton, the worker machines update their model in every iteration by finding a suitable second-order descent direction using only the data and model stored in their own local memory. We let the workers run multiple such iterations locally and communicate the models to the master node only once every few (say L) iterations. LocalNewton is highly practical since it requires only one hyperparameter, the number L of local iterations. We use novel matrix concentration-based techniques to obtain theoretical guarantees for LocalNewton, and we validate them with detailed empirical evaluation. To enhance practicability, we devise an adaptive scheme to choose L, and we show that this reduces the number of local iterations in worker machines between two model synchronizations as the training proceeds, successively refining the model quality at the master. Via extensive experiments using several real-world datasets with AWS Lambda workers and an AWS EC2 master, we show that LocalNewton requires fewer than 60% of the communication rounds (between master and workers) and less than 40% of the end-to-end running time, compared to state-of-the-art algorithms, to reach the same training~loss.


title: A graph-theoretic condition for delay stability of reaction systems

abstract: Delay mass-action systems provide a model of chemical kinetics when past states influence the current dynamics. In this work, we provide a graph-theoretic condition for delay stability, i.e., linear stability independent of both rate constants and delay parameters. In particular, the result applies when the system has no delay, implying asymptotic stability for the ODE system. The graph-theoretic condition is about cycles in the directed species-reaction graph of the network, which encodes how different species in the system interact.


title: Unsupervised Super-Resolution of Satellite Imagery for High Fidelity Material Label Transfer

abstract: Urban material recognition in remote sensing imagery is a highly relevant, yet extremely challenging problem due to the difficulty of obtaining human annotations, especially on low resolution satellite images. To this end, we propose an unsupervised domain adaptation based approach using adversarial learning. We aim to harvest information from smaller quantities of high resolution data (source domain) and utilize the same to super-resolve low resolution imagery (target domain). This can potentially aid in semantic as well as material label transfer from a richly annotated source to a target domain.


title: First-principles study of electron transport in ScN

abstract: We investigate the conduction-band structure and electron mobility in rocksalt ScN based on density functional theory. The first-principles band structure allows us to obtain band velocities and effective masses as a function of energy. Electron-phonon scattering is assessed by explicitly computing the $q$-dependent electron-phonon matrix elements, with the inclusion of the long-range electrostatic interaction. The influence of free-carrier screening on the electron transport is assessed using the random phase approximation. We find a notable enhancement of electron mobility when the carrier concentration exceeds 10$^{20}$ cm$^{-3}$. We calculate the room-temperature electron mobility in ScN to be 587 cm$^2$/Vs at low carrier concentrations. When the carrier concentration is increased, the electron mobility starts to decrease significantly around $n=10^{19}$ cm$^{-3}$, and drops to 240 cm$^2$/Vs at $n=10^{21}$ cm$^{-3}$. We also explore the influence of strain in (111)- and (100)-oriented ScN films. For (111) films, we find that a 1.0\% compressive epitaxial strain increases the in-plane mobility by 72 cm$^2$/Vs and the out-of-plane mobility by 50 cm$^2$/Vs. For (100) films, a 1.0\% compressive epitaxial strain increases the out-of-plane mobility by as much as 172 cm$^2$/Vs, but has a weak impact on the in-plane mobility. Our study sheds light on electron transport in ScN at different electron concentrations and shows how strain engineering could increase the electron mobility.


title: Data-driven Algorithms for signal processing with trigonometric rational functions

abstract: Rational approximation schemes for reconstructing periodic signals from samples with poorly separated spectral content are described. These methods are automatic and adaptive, requiring no tuning or manual parameter selection. Collectively, they form a framework for fitting trigonometric rational models to data that is robust to various forms of corruption, including additive Gaussian noise, perturbed sampling grids, and missing data. Our approach combines a variant of Prony's method with a modified version of the AAA algorithm. Using representations in both frequency and time space, a collection of algorithms is described for adaptively computing with trigonometric rationals. This includes procedures for differentiation, filtering, convolution, and more. A new MATLAB software system based on these algorithms is introduced. Its effectiveness is illustrated with synthetic and practical examples drawn from applications including biomedical monitoring, acoustic denoising, and feature detection.


title: Piezoelectric effect and polarization switching in Al$_{1-x}$Sc$_x$N

abstract: Aluminum nitride is piezoelectric and exhibits spontaneous polarization along the $c$-axis, but the polarization cannot be switched by applying an electric field. Adding Sc to AlN enhances the piezoelectric properties, and can make the alloy ferroelectric. We perform a detailed first-principles analysis of spontaneous and piezoelectric polarization. Comparisons between explicit supercell calculations show that the virtual crystal approximation produces accurate results for polarization, but falls short in describing the phase stability of the alloy. We relate the behavior of the piezoelectric constant $e_{33}$ to the microscopic behavior of the internal displacement parameter $u$, finding that the internal strain contribution dominates in the Sc-induced enhancement. The value of $u$ increases with scandium concentration, bringing the alloy locally closer to a layered hexagonal structure. Our approach allows us to calculate the ferroelectric switching barrier, which we analyze as a function of Sc concentration and temperature based on Ginzburg-Landau theory.


title: Application of the Adams-Bashfort-Mowlton Method to the Numerical Study of Linear Fractional Oscillators Models

abstract: The paper presents a numerical analysis of the class of mathematical models of linear fractional oscillators, which is the Cauchy problem for a differential equation with derivatives of fractional orders in the sense of Gerasimov-Caputo. A method based on an explicit nonlocal finite-difference scheme (ENFDS) and the Adams-Bashfort-Moulton (ABM) method is considered a numerical analysis tool. An analysis of the errors of the methods is carried out, and it is shown that the ABM method is more accurate and converges faster to an exact solution than the ENFDS method.


title: Que Bian: An Electronic Medical Record Management System on Blockchain

abstract: Medical Record Management System is an important information management system in healthcare centers and hospitals. Information kept in such systems need to be clean, correct and tamper-proof. In this paper, we take advantage of blockchains' tamper-proof and decentralization properties to develop a robust and secure electronic medical record management system. In particular we choose HyperLedger Fabric as our underlying technical architecture. HyperLedger Fabric yields higher throughput and lower latency compared with other blockchains, which is a perfect candidate for enterprise software development. Our system is a novel innovation that can serve as an ideal replacement for conventional Medical Record Management System.


title: Clutter Mitigation for Joint RadCom Systems Based On Spatial Modulation

abstract: Joint radar and communication (RadCom) systems have been proposed to integrate radar and communication into one platform and achieve spectrum sharing in recent years. However, the joint RadCom systems cause the clutter modulation and the performance degradation of radar. Therefore, it's very essential to improve the performance of radar when designing joint RadCom systems. This paper deals with the clutter mitigation for joint RadCom systems based on spatial modulation. The communication information embedding introduces variation of transmit beampatterns in a coherent processing interval (CPI) and causes the clutter modulation and spreading of the clutter spectrum. This paper propose a reduced dimension spatial temporal adaptive processing (RD-STAP) method, i.e., we firstly perform time domain filtering and then perform spatial domain filtering on received data. As for time domain filtering, this paper mitigates the extended clutter by subspace projection (SP) and proposes a more effective eigen-decomposition algorithm based on Power method than singular value decomposition (SVD) to obtain clutter subspace basis vectors. And the matched filter is performed on the data after clutter mitigation to display the moving target. And receive beamforming is utilized for spatial domain filtering. Simulation results highlight the effectiveness of the proposed RD-STAP method and the eigen-decomposition algorithm.


title: Dynamic Spatial Matching

abstract: Motivated by a variety of online matching platforms, we consider demand and supply units which are located i.i.d. in [0,1]^d, and each demand unit needs to be matched with a supply unit. The goal is to minimize the expected average distance between matched pairs (the "cost"). We model dynamic arrivals of one or both of demand and supply with uncertain locations of future arrivals, and characterize the scaling behavior of the achievable cost in terms of system size (number of supply units), as a function of the dimension d. Our achievability results are backed by concrete matching algorithms. Across cases, we find that the platform can achieve cost (nearly) as low as that achievable if the locations of future arrivals had been known beforehand. Furthermore, in all cases except one, cost nearly as low in terms of scaling as the expected distance to the nearest neighboring supply unit is achievable, i.e., the matching constraint does not cause an increase in cost either. The aberrant case is where only demand arrivals are dynamic, and d=1; excess supply significantly reduces cost in this case.


title: Two results on character codegrees

abstract: Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of irreducible characters of $G$. The codegree of an irreducible character $\chi$ of the group $G$ is defined as $\mathrm{cod}(\chi)=|G:\mathrm{ker}(\chi)|/\chi(1)$. In this paper, we study two topics related to the character codegrees. Let $\sigma^c(G)$ be the maximal integer $m$ such that there is a member in $\mathrm{cod}(G)$ having $m$ distinct prime divisors, where $\mathrm{cod}(G)=\{\mathrm{cod}(\chi)|\chi\in \mathrm{Irr}(G)\}$. One is related to the codegree version of the Huppert's $\rho$-$\sigma$ conjecture and we obtain the best possible bound for $|\pi(G)|$ under the condition $\sigma^c(G) = 2,3,$ and $4$ respectively. The other is related to the prime graph of character codegrees and we show that the codegree prime graphs of several classes of groups can be characterized only by graph theoretical terms.


title: Is In-Domain Data Really Needed? A Pilot Study on Cross-Domain Calibration for Network Quantization

abstract: Post-training quantization methods use a set of calibration data to compute quantization ranges for network parameters and activations. The calibration data usually comes from the training dataset which could be inaccessible due to sensitivity of the data. In this work, we want to study such a problem: can we use out-of-domain data to calibrate the trained networks without knowledge of the original dataset? Specifically, we go beyond the domain of natural images to include drastically different domains such as X-ray images, satellite images and ultrasound images. We find cross-domain calibration leads to surprisingly stable performance of quantized models on 10 tasks in different image domains with 13 different calibration datasets. We also find that the performance of quantized models is correlated with the similarity of the Gram matrices between the source and calibration domains, which can be used as a criterion to choose calibration set for better performance. We believe our research opens the door to borrow cross-domain knowledge for network quantization and compression.


title: A Complete algorithm for local inversion of maps: Application to Cryptanalysis

abstract: For a map (function) $F(x):\ftwo^n\rightarrow\ftwo^n$ and a given $y$ in the image of $F$ the problem of \emph{local inversion} of $F$ is to find all inverse images $x$ in $\ftwo^n$ such that $y=F(x)$. In Cryptology, such a problem arises in Cryptanalysis of One way Functions (OWFs). The well known TMTO attack in Cryptanalysis is a probabilistic algorithm for computing one solution of local inversion using $O(\sqrt N)$ order computation in offline as well as online for $N=2^n$. This paper proposes a complete algorithm for solving the local inversion problem which uses linear complexity for a unique solution in a periodic orbit. The algorithm is shown to require an offline computation to solve a hard problem (possibly requiring exponential computation) and an online computation dependent on $y$ that of repeated forward evaluation $F(x)$ on points $x$ in $\ff_{2^n}$ which is polynomial time at each evaluation. However the forward evaluation is repeated at most as many number of times as the Linear Complexity of the sequence $\{y,F(y),\ldots\}$ to get one possible solution when this sequence is periodic. All other solutions are obtained in chains $\{e,F(e),\ldots\}$ for all points $e$ in the Garden of Eden (GOE) of the map $F$. Hence a solution $x$ exists iff either the former sequence is periodic or a solution occurs in a chain starting from a point in GOE. The online computation then turns out to be polynomial time $O(L^k)$ in the linear complexity $L$ of the sequence to compute one possible solution in a periodic orbit or $O(l)$ the chain length for a fixed $n$. Hence this is a complete algorithm for solving the problem of finding all rational solutions $x$ of the equation $F(x)=y$ for a given $y$ and a map $F$ in $\ff_{2^n}$.


title: Computer-Mediated Consent to Sex: The Context of Tinder

abstract: This paper reports an interview study about how consent to sexual activity is computer-mediated. The study's context of online dating is chosen due to the prevalence of sexual violence, or nonconsensual sexual activity, that is associated with dating app-use. Participants (n=19) represent a range of gender identities and sexual orientations, and predominantly used the dating app Tinder. Findings reveal two computer-mediated consent processes: consent signaling and affirmative consent. With consent signaling, users employed Tinder's interface to infer and imply agreement to sex without any explicit confirmation before making sexual advances in-person. With affirmative consent, users employed the interface to establish patterns of overt discourse around sex and consent across online and offline modalities. The paper elucidates shortcomings of both computer-mediated consent processes that leave users susceptible to sexual violence and envisions dating apps as potential sexual violence prevention solutions if deliberately designed to mediate consent exchange.


title: Real-time Detection of Practical Universal Adversarial Perturbations

abstract: Universal Adversarial Perturbations (UAPs) are a prominent class of adversarial examples that exploit the systemic vulnerabilities and enable physically realizable and robust attacks against Deep Neural Networks (DNNs). UAPs generalize across many different inputs; this leads to realistic and effective attacks that can be applied at scale. In this paper we propose HyperNeuron, an efficient and scalable algorithm that allows for the real-time detection of UAPs by identifying suspicious neuron hyper-activations. Our results show the effectiveness of HyperNeuron on multiple tasks (image classification, object detection), against a wide variety of universal attacks, and in realistic scenarios, like perceptual ad-blocking and adversarial patches. HyperNeuron is able to simultaneously detect both adversarial mask and patch UAPs with comparable or better performance than existing UAP defenses whilst introducing a significantly reduced latency of only 0.86 milliseconds per image. This suggests that many realistic and practical universal attacks can be reliably mitigated in real-time, which shows promise for the robust deployment of machine learning systems.


title: The impact of low luminosity AGN on their host galaxies: A radio and optical investigation of the kpc-scale outflow in MaNGA 1-166919

abstract: One way an Active Galactic Nucleus (AGN) influences the evolution of their host galaxy is by generating a large-scale (kpc-scale) outflow. The content, energetics, and impact of such outflows depend on the properties of both the AGN and host galaxy, and understanding the relationship between them requires measuring the properties of all three. In this paper, we do so by analyzing recent radio and optical integral field unit (IFU) spectroscopic observations of MaNGA 1-166919. Our results indicate that the bi-conical outflow in this galaxy is powered by a low-luminosity, low-Eddington ratio AGN ejecting material that drives ~100-200 km/s shocks into the surrounding interstellar medium (ISM) -- producing the hot, ionized gas and relativistic particles associated with the observed outflow. The energetics of the relativistic and ionized gas material produced at this shock are comparable, and both the mass outflow and kinetic power of the ionized gas in this outflow are higher than other AGN with similar bolometric luminosities. Lastly, while the host galaxy's total star formation rate is comparable to that of other star-forming galaxies with a similar stellar mass, there is evidence that the outflow both suppresses and enhances star formation in its immediate surroundings.


title: Optimal convex approximations of quantum states based on fidelity

abstract: We investigate the problem of optimally approximating a desired state by the convex mixing of a set of available states. The problem is recasted as finding the optimal state with the minimum distance from target state in a convex set of usable states. Based on the fidelity, we define the optimal convex approximation of an expected state and present the complete exact solutions with respect to an arbitrary qubit state. We find that the optimal state based on fidelity is closer to the target state than the optimal state based on trace norm in many ranges. Finally, we analyze the geometrical properties of the target states which can be completely represented by a set of practicable states. Using the feature of convex combination, we express this class of target states in terms of three available states.


title: Self-organization principles of cell cycles and gene expressions in the development of cell populations

abstract: A big challenge in current biology is to understand the exact self-organization mechanism underlying complex multi-physics coupling developmental processes. With multiscale computations of from subcellular gene expressions to cell population dynamics that is based on first principles, we show that cell cycles can self-organize into periodic stripes in the development of E. coli populations from one single cell, relying on the moving graded nutrient concentration profile, which provides directing positional information for cells to keep their cycle phases in place. Resultantly, the statistical cell cycle distribution within the population is observed to collapse to a universal function and shows a scale invariance. Depending on the radial distribution mode of genetic oscillations in cell populations, a transition between gene patterns is achieved. When an inhibitor-inhibitor gene network is subsequently activated by a gene-oscillatory network, cell populations with zebra stripes can be established, with the positioning precision of cell-fate-specific domains influenced by cells' speed of free motions. Such information may provide important implications for understanding relevant dynamic processes of multicellular systems, such as biological development.


title: CCMN: A General Framework for Learning with Class-Conditional Multi-Label Noise

abstract: Class-conditional noise commonly exists in machine learning tasks, where the class label is corrupted with a probability depending on its ground-truth. Many research efforts have been made to improve the model robustness against the class-conditional noise. However, they typically focus on the single label case by assuming that only one label is corrupted. In real applications, an instance is usually associated with multiple labels, which could be corrupted simultaneously with their respective conditional probabilities. In this paper, we formalize this problem as a general framework of learning with Class-Conditional Multi-label Noise (CCMN for short). We establish two unbiased estimators with error bounds for solving the CCMN problems, and further prove that they are consistent with commonly used multi-label loss functions. Finally, a new method for partial multi-label learning is implemented with unbiased estimator under the CCMN framework. Empirical studies on multiple datasets and various evaluation metrics validate the effectiveness of the proposed method.


title: The role of non-axisymmetry of magnetic flux rope in constraining solar eruptions

abstract: Whether a solar eruption is successful or failed depends on the competition between different components of the Lorentz force exerting on the flux rope that drives the eruption. The present models only consider the strapping force generated by the background magnetic field perpendicular to the flux rope and the tension force generated by the field along the flux rope. Using the observed magnetic field on the photosphere as a time-matching bottom boundary, we perform a data-driven magnetohydrodynamic simulation for the 30 January 2015 confined eruption and successfully reproduce the observed solar flare without a coronal mass ejection. Here we show a Lorentz force component, resulting from the radial magnetic field or the non-axisymmetry of the flux rope, which can essentially constrain the eruption. Our finding contributes to the solar eruption model and presents the necessity of considering the topological structure of a flux rope when studying its eruption behaviour.


title: Triply-degenerate point in three-dimensional spinless systems

abstract: We study the possibility of triply-degenerate points (TPs) that can be stabilized in spinless crystalline systems. Based on an exhaustive search over all 230 space groups, we find that the spinless TPs can exist at both high-symmetry points and high-symmetry paths, and they may have either linear or quadratic dispersions. For TPs located at high-symmetry points, they all share a common minimal set of symmetries, which is the point group $T$. The TP protected solely by the $T$ group is chiral and has a Chern number of $\pm2$. By incorporating additional symmetries, this TP can evolve into chiral pseudospin-1 point, linear TP without chirality, or quadratic contact TP. For accidental TPs residing on a high-symmetry path, they are not chiral but can have either linear or quadratic dispersions in the plane normal to the path. We further construct effective $k\cdot p$ models and minimal lattice models for characterizing these TPs. Distinguished phenomena for the chiral TPs are discussed, including the extensive surface Fermi arcs and the chiral Landau bands.


title: Derivation of wealth distributions from biased exchange of money

abstract: In the manuscript, we are interested in using kinetic theory to better understand the time evolution of wealth distribution and their large scale behavior such as the evolution of inequality (e.g. Gini index). We investigate three type of dynamics denoted unbiased, poor-biased and rich-biased dynamics. At the particle level, one agent is picked randomly based on its wealth and one of its dollar is redistributed among the population. Proving the so-called propagation of chaos, we identify the limit of each dynamics as the number of individual approaches infinity using both coupling techniques [48] and martingale-based approach [36]. Equipped with the limit equation, we identify and prove the convergence to specific equilibrium for both the unbiased and poor-biased dynamics. In the rich-biased dynamics however, we observe a more complex behavior where a dispersive wave emerges. Although the dispersive wave is vanishing in time, its also accumulates all the wealth leading to a Gini approaching 1 (its maximum value). We characterize numerically the behavior of dispersive wave but further analytic investigation is needed to derive such dispersive wave directly from the dynamics.


title: Self-supervised Learning on Graphs: Contrastive, Generative,or Predictive

abstract: Deep learning on graphs has recently achieved remarkable success on a variety of tasks, while such success relies heavily on the massive and carefully labeled data. However, precise annotations are generally very expensive and time-consuming. To address this problem, self-supervised learning (SSL) is emerging as a new paradigm for extracting informative knowledge through well-designed pretext tasks without relying on manual labels. In this survey, we extend the concept of SSL, which first emerged in the fields of computer vision and natural language processing, to present a timely and comprehensive review of existing SSL techniques for graph data. Specifically, we divide existing graph SSL methods into three categories: contrastive, generative, and predictive. More importantly, unlike other surveys that only provide a high-level description of published research, we present an additional mathematical summary of existing works in a unified framework. Furthermore, to facilitate methodological development and empirical comparisons, we also summarize the commonly used datasets, evaluation metrics, downstream tasks, open-source implementations, and experimental study of various algorithms. Finally, we discuss the technical challenges and potential future directions for improving graph self-supervised learning. Latest advances in graph SSL are summarized in a GitHub repository https://github.com/LirongWu/awesome-graph-self-supervised-learning.


title: Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications

abstract: In many autonomy applications, performance of perception algorithms is important for effective planning and control. In this paper, we introduce a framework for computing the probability of satisfaction of formal system specifications given a confusion matrix, a statistical average performance measure for multi-class classification. We define the probability of satisfaction of a linear temporal logic formula given a specific initial state of the agent and true state of the environment. Then, we present an algorithm to construct a Markov chain that represents the system behavior under the composition of the perception and control components such that the probability of the temporal logic formula computed over the Markov chain is consistent with the probability that the temporal logic formula is satisfied by our system. We illustrate this approach on a simple example of a car with pedestrian on the sidewalk environment, and compute the probability of satisfaction of safety requirements for varying parameters of the vehicle. We also illustrate how satisfaction probability changes with varied precision and recall derived from the confusion matrix. Based on our results, we identify several opportunities for future work in developing quantitative system-level analysis that incorporates perception models.


title: CKP hierarchy and free Bosons

abstract: In this paper, free Bosons are used to study some integrable properties of the CKP hierarchy, from the aspects of tau functions. Firstly, the modified CKP hierarchy is constructed by using free Bosons and the corresponding Lax structure is given. Then the constrained CKP hierarchy is found to be related with the modified CKP hierarchy, and the corresponding solutions are derived by using free Bosons. Next by using the relations between the Darboux transformations and the squared eigenfunction symmetries, we express the Darboux transformations of the CKP hierarchy in terms of free Bosons, by which one can better understand the essential of the CKP Darboux transformations. In particular, the additional symmetries of the CKP hierarchy can be viewed as the infinitesimal generator of the CKP Darboux transformations. Based upon these results, we finally obtain the actions of the CKP additional symmetries on the CKP tau functions constructed by free Bosons.


title: Neighbourhood-guided Feature Reconstruction for Occluded Person Re-Identification

abstract: Person images captured by surveillance cameras are often occluded by various obstacles, which lead to defective feature representation and harm person re-identification (Re-ID) performance. To tackle this challenge, we propose to reconstruct the feature representation of occluded parts by fully exploiting the information of its neighborhood in a gallery image set. Specifically, we first introduce a visible part-based feature by body mask for each person image. Then we identify its neighboring samples using the visible features and reconstruct the representation of the full body by an outlier-removable graph neural network with all the neighboring samples as input. Extensive experiments show that the proposed approach obtains significant improvements. In the large-scale Occluded-DukeMTMC benchmark, our approach achieves 64.2% mAP and 67.6% rank-1 accuracy which outperforms the state-of-the-art approaches by large margins, i.e.,20.4% and 12.5%, respectively, indicating the effectiveness of our method on occluded Re-ID problem.


title: Understanding the Effect of Bias in Deep Anomaly Detection

abstract: Anomaly detection presents a unique challenge in machine learning, due to the scarcity of labeled anomaly data. Recent work attempts to mitigate such problems by augmenting training of deep anomaly detection models with additional labeled anomaly samples. However, the labeled data often does not align with the target distribution and introduces harmful bias to the trained model. In this paper, we aim to understand the effect of a biased anomaly set on anomaly detection. Concretely, we view anomaly detection as a supervised learning task where the objective is to optimize the recall at a given false positive rate. We formally study the relative scoring bias of an anomaly detector, defined as the difference in performance with respect to a baseline anomaly detector. We establish the first finite sample rates for estimating the relative scoring bias for deep anomaly detection, and empirically validate our theoretical results on both synthetic and real-world datasets. We also provide an extensive empirical study on how a biased training anomaly set affects the anomaly score function and therefore the detection performance on different anomaly classes. Our study demonstrates scenarios in which the biased anomaly set can be useful or problematic, and provides a solid benchmark for future research.


title: High resolution and sensitivity bi-directional x-ray phase contrast imaging using 2D Talbot array illuminators

abstract: Two-dimensional Talbot array illuminators (TAIs) were designed, fabricated, and evaluated for high-resolution high-contrast x-ray phase imaging of soft tissue at 10-20keV. The TAIs create intensity modulations with a high compression ratio on the micrometer scale at short propagation distances. Their performance was compared with various other wavefront markers in terms of period, visibility, flux efficiency and flexibility to be adapted for limited beam coherence and detector resolution. Differential x-ray phase contrast and dark-field imaging were demonstrated with a one-dimensional, linear phase stepping approach yielding two-dimensional phase sensitivity using Unified Modulated Pattern Analysis (UMPA) for phase retrieval. The method was employed for x-ray phase computed tomography reaching a resolution of 3$\mu$m on an unstained murine artery. It opens new possibilities for three-dimensional, non-destructive, and quantitative imaging of soft matter such as virtual histology. The phase modulators can also be used for various other x-ray applications such as dynamic phase imaging, super-resolution structured illumination microscopy, or wavefront sensing.


title: Explainable Hierarchical Imitation Learning for Robotic Drink Pouring

abstract: To accurately pour drinks into various containers is an essential skill for service robots. However, drink pouring is a dynamic process and difficult to model. Traditional deep imitation learning techniques for implementing autonomous robotic pouring have an inherent black-box effect and require a large amount of demonstration data for model training. To address these issues, an Explainable Hierarchical Imitation Learning (EHIL) method is proposed in this paper such that a robot can learn high-level general knowledge and execute low-level actions across multiple drink pouring scenarios. Moreover, with EHIL, a logical graph can be constructed for task execution, through which the decision-making process for action generation can be made explainable to users and the causes of failure can be traced out. Based on the logical graph, the framework is manipulable to achieve different targets while the adaptability to unseen scenarios can be achieved in an explainable manner. A series of experiments have been conducted to verify the effectiveness of the proposed method. Results indicate that EHIL outperforms the traditional behavior cloning method in terms of success rate, adaptability, manipulability and explainability.


title: Homogenization of Dissipative Hamiltonian Systems under L\'evy Fluctuations

abstract: This work is devoted to deriving small mass limiting equation for a class of Hamiltonian systems with multiplicative L\'evy noise. Derivation of the limiting equation depends on the structure of the stochastic Hamiltonian systems, in which a noise-induced drift term arises. We prove convergence to the limiting equation in probability under appropriate assumptions on smoothness and boundedness. Furthermore, we demonstrate convergence in moment under stronger assumptions. A L\'evy type Smoluchowski-Kramers approximation result is presented as an illustrative example.


title: ExSinGAN: Learning an Explainable Generative Model from a Single Image

abstract: Generating images from a single sample, as a newly developing branch of image synthesis, has attracted extensive attention. In this paper, we formulate this problem as sampling from the conditional distribution of a single image, and propose a hierarchical framework that simplifies the learning of the intricate conditional distributions through the successive learning of the distributions about structure, semantics and texture, making the process of learning and generation comprehensible. On this basis, we design ExSinGAN composed of three cascaded GANs for learning an explainable generative model from a given image, where the cascaded GANs model the distributions about structure, semantics and texture successively. ExSinGAN is learned not only from the internal patches of the given image as the previous works did, but also from the external prior obtained by the GAN inversion technique. Benefiting from the appropriate combination of internal and external information, ExSinGAN has a more powerful capability of generation and competitive generalization ability for the image manipulation tasks compared with prior works.


title: Model-Based Offline Planning with Trajectory Pruning

abstract: The recent offline reinforcement learning (RL) studies have achieved much progress to make RL usable in real-world systems by learning policies from pre-collected datasets without environment interaction. Unfortunately, existing offline RL methods still face many practical challenges in real-world system control tasks, such as computational restriction during agent training and the requirement of extra control flexibility. The model-based planning framework provides an attractive alternative. However, most model-based planning algorithms are not designed for offline settings. Simply combining the ingredients of offline RL with existing methods either provides over-restrictive planning or leads to inferior performance. We propose a new light-weighted model-based offline planning framework, namely MOPP, which tackles the dilemma between the restrictions of offline learning and high-performance planning. MOPP encourages more aggressive trajectory rollout guided by the behavior policy learned from data, and prunes out problematic trajectories to avoid potential out-of-distribution samples. Experimental results show that MOPP provides competitive performance compared with existing model-based offline planning and RL approaches.


title: Numerical Modeling of Kondratyev's Long Waves Taking into Account Heredity

abstract: The paper proposes a new mathematical model of economic cycles and crises, which generalizes the well-known model of Dubovsky S.V. The novelty of the proposed model lies in taking into account the effect of heredity (memory), as well as the introduction of harmonic functions responsible for the arrival of investments in fixed assets and new management technologies in innovation. The mathematical description is given using the Gerasimov-Caputo fractional derivatives, which are studied within the framework of the theory of fractional calculus. The mathematical model was investigated using the numerical method of Adams-Bashforth-Moulton (ABM), phase trajectories were constructed. It is shown that the proposed mathematical model can have both regular and chaotic regimes.


title: Controlled pattern formation of stochastic Cucker-Smale systems with network structures

abstract: We present a new stochastic particle system on networks which describes the flocking behavior and pattern formation. More precisely, we consider Cucker-Smale particles with decentralized formation control and multiplicative noises on symmetric and connected networks. Under suitable assumptions on the initial configurations and the network structure, we establish time-asymptotic stochastic flocking behavior and pattern formation of solutions for the proposed stochastic particle system. Our approach is based on the Lyapunov functional energy estimates, and it does not require any spectral information of the graph associated with the network structure.


title: Order Effects in Bayesian Updates

abstract: Order effects occur when judgments about a hypothesis's probability given a sequence of information do not equal the probability of the same hypothesis when the information is reversed. Different experiments have been performed in the literature that supports evidence of order effects. We proposed a Bayesian update model for order effects where each question can be thought of as a mini-experiment where the respondents reflect on their beliefs. We showed that order effects appear, and they have a simple cognitive explanation: the respondent's prior belief that two questions are correlated. The proposed Bayesian model allows us to make several predictions: (1) we found certain conditions on the priors that limit the existence of order effects; (2) we show that, for our model, the QQ equality is not necessarily satisfied (due to symmetry assumptions); and (3) the proposed Bayesian model has the advantage of possessing fewer parameters than its quantum counterpart.


title: Efficient generation of optical bottle beams

abstract: Optical bottle beams can be used to trap atoms and small low-index particles. We introduce a figure of merit for optical bottle beams, specifically in the context of optical traps, and use it to compare optical bottle-beam traps obtained by three different methods. Using this figure of merit and an optimization algorithm, we identified optical bottle-beam traps based on a Gaussian beam illuminating a metasurface that are superior in terms of power efficiency than existing approaches. We numerically demonstrate a silicon metasurface for creating an optical bottle-beam trap.

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


title: Generating sets for the Kauffman skein module of a family of Seifert fibered spaces

abstract: We study spanning sets for the Kauffman bracket skein module $\mathcal{S}(M,\mathbb{Q}(A))$ of orientable Seifert fibered spaces with orientable base and non-empty boundary. As a consequence, we show that the KBSM of such manifolds is a finitely generated $\mathcal{S}(\partial M, \mathbb{Q}(A))$-module.


title: On the Existence of the Plateau Emission in High-Energy Gamma-Ray Burst LightCurves observed byFermi-LAT

abstract: The Large Area Telescope (LAT) on board the \Fermi Gamma-ray Space Telescope (\Fermi) shows long-lasting high-energy emission in many gamma-ray bursts (GRBs), similar to X-ray afterglows observed by the Neil Gehrels Swift Observatory \citep[\textit{Swift};][]{gehrels2004}. Some LAT light curves (LCs) show a late-time flattening reminiscent of X-ray plateaus. We explore the presence of plateaus in LAT temporally extended emission analyzing GRBs from the second \lat GRB Catalog \citep[2FLGC;][]{Ajello2019apj} from 2008 to May 2016 with known redshifts, and check whether they follow closure relations corresponding to 4 distinct astrophysical environments predicted by the external forward shock (ES) model. We find that three LCs can be fit by the same phenomenological model used to fit X-ray plateaus \citep{Willingale2007} and show tentative evidence for the existence of plateaus in their high-energy extended emission. The most favorable scenario is a slow cooling regime, whereas the preferred density profile for each GRBs varies from a constant density ISM to a $r^{-2}$ wind environment. We also compare the end time of the plateaus in $\gamma$-rays and X-rays using a statistical comparison with 222 \textit{Swift} GRBs with plateaus and known redshifts from January 2005 to August 2019. Within this comparison, the case of GRB 090510 shows an indication of chromaticity at the end time of the plateau. Finally, we update the 3-D fundamental plane relation among the rest frame end time of the plateau, its correspondent luminosity, and the peak prompt luminosity for 222 GRBs observed by \textit{Swift}. We find that these three LAT GRBs follow this relation.


title: Penrose Instabilities and the Emergence of Rogue waves in Sasa-Satsuma equation

abstract: In this paper, we calculate the region of emergence of rogue waves in the Sasa-Satsuma equation by performing Penrose stability analysis. We consider Wigner-transformed Sasa-Satsuma equation and separate out unstable solutions, namely Penrose instability modes. We superpose these modes in a small region. With the help of marginal property of the Wigner transform we identify the region in which rogue wave solution can emerge in the Sasa-Satsuma equation and calculate the amount of spatial localization. We also formulate a condition for the emergence of rogue wave solution in the Sasa-Satsuma equation.


title: Cooperative 3D Beamforming for Small-Cell and Cell-Free 6G Systems

abstract: Three dimensional (3D) resource reuse is an important design requirement for the prospective 6G wireless communication systems. Hence, we propose a cooperative 3D beamformer for use in 3D space. Explicitly, we harness multiple base station antennas for joint zero forcing transmit pre-coding for beaming the transmit signals in specific 3D directions. The technique advocated is judiciously configured for use in both cell-based and cell-free wireless architectures. We evaluated the performance of the proposed scheme using the novel metric of Volumetric Spectral Efficiency (VSE). We also characterized the performance of the scheme in terms of its spectral efficiency (SE) and Bit Error Rate (BER) through extensive simulation studies.