title: Order in the chaos with examples from graph theory

abstract: In randomly created structures (be they natural or artificial) very often there exist ordered substructures. In this Hungarian language scientific essay we will present some of such structures in graph theory. E.g. R\'edei's theorem, Ramsey theory, Tur\'an's problem, Hamiltonian cycles in De Bruijn graphs.


title: CAVER: Cross-Modal View-Mixed Transformer for Bi-Modal Salient Object Detection

abstract: Most of the existing bi-modal (RGB-D and RGB-T) salient object detection methods utilize the convolution operation and construct complex interweave fusion structures to achieve cross-modal information integration. The inherent local connectivity of the convolution operation constrains the performance of the convolution-based methods to a ceiling. In this work, we rethink these tasks from the perspective of global information alignment and transformation. Specifically, the proposed \underline{c}ross-mod\underline{a}l \underline{v}iew-mixed transform\underline{er} (CAVER) cascades several cross-modal integration units to construct a top-down transformer-based information propagation path. CAVER treats the multi-scale and multi-modal feature integration as a sequence-to-sequence context propagation and update process built on a novel view-mixed attention mechanism. Besides, considering the quadratic complexity w.r.t. the number of input tokens, we design a parameter-free patch-wise token re-embedding strategy to simplify operations. Extensive experimental results on RGB-D and RGB-T SOD datasets demonstrate that such a simple two-stream encoder-decoder framework can surpass recent state-of-the-art methods when it is equipped with the proposed components. Code and pretrained models will be available at \href{https://github.com/lartpang/CAVER}{the link}.


title: Spatial Curvature and Large Scale Lorentz Violation

abstract: The tension between the Hubble constant obtained from the local measurements and from cosmic microwave background (CMB) measurements motivated us to consider the cosmological model beyond $\Lambda$CDM one. We investigate the cosmology in the large scale Lorentz violation model with non-vanishing spatial curvature. The degeneracy among spatial curvature, cosmological constant and cosmological contortion distribution makes the model viable in describing the known observation date. We get some constraints on the spatial curvature by the comparison of the relation between measured distance modulus and red-shift with the predicted one, the evolution of matter density over time and the evolution of effective cosmological constant. The performance of large scale Lorentz violation model with non-vanishing spatial curvature under these constrains is discussed.


title: TransBoost: A Boosting-Tree Kernel Transfer Learning Algorithm for Improving Financial Inclusion

abstract: The prosperity of mobile and financial technologies has bred and expanded various kinds of financial products to a broader scope of people, which contributes to advocating financial inclusion. It has non-trivial social benefits of diminishing financial inequality. However, the technical challenges in individual financial risk evaluation caused by the distinct characteristic distribution and limited credit history of new users, as well as the inexperience of newly-entered companies in handling complex data and obtaining accurate labels, impede further promoting financial inclusion. To tackle these challenges, this paper develops a novel transfer learning algorithm (i.e., TransBoost) that combines the merits of tree-based models and kernel methods. The TransBoost is designed with a parallel tree structure and efficient weights updating mechanism with theoretical guarantee, which enables it to excel in tackling real-world data with high dimensional features and sparsity in $O(n)$ time complexity. We conduct extensive experiments on two public datasets and a unique large-scale dataset from Tencent Mobile Payment. The results show that the TransBoost outperforms other state-of-the-art benchmark transfer learning algorithms in terms of prediction accuracy with superior efficiency, shows stronger robustness to data sparsity, and provides meaningful model interpretation. Besides, given a financial risk level, the TransBoost enables financial service providers to serve the largest number of users including those who would otherwise be excluded by other algorithms. That is, the TransBoost improves financial inclusion.


title: Characterizing Retweet Bots: The Case of Black Market Accounts

abstract: Malicious Twitter bots are detrimental to public discourse on social media. Past studies have looked at spammers, fake followers, and astroturfing bots, but retweet bots, which artificially inflate content, are not well understood. In this study, we characterize retweet bots that have been uncovered by purchasing retweets from the black market. We detect whether they are fake or genuine accounts involved in inauthentic activities and what they do in order to appear legitimate. We also analyze their differences from human-controlled accounts. From our findings on the nature and life-cycle of retweet bots, we also point out several inconsistencies between the retweet bots used in this work and bots studied in prior works. Our findings challenge some of the fundamental assumptions related to bots and in particular how to detect them.


title: Vanishing theorems on compact Chern-K\"{a}hler-like Hermitian manifolds

abstract: We show that, under the definiteness of holomorphic sectional curvature, the spaces of some holomorphic tensor fields on compact Chern-K\"{a}hler-like Hermitian manifolds are trivial. These can be viewed as counterparts to Bochner's classical vanishing theorems on compact K\"{a}hler manifolds under the definiteness of Ricci curvature or the existence of K\"{a}hler-Einstein metrics. Our proof is inspired by and based on some ideas due to X. Yang and L. Ni-F. Zheng.


title: A stochastic control approach to bid-ask price modelling

abstract: This paper develops a model for the bid and ask prices of a European type asset by formulating a stochastic control problem. The state process is governed by a modified geometric Brownian motion whose drift and diffusion coefficients depend on a Markov chain. A Girsanov theorem for Markov chains is implemented for the change of coefficients, including the diffusion coefficient which cannot be changed by the usual Girsanov theorem for Brownian motion. The price of a European type asset is then determined using an Esscher transform and a system of partial differential equations. A dynamic programming principle and a maximum/minimum principle associated with the stochastic control problem are then derived to model bid and ask prices. These prices are not quotes of traders or market makers but represent estimates in our model on which reasonable quantities could be traded.


title: State Transfer on Paths with Weighted Loops

abstract: We consider the fidelity of state transfer on an unweighted path on $n$ vertices, where a loop of weight $w$ has been appended at each of the end vertices. It is known that if $w$ is transcendental, then there is pretty good state transfer from one end vertex to the other; we prove a companion result to that fact, namely that there is a dense subset of $[1,\infty)$ such that if $w$ is in that subset, pretty good state transfer between end vertices is impossible. Under mild hypotheses on $w$ and $t$, we derive upper and lower bounds on the fidelity of state transfer between end vertices at readout time $t$. Using those bounds, we localise the readout times for which that fidelity is close to $1$. We also provide expressions for, and bounds on, the sensitivity of the fidelity of state transfer between end vertices, where the sensitivity is with respect to either the readout time or the weight $w$. Throughout, the results rely on detailed knowledge of the eigenvalues and eigenvectors of the associated adjacency matrix.


title: Alpaqa: A matrix-free solver for nonlinear MPC and large-scale nonconvex optimization

abstract: This paper presents alpaqa, an open-source C++ implementation of an augmented Lagrangian method for nonconvex constrained numerical optimization, using the first-order PANOC algorithm as inner solver. The implementation is packaged as an easy-to-use library that can be used in C++ and Python. Furthermore, two improvements to the PANOC algorithm are proposed and their effectiveness is demonstrated in NMPC applications and on the CUTEst benchmarks for numerical optimization. The source code of the alpaqa library is available at https://github.com/kul-optec/alpaqa and binary packages can be installed from https://pypi.org/project/alpaqa .


title: On finitely summable Fredholm modules from Smale spaces

abstract: We prove that all K-homology classes of the stable (and unstable) Ruelle algebra of a Smale space have explicit Fredholm module representatives that are finitely summable on the same smooth subalgebra and with the same degree of summability. The smooth subalgebra is induced by a metric on the underlying Smale space groupoid and fine transversality relations between stable and unstable sets. The degree of summability is related to the fractal dimension of the Smale space. Further, the Fredholm modules are obtained by taking Kasparov products with a fundamental class of the Spanier-Whitehead K-duality between the Ruelle algebras. Finally, we obtain general results on stability under holomorphic functional calculus and construct Lipschitz algebras on \'etale groupoids.


title: Near ultraviolet photonic integrated lasers based on silicon nitride

abstract: Low phase noise lasers based on the combination of III-V semiconductors and silicon photonics are well established in the near-infrared spectral regime. Recent advances in the development of low-loss silicon nitride-based photonic integrated resonators have allowed to outperform bulk external diode and fiber lasers in both phase noise and frequency agility in the 1550 nm-telecommunication window. Here, we demonstrate for the first time a hybrid integrated laser composed of a gallium nitride (GaN) based laser diode and a silicon nitride photonic chip-based microresonator operating at record low wavelengths as low as 410 nm in the near-ultraviolet wavelength region suitable for addressing atomic transitions of atoms and ions used in atomic clocks, quantum computing, or for underwater LiDAR. Using self-injection locking to a high Q (0.4 $\times$ 10$^6$) photonic integrated microresonator we observe a phase noise reduction of the Fabry-P\'erot laser at 461 nm by a factor greater than 100$\times$, limited by the device quality factor and back-reflection.


title: 3rd Place: A Global and Local Dual Retrieval Solution to Facebook AI Image Similarity Challenge

abstract: As a basic task of computer vision, image similarity retrieval is facing the challenge of large-scale data and image copy attacks. This paper presents our 3rd place solution to the matching track of Image Similarity Challenge (ISC) 2021 organized by Facebook AI. We propose a multi-branch retrieval method of combining global descriptors and local descriptors to cover all attack cases. Specifically, we attempt many strategies to optimize global descriptors, including abundant data augmentations, self-supervised learning with a single Transformer model, overlay detection preprocessing. Moreover, we introduce the robust SIFT feature and GPU Faiss for local retrieval which makes up for the shortcomings of the global retrieval. Finally, KNN-matching algorithm is used to judge the match and merge scores. We show some ablation experiments of our method, which reveals the complementary advantages of global and local features.


title: Robust Sequential Online Prediction with Dynamic Ensemble of Multiple Models: A Review

abstract: The use of time series for sequential online prediction (SOP) has long been a research topic, but achieving robust and computationally efficient SOP with non-stationary time series remains a challenge. This paper reviews a framework, called Bayesian Dynamic Ensemble of Multiple Models (BDEMM), which addresses SOP in a theoretically elegant way, and have found widespread use in various fields. BDEMM utilizes a model pool of weighted candidate models, adapted online using Bayesian formalism to capture possible temporal evolutions of the data. This review comprehensively describes BDEMM from five perspectives: its theoretical foundations, algorithms, practical applications, connections to other research, and strengths, limitations, and potential future directions.


title: Backward stochastic differential equations with regime-switching and sublinear expectations

abstract: This paper introduces a backward stochastic differential equation driven by both Brownian motion and a Markov chain (BSDEBM). Regime-switching is also incorporated through its driver. The existence and uniqueness of the solution of the BSDEBM are proved. A comparison theorem is also derived. Filtration consistent sublinear expectations are defined and characterized as solutions to the BSDEBM. The bid and ask prices are then represented using sublinear expectations.


title: Extended model for optimizing high-order harmonic generation in absorbing gases

abstract: We report on an extended version of the one-dimensional model proposed by Constant \emph{et al.} [Phys. Rev. Lett 82(8), 1668 (1999)] to study phase matching of high-order harmonic generation in absorbing and dispersive medium. The model - expanded from zeroth to first order - can be used with media having a pressure profile varying linearly with propagation length. Based on the new formulas, the importance of having a generation medium that ends abruptly with a steep pressure gradient for achieving high flux is highlighted. In addition to further rule-of-thumb guidelines for harmonic-flux optimization, it is shown that having a steep increase of pressure in the beginning of the medium increases harmonic flux, while it also decreases the required medium length to reach the absorption-limited maximum.


title: On the stability and performance of the solution of sparse linear systems by partitioned procedures

abstract: In this paper, we present, evaluate and analyse the performance of parallel synchronous Jacobi algorithms by different partitioned procedures including band-row splitting, band-row sparsity pattern splitting and substructuring splitting, when solving sparse large linear systems. Numerical experiments performed on a set of academic 3D Laplace equation and on a real gravity matrices arising from the Chicxulub crater are exhibited, and show the impact of splitting on parallel synchronous iterations when solving sparse large linear systems. The numerical results clearly show the interest of substructuring methods compared to band-row splitting strategies.


title: Quasiplanar Graphs, String Graphs, and the Erdos-Gallai Problem

abstract: An $r$-quasiplanar graph is a graph drawn in the plane with no $r$ pairwise crossing edges. Let $s \geq 3$ be an integer and $r=2^s$. We prove that there is a constant $C$ such that every $r$-quasiplanar graph with $n \geq r$ vertices has at most $n\left(Cs^{-1}\log n\right)^{2s-4}$ edges. A graph whose vertices are continuous curves in the plane, two being connected by an edge if and only if they intersect, is called a string graph. We show that for every $\epsilon>0$, there exists $\delta>0$ such that every string graph with $n$ vertices, whose chromatic number is at least $n^{\epsilon}$ contains a clique of size at least $n^{\delta}$. A clique of this size or a coloring using fewer than $n^{\epsilon}$ colors can be found by a polynomial time algorithm in terms of the size of the geometric representation of the set of strings. In the process, we use, generalize, and strengthen previous results of Lee, Tomon, and others. All of our theorems are related to geometric variants of the following classical graph-theoretic problem of Erdos, Gallai, and Rogers. Given a $K_r$-free graph on $n$ vertices and an integer $s<r$, at least how many vertices can we find such that the subgraph induced by them is $K_s$-free?


title: LTT-GAN: Looking Through Turbulence by Inverting GANs

abstract: In many applications of long-range imaging, we are faced with a scenario where a person appearing in the captured imagery is often degraded by atmospheric turbulence. However, restoring such degraded images for face verification is difficult since the degradation causes images to be geometrically distorted and blurry. To mitigate the turbulence effect, in this paper, we propose the first turbulence mitigation method that makes use of visual priors encapsulated by a well-trained GAN. Based on the visual priors, we propose to learn to preserve the identity of restored images on a spatial periodic contextual distance. Such a distance can keep the realism of restored images from the GAN while considering the identity difference at the network learning. In addition, hierarchical pseudo connections are proposed for facilitating the identity-preserving learning by introducing more appearance variance without identity changing. Extensive experiments show that our method significantly outperforms prior art in both the visual quality and face verification accuracy of restored results.


title: On Complexity of Computing Bottleneck and Lexicographic Optimal Cycles in a Homology Class

abstract: Homology features of spaces which appear in applications, for instance 3D meshes, are among the most important topological properties of these objects. Given a non-trivial cycle in a homology class, we consider the problem of computing a representative in that homology class which is optimal. We study two measures of optimality, namely, the lexicographic order of cycles (the lex-optimal cycle) and the bottleneck norm (a bottleneck-optimal cycle). We give a simple algorithm for computing the lex-optimal cycle for a 1-homology lass in a closed orientable surface. In contrast to this, our main result is that, in the case of 3-Manifolds of size $n^2$ in the Euclidean 3-space, the problem of finding a bottleneck optimal cycle cannot be solved more efficiently than solving a system of linear equations with an $n \times n$ sparse matrix. From this reduction, we deduce several hardness results. Most notably, we show that for 3-manifolds given as a subset of the 3-space of size $n^2$, persistent homology computations are at least as hard as rank computation (for sparse matrices) while ordinary homology computations can be done in $O(n^2 \log n)$ time. This is the first such distinction between these two computations. Moreover, it follows that the same disparity exists between the height persistent homology computation and general sub-level set persistent homology computation for simplicial complexes in the 3-space.


title: Active Sensing for Search and Tracking: A Review

abstract: Active Position Estimation (APE) is the task of localizing one or more targets using one or more sensing platforms. APE is a key task for search and rescue missions, wildlife monitoring, source term estimation, and collaborative mobile robotics. Success in APE depends on the level of cooperation of the sensing platforms, their number, their degrees of freedom and the quality of the information gathered. APE control laws enable active sensing by satisfying either pure-exploitative or pure-explorative criteria. The former minimizes the uncertainty on position estimation; whereas the latter drives the platform closer to its task completion. In this paper, we define the main elements of APE to systematically classify and critically discuss the state of the art in this domain. We also propose a reference framework as a formalism to classify APE-related solutions. Overall, this survey explores the principal challenges and envisages the main research directions in the field of autonomous perception systems for localization tasks. It is also beneficial to promote the development of robust active sensing methods for search and tracking applications.


title: My(o) Armband Leaks Passwords: An EMG and IMU Based Keylogging Side-Channel Attack

abstract: Wearables that constantly collect various sensor data of their users increase the chances for inferences of unintentional and sensitive information such as passwords typed on a physical keyboard. We take a thorough look at the potential of using electromyographic (EMG) data, a sensor modality which is new to the market but has lately gained attention in the context of wearables for augmented reality (AR), for a keylogging side-channel attack. Our approach is based on neural networks for a between-subject attack in a realistic scenario using the Myo Armband to collect the sensor data. In our approach, the EMG data has proven to be the most prominent source of information compared to the accelerometer and gyroscope, increasing the keystroke detection performance. For our end-to-end approach on raw data, we report a mean balanced accuracy of about 76 % for the keystroke detection and a mean top-3 key accuracy of about 32 % on 52 classes for the key identification on passwords of varying strengths. We have created an extensive dataset including more than 310 000 keystrokes recorded from 37 volunteers, which is available as open access along with the source code used to create the given results.


title: Transform orders and stochastic monotonicity of statistical functionals

abstract: In some inferential statistical methods, such as tests and confidence intervals, it is important to describe the stochastic behavior of statistical functionals, aside from their large sample properties. We study such behavior in terms of the usual stochastic order. For this purpose, we introduce a generalized family of stochastic orders, which is referred to as transform orders, showing that it provides a flexible framework for deriving stochastic monotonicity results. Given that our general definition makes it possible to obtain some well-known ordering relations as particular cases, we can easily apply our method to different families of functionals. These include some prominent inequality measures, such as the generalized entropy, the Gini index, and its generalizations. We also illustrate the applicability of our approach by determining the least favorable distribution, and the behavior of some bootstrap statistics, in some goodness-of-fit testing procedures.


title: Marching with the Pink Parade: Evaluating Visual Search Recommendations for Non-binary Clothing Items

abstract: Fashion, a highly subjective topic is interpreted differently by all individuals. E-commerce platforms, despite these diverse requirements, tend to cater to the average buyer instead of focusing on edge cases like non-binary shoppers. This case study, through participant surveys, shows that visual search on e-commerce platforms like Amazon, Beagle.Vision and Lykdat, is particularly poor for non-binary clothing items. Our comprehensive quantitative analysis shows that these platforms are more robust to binary clothing inputs. The non-binary clothing items are recommended in a haphazard manner, as observed through negative correlation coefficients of the ranking order. The participants also rate the non-binary recommendations lower than the binary ones. Another intriguing observation is that male raters are more inclined to make binary judgements compared to female raters. Thus it is clear that these systems are not inclusive to the minority, disadvantaged communities of society, like LGBTQ+ people. We conclude with a call to action for the e-commerce platforms to take cognizance of our results and be more inclusive.


title: Eight types of qutrit dynamics generated by unitary evolution combined with 2+1 projective measurement

abstract: We classify the Markov chains that can be generated on the set of quantum states by a unitarily evolving 3-dim quantum system (qutrit) that is repeatedly measured with a projective measurement (PVM) consisting of one rank-2 projection and one rank-1 projection. The dynamics of such a system can be visualized as taking place on the union of a Bloch ball and a single point, which correspond to the respective projections. The classification is given in terms of the eigenvalues of the 2x2 matrix that describes the dynamics arising on the Bloch ball, i.e., on the 2-dim subsystem. We also express this classification as the partition of the numerical range of the unitary operator that governs the evolution of the system. As a result, one can easily determine which of the eight possible chain types can be generated with the help of any given unitary.


title: Restricted phase space thermodynamics for AdS black holes via holography

abstract: A new formalism for thermodynamics of AdS black holes called the {\em restricted phase space thermodynamics} (RPST) is proposed. The construction is based on top of Visser's holographic thermodynamics, but with the AdS radius fixed as a constant. Thus the RPST is free of the $(P,V)$ variables but inherits the central charge and chemical potential as a new pair of conjugate thermodynamic variables. In this formalism, the Euler relation and the Gibbs-Duhem equation hold simultaneously with the first law of black hole thermodynamics, which guarantee the appropriate homogeneous behaviors for the black hole mass and the intensive variables. The formalism is checked in detail in the example case of 4-dimensional RN-AdS black hole in Einstein-Maxwell theory, in which some interesting thermodynamic behaviors are revealed.


title: Illuminating Galaxy Evolution at Cosmic Noon with ISCEA: the Infrared Satellite for Cosmic Evolution Astrophysics

abstract: ISCEA (Infrared Satellite for Cosmic Evolution Astrophysics) is a small astrophysics mission whose Science Goal is to discover how galaxies evolved in the cosmic web of dark matter at cosmic noon. Its Science Objective is to determine the history of star formation and its quenching in galaxies as a function of local density and stellar mass when the Universe was 3-5 Gyrs old (1.2<z<2.1). ISCEA is designed to test the Science Hypothesis that during the period of cosmic noon, at 1.7 < z < 2.1, environmental quenching is the dominant quenching mechanism for typical galaxies not only in clusters and groups, but also in the extended cosmic web surrounding these structures. ISCEA meets its Science Objective by making a 10% shot noise measurement of star formation rate down to 6 solar masses per year using H-alpha out to a radius > 10 Mpc in each of 50 protocluster (cluster and cosmic web) fields at 1.2 < z < 2.1. ISCEA measures the star formation quenching factor in those fields, and galaxy kinematics with a precision < 50 km/s to deduce the 3D spatial distribution in each field. ISCEA will transform our understanding of galaxy evolution at cosmic noon. ISCEA is a small satellite observatory with a 30cm equivalent diameter aperture telescope with a FoV of 0.32 deg^2, and a multi-object spectrograph with a digital micro-mirror device (DMD) as its programmable slit mask. ISCEA will obtain spectra of 1000 galaxies simultaneously at an effective resolving power of R=1000, with 2.8"x2.8" slits, over the NIR wavelength range of 1.1 to 2.0 microns, a regime not accessible from the ground without large gaps in coverage. ISCEA will achieve a pointing accuracy of <= 2" FWHM over 200s. ISCEA will be launched into a Low Earth Orbit, with a prime mission of 2.5 years. ISCEA's space-qualification of DMDs opens a new window for spectroscopy from space, enabling revolutionary advances in astrophysics.


title: Superconducting and normal state properties of high entropy alloy Nb-Re-Hf-Zr-Tiinvestigated by muon spin relaxation and rotation

abstract: Superconducting high entropy alloy (HEA) are emerging as a new class of superconducting materials. It provides a unique opportunity to understand the complex interplay of disorder and superconductivity. We report the synthesis and detail bulk and microscopic characterization of Nb$_{60}$Re$_{10}$Zr$_{10}$Hf$_{10}$Ti$_{10}$ HEA alloy using transport, magnetization, specific heat, and muon spin rotation/relaxation ($\mu$SR) measurements. Bulk superconductivity with transition temperature $T_{C}$ = 5.7 K confirmed by magnetization, resistivity, and heat capacity measurements. Zero-field $\mu$SR measurement shows that the superconducting state preserves time-reversal symmetry, and transverse-field measurements of the superfluid density are well described by an isotropic s-wave model.


title: Existence of minimal hypersurfaces with arbitrarily large area and possible obstructions

abstract: We prove that in a closed Riemannian manifold with dimension between $3$ and $7$, either there are minimal hypersurfaces with arbitrarily large area, or there exist uncountably many stable minimal hypersurfaces. Moreover, the latter case has a very pathological Cantor set structure which does not show up in certain manifolds. Among the applications, we prove that there exist minimal hypersurfaces with arbitrarily large area in analytic manifolds. In the proof, we use the Almgren-Pitts min-max theory proposed by Marques-Neves, the ideas developed by Song in his proof of Yau's conjecture, and the resolution of the generic multiplicity-one conjecture by Zhou.


title: Alkalinity Concentration Swing for Direct Air Capture of Carbon Dioxide

abstract: We describe a new principle - the Alkalinity Concentration Swing (ACS) - for direct air capture of carbon dioxide driven by concentrating an alkaline solution that has been exposed to the atmosphere and loaded with dissolved inorganic carbon. Upon concentration, the partial pressure of carbon dioxide increases, allowing for extraction and compression. We find that higher concentration factors result in proportionally higher outgassing pressure, and higher initial alkalinity concentrations at the same concentration factor outgas a higher concentration of CO2 relative to the feed solution. We examine two desalination technologies, reverse osmosis and capacitive deionization, as possible implementation for the ACS, and evaluate two simplified corresponding energy models. We compare the ACS to incumbent technologies and make estimates on water, land, and energy requirements for capturing one million tonnes of CO2 per year. We find that estimates for the lower end of the energy range for both reverse osmosis and capacitive deionization approaches are lower than or roughly equal to incumbent direct air capture approaches. For most conditions, we find an inverse relationship between the required energy and water processing volume per million tonnes of CO2. Realizing the ACS requires a simple alkaline aqueous solvent (e.g. potassium alkalinity carrier) and does not require heat as a driving mechanism. More generally, the ACS can be implemented through industrial-scale desalination approaches, meaning current technology could be leveraged for scale-up.


title: Electron beam irradiation effects on the structure and mechanical properties of PEEK. Part 1

abstract: Effects of electron-beam processing on the structure and mechanical properties of poly-ether-ether ketone (PEEK) were studied by XRD and tribological tests. An ambiguous change in the mechanical properties of the irradiated samples was found. In particular, the wear rate of sample 1 is higher than that of the unirradiated original sample, while it is lower for samples 2-7. Sample 4 had the lowest wear rate, and most likely the changes in the mechanical properties of the samples were due to the transformation of their amorphous component. Comparison of the X-ray spectra of the irradiated and unirradiated samples did not reveal any differences in their crystal structure.


title: A Different Cell Size Approach to Fast Full-Waveform Inversion of Seismic Data

abstract: Understanding the causes of sinkholes and determining the earth's subsurface properties will help Engineering Geologists in designing and constructing different kinds of structures. Also, determining subsurface properties will increase possibilities of preventing expensive structural damages as well as a loss of life. Among the available health monitoring techniques, non-destructive methods play an important role. Full-waveform inversion together with the Gauss-Newton method, which we called as the regular method, able to determine the properties of the subsurface data from seismic data. However, one of the drawbacks of the Gauss-Newton method is a large memory requirement to store the Jacobian matrix. In this work, we use a different cell size approach to address the above issue. Results are validated for a synthetic model with an embedded air-filled void and compared with the regular method.


title: Optimization-Based Separations for Neural Networks

abstract: Depth separation results propose a possible theoretical explanation for the benefits of deep neural networks over shallower architectures, establishing that the former possess superior approximation capabilities. However, there are no known results in which the deeper architecture leverages this advantage into a provable optimization guarantee. We prove that when the data are generated by a distribution with radial symmetry which satisfies some mild assumptions, gradient descent can efficiently learn ball indicator functions using a depth 2 neural network with two layers of sigmoidal activations, and where the hidden layer is held fixed throughout training. By building on and refining existing techniques for approximation lower bounds of neural networks with a single layer of non-linearities, we show that there are $d$-dimensional radial distributions on the data such that ball indicators cannot be learned efficiently by any algorithm to accuracy better than $\Omega(d^{-4})$, nor by a standard gradient descent implementation to accuracy better than a constant. These results establish what is to the best of our knowledge, the first optimization-based separations where the approximation benefits of the stronger architecture provably manifest in practice. Our proof technique introduces new tools and ideas that may be of independent interest in the theoretical study of both the approximation and optimization of neural networks.


title: From homotopy links to stratified homotopy theories

abstract: In previous work, the first author defined homotopy theories for stratified spaces from a simplicial and a topological perspective. In both frameworks stratified weak-equivalences are detected by suitable generalizations of homotopy links. These two frameworks are connected through a stratified version of the classical adjunction between the realization and the functor of singular simplices. Using a modified version of this adjunction, the first author showed that over a fixed poset of strata the two homotopy theories were equivalent. Building on this result we now show that the unmodified adjunction induces an equivalence between the global homotopy theories of stratified spaces and of stratified simplicial sets. We do so through an in depth study of the homotopy links. As a consequence, we prove that the classical homotopy theory of conically stratified spaces embeds fully-faithfully into the homotopy theory of all stratified spaces.


title: Super graphs on groups, I

abstract: Let $G$ be a finite group. A number of graphs with the vertex set $G$ have been studied, including the power graph, enhanced power graph, and commuting graph. These graphs form a hierarchy under the inclusion of edge sets, and it is useful to study them together. In addition, several authors have considered modifying the definition of these graphs by choosing a natural equivalence relation on the group such as equality, conjugacy, or equal orders, and joining two elements if there are elements in their equivalence class that are adjacent in the original graph. In this way, we enlarge the hierarchy into a second dimension. Using the three graph types and three equivalence relations mentioned gives nine graphs, of which in general only two coincide; we find conditions on the group for some other pairs to be equal. These often define interesting classes of groups, such as EPPO groups, $2$-Engel groups, and Dedekind groups. We study some properties of graphs in this new hierarchy. In particular, we characterize the groups for which the graphs are complete, and in most cases, we characterize the dominant vertices (those joined to all others). Also, we give some results about universality, perfectness, and clique number. The paper ends with some open problems and suggestions for further work.


title: Spectroscopic study of Ceres' collisional family candidates

abstract: Context: Despite the observed signs of large impacts on the surface of Ceres, there is no confirmed collisional family associated with this dwarf planet. After a dynamical and photometric study, a sample of 156 asteroids was proposed as candidate members of a Ceres collisional family. Aims: Our main objective is to study the connection between Ceres and a total of 14 observed asteroids among the candidate's sample to explore their genetic relationships with Ceres. Methods: We obtained visible spectra of these 14 asteroids using the OSIRIS spectrograph at the 10.4 m Gran Telescopio Canarias(GTC). We computed spectral slopes in two different wavelength ranges, from 0.49 to 0.80{\mu}m and from 0.80 to 0.92{\mu}m, to compare the values obtained with those on Ceres' surface previously computed using the Visible and Infrared Spectrometer (VIR) instrument onboard the NASA Dawn spacecraft. We also calculated the spectral slopes in the same range for ground-based observations of Cerescollected from the literature. Results: We present the visible spectra and the taxonomy of 14 observed asteroids. We found that only two of the asteroids are spectrally compatible with Ceres' surface. Further analysis of those two asteroids indicates that they are spectrally young and thus less likely to be members of the Ceres family. Conclusions: All in all, our results indicate that most of the 14 observed asteroids are not likely to belong to a Ceres collisional family. Despite two of them being spectrally compatible with the young surface of Ceres, further evaluation is needed to confirm or reject their origin from Ceres.


title: Towards automated verification of multi-party consensus protocols

abstract: Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions. Hyperledger Fabric framework exposes a multi-party consensus, based on endorsement policy protocol, to reach a consensus on a transaction. In this paper, we define a problem of verification of a blockchain multi-party consensus with probabilistic properties. Further, we propose a verification technique of endorsement policies using statistical model checking and hypothesis testing. We analyze several aspects of the policies, including the ability to assign weights to organizations and the refusal probabilities of organizations. We demonstrate on experiments the work of our verification technique and how one can use experimental results to make the model satisfiable the specification. One can use our technique to design enterprise applications with the Hyperledger Fabric framework.


title: Metrics on trees I. The tower algorithm for interval maps

abstract: We consider Milnor's "tower algorithm" in the space of piecewise monotone maps, an iterative algorithm on the space of metrics which unifies, on the one hand, Thurston's iterative scheme which converges to holomorphic models, and, on the other hand, the theory of piecewise linear models coming from kneading theory. We prove that the algorithm converges for unimodal maps of high entropy, and provide examples where it does not converge for unimodal maps of low entropy and multimodal maps of higher degree.


title: VT-CLIP: Enhancing Vision-Language Models with Visual-guided Texts

abstract: Contrastive Language-Image Pre-training (CLIP) has drawn increasing attention recently for its transferable visual representation learning. However, due to the semantic gap within datasets, CLIP's pre-trained image-text alignment becomes sub-optimal on downstream tasks, which severely harms its transferring performance. To better adapt the cross-modality embedding space, we propose to enhance CLIP via Visual-guided Texts, named VT-CLIP. Specifically, we guide textual features of different categories to adaptively explore informative regions on the image and aggregate visual features by attention mechanisms. In this way, the texts become visual-guided, namely, more semantically correlated with downstream images, which greatly benefits the category-wise matching process. In few-shot settings, we evaluate our VT-CLIP on 11 well-known classification datasets to demonstrate its effectiveness.


title: Compactness and stable regularity in multiscale homogenization

abstract: In this paper we develop some new techniques to study the multiscale elliptic equations in the form of $-\text{div} \big(A_\varepsilon \nabla u_{\varepsilon} \big) = 0$, where $A_\varepsilon(x) = A(x, x/\varepsilon_1,\cdots, x/\varepsilon_n)$ is an $n$-scale oscillating periodic coefficient matrix, and $(\varepsilon_i)_{1\le i\le n}$ are scale parameters. We show that the $C^\alpha$-H\"{o}lder continuity with any $\alpha\in (0,1)$ for the weak solutions is stable, namely, the constant in the estimate is uniform for arbitrary $(\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_n) \in (0,1]^n$ and particularly is independent of the ratios between $\varepsilon_i$'s. The proof uses an upgraded method of compactness, involving a scale-reduction theorem by $H$-convergence. The Lipschitz estimate for arbitrary $(\varepsilon_i)_{1\le i\le n}$ still remains open. However, for special laminate structures, i.e., $A_\varepsilon(x) = A(x,x_1/\varepsilon_1, \cdots, x_d/\varepsilon_n)$, we show that the Lipschitz estimate is stable for arbitrary $(\varepsilon_1, \varepsilon_2, \cdots, \varepsilon_n) \in (0,1]^n$. This is proved by a technique of reperiodization.


title: Analysis and application of a lower envelope method for sharp-interface multiphase problems

abstract: We introduce and analyze a lower envelope method (LEM) for the tracking of interfaces motion in multiphase problems. The main idea of the method is to define the phases as the regions where the lower envelope of a set of functions coincides with exactly one of the functions. We show that a variety of complex lower-dimensional interfaces naturally appear in the process. The phases evolution is then achieved by solving a set of transport equations. In the first part of the paper, we show several theoretical properties, give conditions to obtain a well-posed behaviour, and show that the level set method is a particular case of the LEM. In the second part, we propose a LEM-based numerical algorithm for multiphase shape optimization problems. We apply this algorithm to an inverse conductivity problem with three phases and present several numerical results.


title: Quantifying corrections to the hadron resonance gas with lattice QCD

abstract: The hadron resonance gas (HRG) model and its extensions are often used to describe the hadronic phase of strongly interacting matter. In our work we use lattice-QCD simulations with temporal extents of $N_\tau=8,10$ and $12$ to quantify corrections to the ideal HRG. Firstly, we determine a number of subleading fugacity expansion coefficients of the QCD free energy via a two-dimensional scan on the imaginary baryon number chemical potential ($\mu_B$) - strangeness chemical potential ($\mu_S$) plane. Using the aforementioned coefficients, we also extrapolate ratios of baryon number and strangeness fluctuations and correlations to finite chemical potentials via a truncated fugacity expansion. Our results extrapolated along the crossover line $T_\mathrm{c}(\mu_B)$ at strangeness neutrality are able to reproduce trends of experimental net-proton fluctuations measured by the STAR Collaboration.


title: Asymptotics of Schwartz functions: nonarchimedean

abstract: Let $G$ be a split, simply connected, simple group, and let $P\le G$ be a maximal parabolic. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $X_P^\circ:=P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. In the nonarchimedean setting when $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. In addition, we prove that the quotient of the Schwartz space by the space of compactly supported smooth functions on the open orbit is of finite length and we describe its subquotients. Finally, we use our work to study the set of possible poles of degenerate Eisenstein series under certain assumption at archimedean places.


title: Favorable Propagation for Massive MIMO with Circular and Cylindrical Antenna Arrays

abstract: Massive MIMO systems with uniform circular and cylindrical antenna arrays are studied. Favorable propagation property is rigorously shown to hold asymptotically in LOS environment for a fixed antenna spacing and under some mild conditions. The analysis is based on a novel method using a Bessel function expansion, a new bounding technique and a simplified representation of inter-user interference for array geometries obeying Kronecker structure.


title: Invalidation-Based Protocols for Replicated Datastores

abstract: Distributed in-memory datastores underpin cloud applications that run within a datacenter and demand high performance, strong consistency, and availability. A key feature of datastores is data replication. The data are replicated across servers because a single server often cannot handle the request load. Replication is also necessary to guarantee that a server or link failure does not render a portion of the dataset inaccessible. A replication protocol is responsible for ensuring strong consistency between the replicas of a datastore, even when faults occur, by determining the actions necessary to access and manipulate the data. Consequently, a replication protocol also drives the datastore's performance. Existing strongly consistent replication protocols deliver fault tolerance but fall short in terms of performance. Meanwhile, the opposite occurs in the world of multiprocessors, where data are replicated across the private caches of different cores. The multiprocessor regime uses invalidations to afford strongly consistent replication with high performance but neglects fault tolerance. Although handling failures in the datacenter is critical for data availability, we observe that the common operation is fault-free and far exceeds the operation during faults. In other words, the common operating environment inside a datacenter closely resembles that of a multiprocessor. Based on this insight, we draw inspiration from the multiprocessor for high-performance, strongly consistent replication in the datacenter. The primary contribution of this thesis is in adapting invalidating protocols to the nuances of replicated datastores, which include skewed data accesses, fault tolerance, and distributed transactions.


title: Considering user dynamic preferences for mitigating negative effects of long tail in recommender systems

abstract: Nowadays, with the increase in the amount of information generated in the webspace, many web service providers try to use recommender systems to personalize their services and make accessing the content convenient. Recommender systems that only try to increase the accuracy (i.e., the similarity of items to users' interest) will face the long tail problem. It means that popular items called short heads appear in the recommendation lists more than others since they have many ratings. However, unpopular items called long-tail items are used less than popular ones as they reduce accuracy. Other studies that solve the long-tail problem consider users' interests constant while their preferences change over time. We suggest that users' dynamic preferences should be taken into account to prevent the loss of accuracy when we use long-tail items in recommendation lists. This study shows that the two reasons lie in the following: 1) Users rate for different proportions of popular and unpopular items over time. 2) Users of all ages have various interests in popular and unpopular items. As a result, recommendation lists can be created over time with a different portion of long-tail and short-head items. Besides, we predict the age of users based on item ratings to use more long-tail items. The results show that by considering these two reasons, the accuracy of recommendation lists reaches 91%. At the same time, the long tail problem is better improved than other related research and provides better diversity in recommendation lists in the long run.


title: On the index of pseudo B-Fredholm operator

abstract: The index of a pseudo B-Fredholm operator will be defined and generalize the usual index of a B-Fredholm operator. This concept will be used to extend some known results in Fredholm's theory. Among other results, the nullity, the deficiency, the ascent and the descent will be extended and defined for a pseudo-Fredholm operator.


title: The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

abstract: We define the symmetric Post Correspondence Problem (PCP) and prove that it is undecidable. As an application we show that the original proof of undecidability of the freeness problem for 3-by-3 integer matrix semigroups works for the symmetric PCP, but not for the PCP in general.


title: Understanding Dynamic Spatio-Temporal Contexts in Long Short-Term Memory for Road Traffic Speed Prediction

abstract: Reliable traffic flow prediction is crucial to creating intelligent transportation systems. Many big-data-based prediction approaches have been developed but they do not reflect complicated dynamic interactions between roads considering time and location. In this study, we propose a dynamically localised long short-term memory (LSTM) model that involves both spatial and temporal dependence between roads. To do so, we use a localised dynamic spatial weight matrix along with its dynamic variation. Moreover, the LSTM model can deal with sequential data with long dependency as well as complex non-linear features. Empirical results indicated superior prediction performances of the proposed model compared to two different baseline methods.


title: Classical physics and blackbody radiation

abstract: We investigate the properties of the blackbody spectrum by direct numerical solution of the classical equations of motion of a one-dimensional model that contains the essential general features of the field-matter interaction. Our results, which do not rely on any statistical assumption, show that the classical blackbody spectrum exhibits remarkable properties: (i) a quasistationary state characterized by scaling properties, (ii) consistency with the Stefan-Boltzmann law, and (iii) a high-frequency cutoff. Our work is a preliminary step in the understanding of statistical properties of infinite dimensional systems.


title: Is the recently discovered large scale filamentary feature Cattail in the cold or unstable phase?

abstract: A recent publication (Li et al. 2021) discovered one of the largest filamentary neutral hydrogen features dubbed Cattail from high resolution FAST observations that might be a new galactic arm of our own Milky Way. However in the analysis, it was suggested that this neutral hydrogen feature is cold despite having 12km/s total linewidth. We evaluate the probability whether the Cattail is actually cold neutral media via the newly developed Velocity Decomposition Algorithm (Yuen et al. 2021a) and Force Balancing Model (Ho et al. 2021a). We discovered that even with the inclusion of the galactic shear term, the feature is still at the unstable neutral media regime. Moreover, we also discover that the Cattail is two disjoint features in caustics space, suggesting that the Cattail might have two different turbulent systems. We check the spectra of the individual system separated via VDA to confirm this argument. We do not exclude the existence of smaller scale cold media being embedded within this structure.


title: Making Access Control Easy in IoT

abstract: Secure installation of Internet of Things (IoT) devices requires configuring access control correctly for each device. In order to enable correct configuration the Manufacturer Usage Description (MUD) has been developed by Internet Engineering Task Force (IETF) to automate the protection of IoT devices by micro-segmentation using dynamic access control lists. The protocol defines a conceptually straightforward method to implement access control upon installation by providing a list of every authorized access for each device. This access control list may contain a few rules or hundreds of rules for each device. As a result, validating these rules is a challenge. In order to make the MUD standard more usable for developers, system integrators, and network operators, we report on an interactive system called MUD-Visualizer that visualizes the files containing these access control rules. We show that, unlike manual analysis, the level of the knowledge and experience does not affect the accuracy of the analysis when MUD-Visualizer is used, indicating that the tool is effective for all participants in our study across knowledge and experience levels.


title: PointCLIP: Point Cloud Understanding by CLIP

abstract: Recently, zero-shot and few-shot learning via Contrastive Vision-Language Pre-training (CLIP) have shown inspirational performance on 2D visual recognition, which learns to match images with their corresponding texts in open-vocabulary settings. However, it remains under explored that whether CLIP, pre-trained by large-scale image-text pairs in 2D, can be generalized to 3D recognition. In this paper, we identify such a setting is feasible by proposing PointCLIP, which conducts alignment between CLIP-encoded point cloud and 3D category texts. Specifically, we encode a point cloud by projecting it into multi-view depth maps without rendering, and aggregate the view-wise zero-shot prediction to achieve knowledge transfer from 2D to 3D. On top of that, we design an inter-view adapter to better extract the global feature and adaptively fuse the few-shot knowledge learned from 3D into CLIP pre-trained in 2D. By just fine-tuning the lightweight adapter in the few-shot settings, the performance of PointCLIP could be largely improved. In addition, we observe the complementary property between PointCLIP and classical 3D-supervised networks. By simple ensembling, PointCLIP boosts baseline's performance and even surpasses state-of-the-art models. Therefore, PointCLIP is a promising alternative for effective 3D point cloud understanding via CLIP under low resource cost and data regime. We conduct thorough experiments on widely-adopted ModelNet10, ModelNet40 and the challenging ScanObjectNN to demonstrate the effectiveness of PointCLIP. The code is released at https://github.com/ZrrSkywalker/PointCLIP.


title: Systematic KMTNet Planetary Anomaly Search, Paper III: One Wide-Orbit Planet And Two Stellar Binaries

abstract: Only a few wide-orbit planets around old stars have been detected, which limits our statistical understanding of this planet population. Following the systematic search for planetary anomalies in microlensing events found by the Korea Microlensing Telescope Network (KMTNet), we present the discovery and analysis of three events that were initially thought to contain wide-orbit planets. The anomalous feature in the light curve of OGLE-2018-BLG-0383 is caused by a planet with mass ratio $q=2.1\times 10^{-4}$ and a projected separation $s=2.45$. This makes it the lowest mass-ratio microlensing planet at such wide orbits. The other two events, KMT-2018-BLG-0998 and OGLE-2018-BLG-0271, are shown to be stellar binaries ($q>0.1$) with rather close ($s<1$) separations. We briefly discuss the properties of known wide-orbit microlensing planets and show that the survey observations are crucial in discovering and further statistically constraining such a planet population.


title: Magnetically Induced Anisotropies in the Arrival Directions of Ultra-high-energy Cosmic Rays from Nearby Radio Galaxies

abstract: Detailed simulations of the arrival directions of ultra-high energy cosmic rays are performed under the assumption of strong and structured extragalactic magnetic field (EGMF) models. Particles leaving Centaurus A, Virgo A, and Fornax A are propagated to Earth, and the simulated anisotropic signal is compared to the dipole and hotspots published by the Pierre Auger and Telescope Array Collaborations. The dominance of the EGMF structure on the arrival directions of events generated in local sources is shown. The absence of events from the Virgo A direction is related to the strong deviation caused by the EGMF. Evidence that these three sources contribute to an excess of events in the direction of the three detected hotspots is presented. Under the EGMF considered here, M82 is shown to have no contribution to the hotspot measured by the Telescope Array Observatory.


title: Gated2Gated: Self-Supervised Depth Estimation from Gated Images

abstract: Gated cameras hold promise as an alternative to scanning LiDAR sensors with high-resolution 3D depth that is robust to back-scatter in fog, snow, and rain. Instead of sequentially scanning a scene and directly recording depth via the photon time-of-flight, as in pulsed LiDAR sensors, gated imagers encode depth in the relative intensity of a handful of gated slices, captured at megapixel resolution. Although existing methods have shown that it is possible to decode high-resolution depth from such measurements, these methods require synchronized and calibrated LiDAR to supervise the gated depth decoder -- prohibiting fast adoption across geographies, training on large unpaired datasets, and exploring alternative applications outside of automotive use cases. In this work, we fill this gap and propose an entirely self-supervised depth estimation method that uses gated intensity profiles and temporal consistency as a training signal. The proposed model is trained end-to-end from gated video sequences, does not require LiDAR or RGB data, and learns to estimate absolute depth values. We take gated slices as input and disentangle the estimation of the scene albedo, depth, and ambient light, which are then used to learn to reconstruct the input slices through a cyclic loss. We rely on temporal consistency between a given frame and neighboring gated slices to estimate depth in regions with shadows and reflections. We experimentally validate that the proposed approach outperforms existing supervised and self-supervised depth estimation methods based on monocular RGB and stereo images, as well as supervised methods based on gated images.


title: Predicting Bandwidth Utilization on Network Links Using Machine Learning

abstract: Predicting the bandwidth utilization on network links can be extremely useful for detecting congestion in order to correct them before they occur. In this paper, we present a solution to predict the bandwidth utilization between different network links with a very high accuracy. A simulated network is created to collect data related to the performance of the network links on every interface. These data are processed and expanded with feature engineering in order to create a training set. We evaluate and compare three types of machine learning algorithms, namely ARIMA (AutoRegressive Integrated Moving Average), MLP (Multi Layer Perceptron) and LSTM (Long Short-Term Memory), in order to predict the future bandwidth consumption. The LSTM outperforms ARIMA and MLP with very accurate predictions, rarely exceeding a 3\% error (40\% for ARIMA and 20\% for the MLP). We then show that the proposed solution can be used in real time with a reaction managed by a Software-Defined Networking (SDN) platform.


title: YourTTS: Towards Zero-Shot Multi-Speaker TTS and Zero-Shot Voice Conversion for everyone

abstract: YourTTS brings the power of a multilingual approach to the task of zero-shot multi-speaker TTS. Our method builds upon the VITS model and adds several novel modifications for zero-shot multi-speaker and multilingual training. We achieved state-of-the-art (SOTA) results in zero-shot multi-speaker TTS and results comparable to SOTA in zero-shot voice conversion on the VCTK dataset. Additionally, our approach achieves promising results in a target language with a single-speaker dataset, opening possibilities for zero-shot multi-speaker TTS and zero-shot voice conversion systems in low-resource languages. Finally, it is possible to fine-tune the YourTTS model with less than 1 minute of speech and achieve state-of-the-art results in voice similarity and with reasonable quality. This is important to allow synthesis for speakers with a very different voice or recording characteristics from those seen during training.


title: Post-Newtonian non-equilibrium kinetic theory

abstract: The post-Newtonian hydrodynamic equations for a non-perfect fluid are developed within the framework of a post-Newtonian Boltzmann equation. The post-Newtonian components of the energy-momentum tensor are determined by considering the relativistic Eckart decomposition for a viscous and heat conducting fluid. From the relativistic Grad distribution function its post-Newtonian expression is derived. The hydrodynamic equations for the mass density, mass-energy density and momentum density are determined from a post-Newtonian transfer equation and Grad's distribution function. In the non-relativistic limit the Newtonian hydrodynamic equations for mass, momentum and energy densities are recovered.


title: Bounding the Kirby-Thompson invariant of spun knots

abstract: A bridge trisection of a smooth surface in $S^4$ is a decomposition analogous to a bridge splitting of a link in $S^3$. The Kirby-Thompson invariant of a bridge trisection measures its complexity in terms of distances between disc sets in the pants complex of the trisection surface. We give the first significant bounds for the Kirby-Thompson invariant of spun knots. In particular, we show that the Kirby-Thompson invariant of the spun trefoil is 15.


title: Nonparametric mixture MLEs under Gaussian-smoothed optimal transport distance

abstract: The Gaussian-smoothed optimal transport (GOT) framework, pioneered in Goldfeld et al. (2020) and followed up by a series of subsequent papers, has quickly caught attention among researchers in statistics, machine learning, information theory, and related fields. One key observation made therein is that, by adapting to the GOT framework instead of its unsmoothed counterpart, the curse of dimensionality for using the empirical measure to approximate the true data generating distribution can be lifted. The current paper shows that a related observation applies to the estimation of nonparametric mixing distributions in discrete exponential family models, where under the GOT cost the estimation accuracy of the nonparametric MLE can be accelerated to a polynomial rate. This is in sharp contrast to the classical sub-polynomial rates based on unsmoothed metrics, which cannot be improved from an information-theoretical perspective. A key step in our analysis is the establishment of a new Jackson-type approximation bound of Gaussian-convoluted Lipschitz functions. This insight bridges existing techniques of analyzing the nonparametric MLEs and the new GOT framework.


title: Counter-diabatic driving in the classical $\beta$-Fermi-Pasta-Ulam-Tsingou chain

abstract: Shortcuts to adiabaticity (STAs) have been used to make rapid changes to a system while eliminating or minimizing excitations in the system's state. In quantum systems, these shortcuts allow us to minimize inefficiencies and heating in experiments and quantum computing protocols, but the theory of STAs can also be generalized to classical systems. We focus on one such STA, approximate counter-diabatic (ACD) driving, and numerically compare its performance in two classical systems: a quartic anharmonic oscillator and the $\beta$ Fermi-Pasta-Ulam-Tsingou (FPUT) lattice. In particular, we modify an existing variational technique to optimize the approximate driving and then develop classical figures of merit to quantify the performance of the driving. We find that relatively simple forms for the ACD driving can dramatically suppress excitations regardless of system size. ACD driving in classical nonlinear oscillators could have many applications, from minimizing heating in bosonic gases to finding optimal local dressing protocols in interacting field theories.


title: Leonid Shilnikov and mathematical theory of dynamical chaos

abstract: This Focus Issue Global Bifurcations, Chaos, and Hyperchaos Theory and Applications is dedicated to the 85th anniversary of the great mathematician, one of the founding fathers of dynamical chaos theory, Leonid Pavlovich Shilnikov.


title: Variational Wasserstein gradient flow

abstract: Wasserstein gradient flow has emerged as a promising approach to solve optimization problems over the space of probability distributions. A recent trend is to use the well-known JKO scheme in combination with input convex neural networks to numerically implement the proximal step. The most challenging step, in this setup, is to evaluate functions involving density explicitly, such as entropy, in terms of samples. This paper builds on the recent works with a slight but crucial difference: we propose to utilize a variational formulation of the objective function formulated as maximization over a parametric class of functions. Theoretically, the proposed variational formulation allows the construction of gradient flows directly for empirical distributions with a well-defined and meaningful objective function. Computationally, this approach replaces the computationally expensive step in existing methods, to handle objective functions involving density, with inner loop updates that only require a small batch of samples and scale well with the dimension. The performance and scalability of the proposed method are illustrated with the aid of several numerical experiments involving high-dimensional synthetic and real datasets.


title: Low Noise Frequency Domain Multiplexing of TES Bolometers using Sub-kelvin SQUIDs

abstract: Digital Frequency-Domain Multiplexing (DfMux) is a technique that uses MHz superconducting resonators and Superconducting Quantum Interference Device (SQUID) arrays to read out sets of Transition Edge Sensors. DfMux has been used by several Cosmic Microwave Background experiments, including most recently POLARBEAR-2 and SPT-3G with multiplexing factors as high as 68, and is the baseline readout technology for the planned satellite mission LiteBIRD. Here, we present recent work focused on improving DfMux readout noise, reducing parasitic impedance, and improving sensor operation. We have achieved a substantial reduction in stray impedance by integrating the sensors, resonators, and SQUID array onto a single carrier board operated at 250 mK. This also drastically simplifies the packaging of the cryogenic components and leads to better-controlled crosstalk. We demonstrate a low readout noise level of 8.6 pA/Hz$^{-1/2}$, which was made possible by operating the SQUID array at a reduced temperature and with a low dynamic impedance. This is a factor of two improvement compared to the achieved readout noise level in currently operating Cosmic Microwave Background experiments using DfMux and represents a critical step toward maturation of the technology for the next generation of instruments.


title: Quantum Simulations of Loop Quantum Gravity

abstract: Loop Quantum Gravity (LQG) is one of the leading approaches to unify quantum physics and General Relativity (GR). The Hilbert space of LQG is spanned by spin-networks which describe the local geometry of quantum space-time. Simulation of LQG spin-network states and their dynamics is classically intractable and is widely believed to fall in the Bounded Quantum Polynomial (BQP) time complexity class. There have been many recent attempts to simulate these states using novel and off the shelf quantum computing technologies. In this article, we review three such efforts which utilize superconducting qubits, linear optical qubits and Nuclear Magnetic Resonance (NMR) qubits respectively. The articles chosen for this review represent state of the art in quantum simulations of LQG.


title: Efficient Deterministic Quantitative Group Testing for Precise Information Retrieval

abstract: The Quantitative Group Testing (QGT) is about learning a (hidden) subset $K$ of some large domain $N$ using a sequence of queries, where a result of a query provides information about the size of the intersection of the query with the unknown subset $K$. Almost all previous work focused on randomized algorithms minimizing the number of queries; however, in case of large domains $N$, randomization may result in a significant deviation from the expected precision. Others assumed unlimited computational power (existential results) or adaptiveness of queries. In this work we propose efficient non-adaptive deterministic QGT algorithms for constructing queries and deconstructing a hidden set $K$ from the results of the queries, without using randomization, adaptiveness or unlimited computational power. The efficiency is three-fold. First, in terms of almost-optimal number of queries - we improve it by factor nearly $|K|$ comparing to previous constructive results. Second, our algorithms construct the queries and reconstruct set $K$ in polynomial time. Third, they work for any hidden set $K$, as well as multi-sets, and even if the results of the queries are capped at $\sqrt{|K|}$. We also analyze how often elements occur in queries and its impact to parallelization and fault-tolerance of the query system.


title: Algebraic versus geometric categorification of the~Alexander polynomial: a~spectral sequence

abstract: We construct a bigraded spectral sequence from the gl(0)-homology to knot Floer homology. This spectral sequence is of Bockstein type and comes from a subtle manipulation of coefficients. The main tools are quantum traces of foams and of singular Soergel bimodules.


title: 4H-Silicon Carbide as particle detector for high-intensity ion beams

abstract: In ion cancer therapy, high-intensity ion beams are used to treat tumors by taking advantage of the Bragg-Peak. Typical ion therapy centers use particle rates up to $10^{10}$ ions/second for treatment. On the other hand, such intensities are often too high when using these beamlines for particle physics experiments or as a test-beam environment in general. The project presented here aims to develop a beam position and intensity monitor, to cover a wide intensity range from a few Hz up to GHz rates, as used in clinical settings. Silicon carbide (SiC) is an attractive detector material for this application because it combines potential high radiation hardness with high thermal conductivity to avoid cooling. Moreover, its high electron saturation velocity allows very fast signals to mitigate pile-ups. However, some special properties of the material like different crystal polytypes have to be considered. In this paper, measurements on both a pad and a micro-strip SiC sensor prototype of 4H lattice geometry are shown. The sensors were tested in the laboratory using radioactive sources and with a proton beam in a wide intensity range (kHz-GHz) and with different energies (60-800 MeV) available at MedAustron, an ion cancer therapy center located in Austria. The measurements show that MIP particles cannot be detected reliably with the used discrete electronics setup in combination with the single-channel sensor. However, the strip sensor combined with an ASIC-based readout electronics from the CMS/Belle-II experiments allows to recover a certain part of the signal. This makes it possible to determine the ionization energy and average number of electron/hole pairs generated in the studied sensor samples.


title: Aschbacher's Theorem for the General Linear Group

abstract: In 1984, Michael Aschbacher proved a seminal classification theorem for the maximal subgroups of effectively all of the classical groups. In this thesis we give a comprehensive, yet accessible description and proof of Aschbacher's theorem, restricting its scope to the general linear group. The main theorem of this paper classifies the maximal subgroups of the general linear group into nine different classes; eight of which have natural descriptions based on an object that their members act on and stabilise, whilst the ninth class - though not having such a natural description - contains groups that are bound by the property of having a unique normal quasisimple subgroup that acts absolutely irreducibly on the vector space. We give a detailed description of each of the first eight classes before proving that if a subgroup is not contained in a member of one of them, then it must have the properties that make up the ninth class. This paper uses techniques that cross over the fields of group theory, linear algebra and representation theory and it is approachable for anyone with an undergraduate understanding of these subjects.


title: Ideals of general linear Lie algebras of infinite-dimensional vector spaces

abstract: Let V be an infinite-dimensional vector space over a field of characteristic not equal to 2. We classify ideals of the Lie algebra gl(V) of all linear transformations of the space V.


title: Convergence of a class of fully non-linear parabolic equations on Hermitian manifolds

abstract: We consider a class of fully non-linear parabolic equations on compact Hermitian manifolds involving symmetric functions of partial Laplacians. Under fairly general assumptions, we show the long time existence and convergence of solutions. We also derive a Harnack inequality for the linearized equation which is used in the proof of convergence.


title: Functional Task Tree Generation from a Knowledge Graph to Solve Unseen Problems

abstract: A major component for developing intelligent and autonomous robots is a suitable knowledge representation, from which a robot can acquire knowledge about its actions or world. However, unlike humans, robots cannot creatively adapt to novel scenarios, as their knowledge and environment are rigidly defined. To address the problem of producing novel and flexible task plans called task trees, we explore how we can derive plans with concepts not originally in the robot's knowledge base. Existing knowledge in the form of a knowledge graph is used as a base of reference to create task trees that are modified with new object or state combinations. To demonstrate the flexibility of our method, we randomly selected recipes from the Recipe1M+ dataset and generated their task trees. The task trees were then thoroughly checked with a visualization tool that portrays how each ingredient changes with each action to produce the desired meal. Our results indicate that the proposed method can produce task plans with high accuracy even for never-before-seen ingredient combinations.


title: Initial mixed-boundary value problem for anisotropic fractional degenerate parabolic equations

abstract: We consider an initial mixed-boundary value problem for anisotropic fractional type degenerate parabolic equations posed in bounded domains. Namely, we consider that the boundary of the domain splits into two parts. In one of them, we impose a Dirichlet boundary condition and in the another one a Neumann condition. Under this mixed-boundary condition, we show the existence of solutions for measurable and bounded non-negative initial data. The nonlocal anisotropic diffusion effect relies on an inverse of a s-fractional type elliptic operator, and the solvability is proved for any s in (0, 1).


title: Hyperk\"ahler manifolds

abstract: We give an elementary introduction to hyperk\"ahler manifolds, survey some of their interesting properties and some open problems.


title: On the number of high-dimensional partitions

abstract: Let $P_{d}(n)$ denote the number of $n \times \ldots \times n$ $d$-dimensional partitions with entries from $\left\{0,1,\ldots,n\right\}$. Building upon the works of Balogh-Treglown-Wagner and Noel-Scott-Sudakov, we show that when $d \to \infty$, $$P_{d}(n) = 2^{(1+o_{d}(1)) \sqrt{\frac{6}{(d+1)\pi}} \cdot n^{d}}$$ holds for all $n \geq 1$. This makes progress towards a conjecture of Moshkovitz-Shapira [{\it{Adv. in Math.}} 262 (2014), 1107--1129]. Via the main result of Moshkovitz and Shapira, our estimate also determines asymptotically a Ramsey theoretic parameter related to Erd\H{o}s-Szekeres-type functions, thus solving a problem of Fox, Pach, Sudakov, and Suk [{\it{Proc. Lond. Math. Soc.}} 105 (2012), 953--982]. Our main result is a new supersaturation theorem for antichains in $[n]^{d}$, which may be of independent interest.


title: Special cubic fourfolds, K3 surfaces and the Franchetta property

abstract: O'Grady conjectured that the Chow group of 0-cycles of the generic fiber of the universal family over the moduli space of polarized K3 surfaces of genus g is cyclic. This so-called generalized Franchetta conjecture has been solved only for low genera where there is a Mukai model (precisely, when g<11 and g=12, 13, 16, 18, 20), by the work of Pavic--Shen--Yin. In this paper, as a non-commutative analog, we study the Franchetta property for families of special cubic fourfolds (in the sense of Hassett) and relate it to O'Grady's conjecture for K3 surfaces. Most notably, by using special cubic fourfolds of discriminant 26, we prove O'Grady's generalized Franchetta conjecture for g=14, providing the first evidence beyond Mukai models.


title: Modelling of Geomagnetically Induced Currents in the Czech Transmission Grid

abstract: We investigate the maximum expected magnitudes of the geomagnetically induced currents (GICs) in the Czech transmission power network. We compute a model utilising the Lehtinen-Pirjola method, considering the plane-wave model of the geoelectric field, and using the transmission network parameters kindly provided by the operator. We find that the maximum amplitudes expected in the nodes of the Czech transmission grid during the Halloween storm-like event are about 15 A. For the "extreme-storm" conditions with a 1-V/km geoelectric field, the expected maxima do not exceed 40 A. We speculate that the recently proven statistical correlation between the increased geomagnetic activity and anomaly rate in the power grid may be due to the repeated exposure of the devices to the low-amplitude GICs.


title: Deep Learning on Mobile Devices Through Neural Processing Units and Edge Computing

abstract: Deep Neural Network (DNN) is becoming adopted for video analytics on mobile devices. To reduce the delay of running DNNs, many mobile devices are equipped with Neural Processing Units (NPU). However, due to the resource limitations of NPU, these DNNs have to be compressed to increase the processing speed at the cost of accuracy. To address the low accuracy problem, we propose a Confidence Based Offloading (CBO) framework for deep learning video analytics. The major challenge is to determine when to return the NPU classification result based on the confidence level of running the DNN, and when to offload the video frames to the server for further processing to increase the accuracy. We first identify the problem of using existing confidence scores to make offloading decisions, and propose confidence score calibration techniques to improve the performance. Then, we formulate the CBO problem where the goal is to maximize accuracy under some time constraint, and propose an adaptive solution that determines which frames to offload at what resolution based on the confidence score and the network condition. Through real implementations and extensive evaluations, we demonstrate that the proposed solution can significantly outperform other approaches.


title: CBI-time-changed L\'evy processes for multi-currency modeling

abstract: We develop a stochastic volatility framework for modeling multiple currencies based on CBI-time-changed L\'evy processes. The proposed framework captures the typical risk characteristics of FX markets and is coherent with the symmetries of FX rates. Moreover, due to the self-exciting behavior of CBI processes, the volatilities of FX rates exhibit self-exciting dynamics. By relying on the theory of affine processes, we show that our approach is analytically tractable and that the model structure is invariant under a suitable class of risk-neutral measures. A semi-closed pricing formula for currency options is obtained by Fourier methods. We propose two calibration methods, also by relying on deep-learning techniques, and show that a simple specification of the model can achieve a good fit to market data on a currency triangle.


title: DNN-based Policies for Stochastic AC OPF

abstract: A prominent challenge to the safe and optimal operation of the modern power grid arises due to growing uncertainties in loads and renewables. Stochastic optimal power flow (SOPF) formulations provide a mechanism to handle these uncertainties by computing dispatch decisions and control policies that maintain feasibility under uncertainty. Most SOPF formulations consider simple control policies such as affine policies that are mathematically simple and resemble many policies used in current practice. Motivated by the efficacy of machine learning (ML) algorithms and the potential benefits of general control policies for cost and constraint enforcement, we put forth a deep neural network (DNN)-based policy that predicts the generator dispatch decisions in real time in response to uncertainty. The weights of the DNN are learnt using stochastic primal-dual updates that solve the SOPF without the need for prior generation of training labels and can explicitly account for the feasibility constraints in the SOPF. The advantages of the DNN policy over simpler policies and their efficacy in enforcing safety limits and producing near optimal solutions are demonstrated in the context of a chance constrained formulation on a number of test cases.


title: Ab initio nucleon-nucleus elastic scattering with chiral effective field theory uncertainties

abstract: Background: Effective interactions for nucleon-nucleus ($NA$) elastic scattering from first principles require the use of the same nucleon-nucleon ($NN$) interaction in the structure and reaction calculations, and a consistent treatment of the relevant operators at each order. Purpose: Truncation uncertainties of chiral $NN$ forces have been studied for scattering observables in few-body systems and for bound state properties of light nuclei. We extend this to $NA$ elastic scattering. Methods: With the spectator expansion of multiple scattering theory and the no-core shell model, we use a chiral interaction from the LENPIC collaboration to consistently calculate the leading order effective $NA$ interaction up to third chiral order (N2LO) and extract elastic scattering observables. We quantify the chiral truncation error using pointwise and correlated methods. Results: We analyze proton-$^{16}$O and neutron-$^{12}$C elastic scattering observables between 65 and 185 MeV projectile kinetic energy. We find qualitatively similar results for the chiral truncation uncertainties as in few-body systems, which we assess using similar diagnostic tools. The order-by-order convergence of the scattering observables for $^{16}$O and $^{12}$C is reasonable near 100 MeV, but for higher energies the expansion parameter becomes too large to converge. We find a near-perfect correlation between the neutron differential cross section and the $NN$ Wolfenstein amplitudes for small momentum transfers. Conclusions: The tools used to study the convergence of a chiral $NN$ interaction in few-body systems can be applied to $NA$ scattering with minor changes. The $NN$ interaction used here gives a good description of $^{16}$O and $^{12}$C scattering observables as low as 65 MeV. The very forward direction of the neutron differential cross section mirrors the behavior of the $NN$ interaction amazingly well.


title: $p$-complete arc-descent for perfect complexes over integral perfectoid rings

abstract: We prove $p$-complete arc-descent results for finite projective modules and perfect complexes over integral perfectoid rings. Using our results, we clarify a reduction argument in the proof of the classification of $p$-divisible groups over integral perfectoid rings given by Scholze-Weinstein.


title: Cosmological Particle Production: A Review

abstract: This article will review quantum particle creation in expanding universes. The emphasis will be on the basic physical principles and on selected applications to cosmological models. The needed formalism of quantum field theory in curved spacetime will be summarized, and applied to the example of scalar particle creation in a spatially flat universe. Estimates for the creation rate will be given and applied to inflationary cosmology models. Analog models which illustrate the same physical principles and may be experimentally realizable are also discussed.


title: Must the Spectrum of a Random Schr\"odinger Operator Contain an Interval?

abstract: We consider Schr\"odinger operators in $\ell^2(\mathbb{Z})$ whose potentials are given by independent (not necessarily identically distributed) random variables. We ask whether it is true that almost surely its spectrum contains an interval. We provide an affirmative answer in the case of random potentials given by a sum of a perturbatively small quasi-periodic potential with analytic sampling function and Diophantine frequency vector and a term of Anderson type, given by independent identically distributed random variables. The proof proceeds by extending a result about the presence of ground states for atypical realizations of the classical Anderson model, which we prove here as well and which appears to be new.


title: Fast Graph Neural Tangent Kernel via Kronecker Sketching

abstract: Many deep learning tasks have to deal with graphs (e.g., protein structures, social networks, source code abstract syntax trees). Due to the importance of these tasks, people turned to Graph Neural Networks (GNNs) as the de facto method for learning on graphs. GNNs have become widely applied due to their convincing performance. Unfortunately, one major barrier to using GNNs is that GNNs require substantial time and resources to train. Recently, a new method for learning on graph data is Graph Neural Tangent Kernel (GNTK) [Du, Hou, Salakhutdinov, Poczos, Wang and Xu 19]. GNTK is an application of Neural Tangent Kernel (NTK) [Jacot, Gabriel and Hongler 18] (a kernel method) on graph data, and solving NTK regression is equivalent to using gradient descent to train an infinite-wide neural network. The key benefit of using GNTK is that, similar to any kernel method, GNTK's parameters can be solved directly in a single step. This can avoid time-consuming gradient descent. Meanwhile, sketching has become increasingly used in speeding up various optimization problems, including solving kernel regression. Given a kernel matrix of $n$ graphs, using sketching in solving kernel regression can reduce the running time to $o(n^3)$. But unfortunately such methods usually require extensive knowledge about the kernel matrix beforehand, while in the case of GNTK we find that the construction of the kernel matrix is already $O(n^2N^4)$, assuming each graph has $N$ nodes. The kernel matrix construction time can be a major performance bottleneck when the size of graphs $N$ increases. A natural question to ask is thus whether we can speed up the kernel matrix construction to improve GNTK regression's end-to-end running time. This paper provides the first algorithm to construct the kernel matrix in $o(n^2N^3)$ running time.


title: Next Day Wildfire Spread: A Machine Learning Data Set to Predict Wildfire Spreading from Remote-Sensing Data

abstract: Predicting wildfire spread is critical for land management and disaster preparedness. To this end, we present `Next Day Wildfire Spread,' a curated, large-scale, multivariate data set of historical wildfires aggregating nearly a decade of remote-sensing data across the United States. In contrast to existing fire data sets based on Earth observation satellites, our data set combines 2D fire data with multiple explanatory variables (e.g., topography, vegetation, weather, drought index, population density) aligned over 2D regions, providing a feature-rich data set for machine learning. To demonstrate the usefulness of this data set, we implement a neural network that takes advantage of the spatial information of this data to predict wildfire spread. We compare the performance of the neural network with other machine learning models: logistic regression and random forest. This data set can be used as a benchmark for developing wildfire propagation models based on remote sensing data for a lead time of one day.


title: Emojich -- zero-shot emoji generation using Russian language: a technical report

abstract: This technical report presents a text-to-image neural network "Emojich" that generates emojis using captions in Russian language as a condition. We aim to keep the generalization ability of a pretrained big model ruDALL-E Malevich (XL) 1.3B parameters at the fine-tuning stage, while giving special style to the images generated. Here are presented some engineering methods, code realization, all hyper-parameters for reproducing results and a Telegram bot where everyone can create their own customized sets of stickers. Also, some newly generated emojis obtained by "Emojich" model are demonstrated.


title: Optimal Income Crossover for Two-Class Model Using Particle Swarm Optimization

abstract: Personal income distribution may exhibit a two-class structure, such that the lower income class of the population (85-98%) is described by exponential Boltzmann-Gibbs distribution, whereas the upper income class (15-2%) has a Pareto power-law distribution. We propose a method, based on a theoretical and numerical optimization scheme, which allows us to determine the crossover income between the distributions, the temperature of the Boltzmann-Gibbs distribution and the Pareto index. Using this method, the Brazilian income distribution data provided by the National Household Sample Survey was studied. The data was stratified into two dichotomies (sex/gender and color/race), so the model was tested using different subsets along with accessing the economic differences between these groups. Lastly, we analyse the temporal evolution of the parameters of our model and the Gini coefficient discussing the implication on the Brazilian income inequality. To our knowledge, for the first time an optimization method is proposed in order to find a continuous two-class income distribution, which is able to delimit the boundaries of the two distributions. It also gives a measure of inequality which is a function that depends only on the Pareto index and the percentage of people in the high income region. It was found a temporal dynamics relation, that may be general, between the Pareto and the percentage of people described by the Pareto tail.


title: Adaptive Feature Interpolation for Low-Shot Image Generation

abstract: Training of generative models especially Generative Adversarial Networks can easily diverge in low-data setting. To mitigate this issue, we propose a novel implicit data augmentation approach which facilitates stable training and synthesize high-quality samples without need of label information. Specifically, we view the discriminator as a metric embedding of the real data manifold, which offers proper distances between real data points. We then utilize information in the feature space to develop a fully unsupervised and data-driven augmentation method. Experiments on few-shot generation tasks show the proposed method significantly improve results from strong baselines with hundreds of training samples.


title: Stabilization of affine systems with polytopic control value sets

abstract: The objective of this document is to design continuous feedback controls for global asymptotic stabilization (GAS) of affine systems, with control restricted to a compact and convex set (CVS). This stabilization problem is solved based on a design of a feedback function restricted to the hyperbox and obtained by means of the CLF theory. By "normalizing" this feedback, the continuous stabilizer restricted to CVS is obtained.


title: A Robust, Differentially Private Randomized Experiment for Evaluating Online Educational Programs With Sensitive Student Data

abstract: Randomized control trials (RCTs) have been the gold standard to evaluate the effectiveness of a program, policy, or treatment on an outcome of interest. However, many RCTs assume that study participants are willing to share their (potentially sensitive) data, specifically their response to treatment. This assumption, while trivial at first, is becoming difficult to satisfy in the modern era, especially in online settings where there are more regulations to protect individuals' data. The paper presents a new, simple experimental design that is differentially private, one of the strongest notions of data privacy. Also, using works on noncompliance in experimental psychology, we show that our design is robust against "adversarial" participants who may distrust investigators with their personal data and provide contaminated responses to intentionally bias the results of the experiment. Under our new design, we propose unbiased and asymptotically Normal estimators for the average treatment effect. We also present a doubly robust, covariate-adjusted estimator that uses pre-treatment covariates (if available) to improve efficiency. We conclude by using the proposed experimental design to evaluate the effectiveness of online statistics courses at the University of Wisconsin-Madison during the Spring 2021 semester, where many classes were online due to COVID-19.


title: Supersymmetric and Other Novel Features of Hadron Physics from Light-Front Holography

abstract: I survey recent developments in hadron physics which follow from the application of superconformal quantum mechanics and light-front holography. This includes new insights into the physics of color confinement, chiral symmetry, the spectroscopy and dynamics of hadrons, as well as surprising supersymmetric relations between the masses of mesons, baryons, and tetraquarks. I also will discuss some novel features of QCD -- such as color transparency, hidden color, and asymmetric intrinsic heavy-quark phenomena. The elimination of renormalization scale ambiguities and the modification of QCD sum rules due to diffractive phenomena are also briefly reviewed.


title: Axial Higgs Mode Detected by Quantum Pathway Interference in RTe3

abstract: The observation of the Higgs boson solidified the standard model of particle physics. However, explanations of anomalies (e.g. dark matter) rely on further symmetry breaking calling for an undiscovered axial Higgs mode. In condensed matter the Higgs was seen in magnetic, superconducting and charge density wave(CDW) systems. Uncovering a low energy mode's vector properties is challenging, requiring going beyond typical spectroscopic or scattering techniques. Here, we discover an axial Higgs mode in the CDW system RTe3 using the interference of quantum pathways. In RTe3 (R=La,Gd), the electronic ordering couples bands of equal or different angular momenta. As such, the Raman scattering tensor associated to the Higgs mode contains both symmetric and antisymmetric components, which can be excited via two distinct, but degenerate pathways. This leads to constructive or destructive interference of these pathways, depending on the choice of the incident and Raman scattered light polarization. The qualitative behavior of the Raman spectra is well-captured by an appropriate tight-binding model including an axial Higgs mode. The elucidation of the antisymmetric component provides direct evidence that the Higgs mode contains an axial vector representation (i.e. a pseudo-angular momentum) and hints the CDW in RTe3 is unconventional. Thus we provide a means for measuring collective modes quantum properties without resorting to extreme experimental conditions.


title: Angle ranks of abelian varieties

abstract: Using the formalism of Newton hyperplane arrangements, we resolve the open questions regarding angle rank left over from [DKRV20]. As a consequence we end up generalizing theorems of Lenstra--Zarhin and Tankeev proving several new cases of the Tate conjecture for abelian varieties over finite fields. We also obtain an effective version of a recent theorem of Zarhin bounding the heights of coefficients in multiplicative relations among Frobenius eigenvalues.


title: Theoretically Guaranteed Online Workload Dispatching for Deadline-Aware Multi-Server Jobs

abstract: Multi-server jobs are imperative in modern computing clusters. A multi-server job has multiple task components and each of the task components is responsible for processing a specific size of workloads. Efficient online workload dispatching is crucial but challenging to co-located heterogeneous multi-server jobs. The dispatching policy should decide $(i)$ where to launch each task component instance of the arrived jobs and $(ii)$ the size of workloads that each task component processes. Existing policies are explicit and effective when facing service locality and resource contention in both offline and online settings. However, when adding the deadline-aware constraint, the theoretical superiority of these policies could not be guaranteed. To fill the theoretical gap, in this paper, we design an $\alpha$-competitive online workload dispatching policy for deadline-aware multi-server jobs based on the spatio-temporal resource mesh model. We formulate the problem as a social welfare maximization program and solve it online with several well designed pseudo functions. The social welfare is formulated as the sum of the utilities of jobs and the utility of the computing cluster. The proposed policy is rigorously proved to be $\alpha$-competitive for some $\alpha \geq 2$. We also validate the theoretical superiority of it with simulations and the results show that it distinctly outperforms two handcrafted baseline policies on the social welfare.