title: Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field

abstract: In this paper, we establish an explicit higher reciprocity law for the polynomial ring over a nonprincipal ultraproduct of finite fields. Such an ultraproduct can be taken over the same finite field, which allows to recover the classical higher reciprocity law for the polynomial ring $\mathbb{F}_q[t]$ over a finite field $\mathbb{F}_q$ that is due to Dedekind, K\"uhne, Artin, and Schmidt. On the other hand, when the ultraproduct is taken over finite fields of unbounded cardinalities, we obtain an explicit higher reciprocity law for the polynomial ring over an infinite field in both characteristics $0$ and $p >0$ for some prime $p$. We then use the higher reciprocity law to prove an analogue of the Grunwald--Wang theorem for such a polynomial ring in both characteristics $0$ and $p > 0$ for some prime $p$.


title: Fast Simulated Annealing inspired by Quantum Monte Carlo

abstract: Quantum Monte Carlo (QMC) is commonly used in simulations for Quantum Annealing (QA), but QMC as a heuristic approach has great difficulty in that it takes much time to find minimum energy. It mainly depends on the existence of a trotter layer derived from Suzuki-Trotter decomposition. In this paper, I propose a new approach to calculate it in short time, although it isn't rigorous mathematically. Its validity and advantageous points are also discussed, in comparison with conventional QMC methods.


title: Stochastic nucleosome disassembly mediated by remodelers and histone fragmentation

abstract: We construct and analyze monomeric and multimeric models of the stochastic disassembly of a single nucleosome. Our monomeric model predicts the time needed for a number of histone-DNA contacts to spontaneously break, leading to dissociation of a non-fragmented histone from DNA. The dissociation process can be facilitated by DNA binding proteins or processing molecular motors that compete with histones for histone-DNA contact sites. Eigenvalue analysis of the corresponding master equation allows us to evaluate histone detachment times under both spontaneous detachment and protein-facilitated processes. We find that competitive DNA binding of remodeling proteins can significantly reduce the typical detachment time but only if these remodelers have DNA-binding affinities comparable to those of histone-DNA contact sites. In the presence of processive motors, the histone detachment rate is shown to be proportional to the product of the histone single-bond dissociation constant and the speed of motor protein procession. Our simple intact-histone model is then extended to allow for multimeric nucleosome kinetics that reveal additional pathways of disassembly. In addition to a dependence of complete disassembly times on subunit-DNA contact energies, we show how histone subunit concentrations in bulk solution can mediate the disassembly process by rescuing partially disassembled nucleosomes. Moreover, our kinetic model predicts that remodeler binding can also bias certain pathways of nucleosome disassembly, with higher remodeler binding rates favoring intact-histone detachment.


title: Characterizations of matrix valued asymmetric truncated Hankel operators

abstract: In this paper we introduce the class of matrix valued asymmetric truncated Hankel operators. By using characterizations of matrix valued asymmetric truncated Toeplitz operators, we characterize matrix valued asymmetric truncated Hankel operators in the case when two involved inner matrices are J-symmetric.


title: Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

abstract: In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language of rings augmented by an additional constant symbol $t$. As a consequence, we prove that the full first-order theory of the rational function field over a nonprincipal ultraproduct of finite fields of characteristic $0$ is undecidable.


title: Search for charged-lepton flavor violation in $\Upsilon(2S) \to \ell^\mp\tau^\pm$ ($\ell=e,\mu$) decays at Belle

abstract: We report a search for the charged-lepton flavor violation in $\Upsilon(2S) \to \ell^\mp\tau^\pm$ ($\ell=e,\mu$) decays using a $25~\fbi$ $\Upsilon(2S)$ sample collected by the Belle detector at the KEKB $e^{+}$$e^-$ asymmetric-energy collider. We find no evidence for a signal and set upper limits on the branching fractions ($\mathcal{B}$) at 90\% confidence level. We obtain the most stringent upper limits: $\mathcal{B}(\Ytomutau) < 0.23 \times 10^{-6}$ and $\mathcal{B}(\Ytoetau) < 1.12 \times 10^{-6}$.


title: Rubric-Specific Approach to Automated Essay Scoring with Augmentation Training

abstract: Neural based approaches to automatic evaluation of subjective responses have shown superior performance and efficiency compared to traditional rule-based and feature engineering oriented solutions. However, it remains unclear whether the suggested neural solutions are sufficient replacements of human raters as we find recent works do not properly account for rubric items that are essential for automated essay scoring during model training and validation. In this paper, we propose a series of data augmentation operations that train and test an automated scoring model to learn features and functions overlooked by previous works while still achieving state-of-the-art performance in the Automated Student Assessment Prize dataset.


title: Toroidal Hitomezashi Patterns

abstract: Extending a proposal of Defant and Kravitz [Discrete Mathematics, \textbf{1}, 347 (2024)], we define Hitomezashi patterns and loops on a torus and provide several structural results for such loops. For a given pattern, our main theorems give optimal residual information regarding the Hitomezashi loop length, loop count, as well as possible homology classes of such loops. Special attention is paid to toroidal Hitomezashi patterns that are symmetric with respect to the diagonal $x = y$, where we establish a novel connection between Hitomezashi and knot theory.


title: MLN-net: A multi-source medical image segmentation method for clustered microcalcifications using multiple layer normalization

abstract: Accurate segmentation of clustered microcalcifications in mammography is crucial for the diagnosis and treatment of breast cancer. Despite exhibiting expert-level accuracy, recent deep learning advancements in medical image segmentation provide insufficient contribution to practical applications, due to the domain shift resulting from differences in patient postures, individual gland density, and imaging modalities of mammography etc. In this paper, a novel framework named MLN-net, which can accurately segment multi-source images using only single source images, is proposed for clustered microcalcification segmentation. We first propose a source domain image augmentation method to generate multi-source images, leading to improved generalization. And a structure of multiple layer normalization (LN) layers is used to construct the segmentation network, which can be found efficient for clustered microcalcification segmentation in different domains. Additionally, a branch selection strategy is designed for measuring the similarity of the source domain data and the target domain data. To validate the proposed MLN-net, extensive analyses including ablation experiments are performed, comparison of 12 baseline methods. Extensive experiments validate the effectiveness of MLN-net in segmenting clustered microcalcifications from different domains and the its segmentation accuracy surpasses state-of-the-art methods. Code will be available at https://github.com/yezanting/MLN-NET-VERSON1.


title: MuLanTTS: The Microsoft Speech Synthesis System for Blizzard Challenge 2023

abstract: In this paper, we present MuLanTTS, the Microsoft end-to-end neural text-to-speech (TTS) system designed for the Blizzard Challenge 2023. About 50 hours of audiobook corpus for French TTS as hub task and another 2 hours of speaker adaptation as spoke task are released to build synthesized voices for different test purposes including sentences, paragraphs, homographs, lists, etc. Building upon DelightfulTTS, we adopt contextual and emotion encoders to adapt the audiobook data to enrich beyond sentences for long-form prosody and dialogue expressiveness. Regarding the recording quality, we also apply denoise algorithms and long audio processing for both corpora. For the hub task, only the 50-hour single speaker data is used for building the TTS system, while for the spoke task, a multi-speaker source model is used for target speaker fine tuning. MuLanTTS achieves mean scores of quality assessment 4.3 and 4.5 in the respective tasks, statistically comparable with natural speech while keeping good similarity according to similarity assessment. The excellent and similarity in this year's new and dense statistical evaluation show the effectiveness of our proposed system in both tasks.


title: Unveiling the double-peak structure of quantum oscillations in the specific heat

abstract: Quantum oscillation phenomenon is an essential tool to understand the electronic structure of quantum matter. Here we report a systematic study of quantum oscillations in the electronic specific heat $C_{el}$ in natural graphite. We show that the crossing of a single spin Landau level and the Fermi energy give rise to a double-peak structure, in striking contrast to the single peak expected from Lifshitz-Kosevich theory. Intriguingly, the double-peak structure is predicted by the kernel term for $C_{el}/T$ in the free electron theory. The $C_{el}/T$ represents a spectroscopic tuning fork of width 4.8 $k_B T$ which can be tuned at will to resonance. Using a coincidence method, the double-peak structure can be used to accurately determine the Lande $g$-factor of quantum materials. More generally, the tuning fork can be used to reveal any peak in fermionic density of states tuned by magnetic field, such as Lifshitz transition in heavy-fermion compounds.


title: Learning Vehicle Dynamics from Cropped Image Patches for Robot Navigation in Unpaved Outdoor Terrains

abstract: In the realm of autonomous mobile robots, safe navigation through unpaved outdoor environments remains a challenging task. Due to the high-dimensional nature of sensor data, extracting relevant information becomes a complex problem, which hinders adequate perception and path planning. Previous works have shown promising performances in extracting global features from full-sized images. However, they often face challenges in capturing essential local information. In this paper, we propose Crop-LSTM, which iteratively takes cropped image patches around the current robot's position and predicts the future position, orientation, and bumpiness. Our method performs local feature extraction by paying attention to corresponding image patches along the predicted robot trajectory in the 2D image plane. This enables more accurate predictions of the robot's future trajectory. With our wheeled mobile robot platform Raicart, we demonstrated the effectiveness of Crop-LSTM for point-goal navigation in an unpaved outdoor environment. Our method enabled safe and robust navigation using RGBD images in challenging unpaved outdoor terrains. The summary video is available at https://youtu.be/iIGNZ8ignk0.


title: Determination of dynamical ages of open clusters through the A$^+$ parameter -- II

abstract: Blue straggler stars (BSS), one of the most massive members of star clusters, have been used for over a decade to investigate mass segregation and estimate the dynamical ages of globular clusters (GCs) and open clusters (OCs). This work is an extension of our previous study, in which we investigated a correlation between theoretically estimated dynamical ages and the observed $A^+_{\mathrm{rh}}$ values, which represent the sedimentation level of BSS with respect to the reference population. Here, we use the ML-MOC algorithm on \textit{Gaia} EDR3 data to extend this analysis to 23 OCs. Using cluster properties and identified members, we estimate their dynamical and physical parameters. In order to estimate the $A^+_{\mathrm{rh}}$ values, we use the main sequence and main sequence turnoff stars as the reference population. OCs are observed to exhibit a wide range of degrees of dynamical evolution, ranging from dynamically young to late stages of intermediate dynamical age. Hence, we classify OCs into three distinct dynamical stages based on their relationship to $A^+_{\mathrm{rh}}$ and $N_{\text{relax}}$. NGC 2682 and King 2 are discovered to be the most evolved OCs, like Familly III GCs, while Berkeley 18 is the least evolved OC. Melotte 66 and Berkeley 31 are peculiar OCs because none of their dynamical and physical parameters correlate with their BSS segregation levels.


title: Reversible Two-Party Computations

abstract: Deterministic synchronous systems consisting of two finite automata running in opposite directions on a shared read-only input are studied with respect to their ability to perform reversible computations, which means that the automata are also backward deterministic and, thus, are able to uniquely step the computation back and forth. We study the computational capacity of such devices and obtain on the one hand that there are regular languages that cannot be accepted by such systems. On the other hand, such systems can accept even non-semilinear languages. Since the systems communicate by sending messages, we consider also systems where the number of messages sent during a computation is restricted. We obtain a finite hierarchy with respect to the allowed amount of communication inside the reversible classes and separations to general, not necessarily reversible, classes. Finally, we study closure properties and decidability questions and obtain that the questions of emptiness, finiteness, inclusion, and equivalence are not semidecidable if a superlogarithmic amount of communication is allowed.


title: Operations on Boolean and Alternating Finite Automata

abstract: We examine the complexity of basic regular operations on languages represented by Boolean and alternating finite automata. We get tight upper bounds m+n and m+n+1 for union, intersection, and difference, 2^m+n and 2^m+n+1 for concatenation, 2^n+n and 2^n+n+1 for square, m and m+1 for left quotient, 2^m and 2^m+1 for right quotient. We also show that in both models, the complexity of complementation and symmetric difference is n and m+n, respectively, while the complexity of star and reversal is 2^n. All our witnesses are described over a unary or binary alphabets, and whenever we use a binary alphabet, it is always optimal.


title: On the Degree of Extension of Some Models Defining Non-Regular Languages

abstract: This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results regarding the degree on non-regularity of a context-free grammar as well as the degree of extension of finite automata over groups. Finally, we consider a similar measure for the finite automata with translucent letters and present some preliminary results. This measure could be considered for many mechanisms that extend a less expressive one.


title: Approximate State Reduction of Fuzzy Finite Automata

abstract: In this paper we introduce a new type of approximate state reductions where the behaviors of the reduced and the original automaton do not have to be identical, but they must match on all words of length less than or equal to some given natural number. We provide four methods for performing such reductions.


title: Weighted Automata over Vector Spaces

abstract: In this paper we deal with three models of weighted automata that take weights in the field of real numbers. The first of these models are classical weighted finite automata, the second one are crisp-deterministic weighted automata, and the third one are weighted automata over a vector space. We explore the interrelationships between weighted automata over a vector space and other two models.


title: SWAP: Exploiting Second-Ranked Logits for Adversarial Attacks on Time Series

abstract: Time series classification (TSC) has emerged as a critical task in various domains, and deep neural models have shown superior performance in TSC tasks. However, these models are vulnerable to adversarial attacks, where subtle perturbations can significantly impact the prediction results. Existing adversarial methods often suffer from over-parameterization or random logit perturbation, hindering their effectiveness. Additionally, increasing the attack success rate (ASR) typically involves generating more noise, making the attack more easily detectable. To address these limitations, we propose SWAP, a novel attacking method for TSC models. SWAP focuses on enhancing the confidence of the second-ranked logits while minimizing the manipulation of other logits. This is achieved by minimizing the Kullback-Leibler divergence between the target logit distribution and the predictive logit distribution. Experimental results demonstrate that SWAP achieves state-of-the-art performance, with an ASR exceeding 50% and an 18% increase compared to existing methods.


title: Freezing 1-Tag Systems with States

abstract: We study 1-tag systems with states obeying the freezing property that only allows constant bounded number of rewrites of symbols. We look at examples of languages accepted by such systems, the accepting power of the model, as well as certain closure properties and decision problems. Finally we discuss a restriction of the system where the working alphabet must match the input alphabet.


title: Pre- and post-contact policy decomposition for non-prehensile manipulation with zero-shot sim-to-real transfer

abstract: We present a system for non-prehensile manipulation that require a significant number of contact mode transitions and the use of environmental contacts to successfully manipulate an object to a target location. Our method is based on deep reinforcement learning which, unlike state-of-the-art planning algorithms, does not require apriori knowledge of the physical parameters of the object or environment such as friction coefficients or centers of mass. The planning time is reduced to the simple feed-forward prediction time on a neural network. We propose a computational structure, action space design, and curriculum learning scheme that facilitates efficient exploration and sim-to-real transfer. In challenging real-world non-prehensile manipulation tasks, we show that our method can generalize over different objects, and succeed even for novel objects not seen during training. Project website: https://sites.google.com/view/nonprenehsile-decomposition


title: When Stars Control a Grammar's Work

abstract: Graph-controlled insertion-deletion (GCID) systems are regulated extensions of insertion-deletion systems. Such a system has several components and each component contains some insertion-deletion rules. The components are the vertices of a directed control graph. A rule is applied to a string in a component and the resultant string is moved to the target component specified in the rule. The language of the system is the set of all terminal strings collected in the final component. We impose the restriction in the structure of the underlying graph to be a star structure where there is a central, control component which acts like a master and transmits a string (after applying one of its rules) to one of the components specified in the (applied) rule. A component which receives the string can process the obtained string with any applicable rule available in it and sends back the resultant string only to the center component. With this restriction, we obtain computational completeness for some descriptional complexity measures


title: Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures

abstract: Reversible computing is a new paradigm that has emerged recently and extends the traditional forwards-only computing mode with the ability to execute in backwards, so that computation can run in reverse as easily as in forward. Two approaches to developing transition system (automaton-like) semantics for event structure models are distinguished in the literature. In the first case, states are considered as configurations (sets of already executed events), and transitions between states are built by starting from the initial configuration and repeatedly adding executable events. In the second approach, states are understood as residuals (model fragments that have not yet been executed), and transitions are constructed by starting from the given event structure as the initial state and deleting already executed (and conflicting) parts thereof during execution. The present paper focuses on an investigation of how the two approaches are interrelated for the model of prime event structures extended with cause-respecting reversibility. The bisimilarity of the resulting transition systems is proved, taking into account step semantics of the model under consideration.


title: On Minimal Pumping Constants for Regular Languages

abstract: The study of the operational complexity of minimal pumping constants started in [J. DASSOW and I. JECKER. Operational complexity and pumping lemmas. Acta Inform., 59:337-355, 2022], where an almost complete picture of the operational complexity of minimal pumping constants for two different variants of pumping lemmata from the literature was given. We continue this research by considering a pumping lemma for regular languages that allows pumping of sub-words at any position of the considered word, if the sub-word is long enough [S. J. SAVITCH. Abstract Machines and Grammars. 1982]. First we improve on the simultaneous regulation of minimal pumping constants induced by different pumping lemmata including Savitch's pumping lemma. In this way we are able to simultaneously regulate four different minimal pumping constants. This is a novel result in the field of descriptional complexity. Moreover, for Savitch's pumping lemma we are able to completely classify the range of the minimal pumping constant for the operations Kleene star, reversal, complement, prefix- and suffix-closure, union, set-subtraction, concatenation, intersection, and symmetric difference. In this way, we also solve some of the open problems from the paper that initiated the study of the operational complexity of minimal pumping constants mentioned above.


title: Pumping Lemmata for Recognizable Weighted Languages over Artinian Semirings

abstract: Pumping lemmata are the main tool to prove that a certain language does not belong to a class of languages like the recognizable languages or the context-free languages. Essentially two pumping lemmata exist for the recognizable weighted languages: the classical one for the Boolean semiring (i.e., the unweighted case), which can be generalized to zero-sum free semirings, and the one for fields. A joint generalization of these two pumping lemmata is provided that applies to all Artinian semirings, over which all finitely generated semimodules have a finite bound on the length of chains of strictly increasing subsemimodules. Since Artinian rings are exactly those that satisfy the Descending Chain Condition, the Artinian semirings include all fields and naturally also all finite semirings (like the Boolean semiring). The new pumping lemma thus covers most previously known pumping lemmata for recognizable weighted languages.


title: State-deterministic Finite Automata with Translucent Letters and Finite Automata with Nondeterministically Translucent Letters

abstract: Deterministic and nondeterministic finite automata with translucent letters were introduced by Nagy and Otto more than a decade ago as Cooperative Distributed systems of a kind of stateless restarting automata with window size one. These finite state machines have a surprisingly large expressive power: all commutative semi-linear languages and all rational trace languages can be accepted by them including various not context-free languages. While the nondeterministic variant defines a language class with nice closure properties, the deterministic variant is weaker, however it contains all regular languages, some non-regular context-free languages, as the Dyck language, and also some languages that are not even context-free. In all those models for each state, the letters of the alphabet could be in one of the following categories: the automaton cannot see the letter (it is translucent), there is a transition defined on the letter (maybe more than one transitions in nondeterministic case) or none of the above categories (the automaton gets stuck by seeing this letter at the given state and this computation is not accepting). State-deterministic automata are recent models, where the next state of the computation determined by the structure of the automata and it is independent of the processed letters. In this paper our aim is twofold, on the one hand, we investigate state-deterministic finite automata with translucent letters. These automata are specially restricted deterministic finite automata with translucent letters. In the other novel model we present, it is allowed that for a state the set of translucent letters and the set of letters for which transition is defined are not disjoint. One can interpret this fact that the automaton has a nondeterministic choice for each occurrence of such letters to see them (and then erase and make the transition) or not to see that occurrence at that time. Based on these semi-translucent letters, the expressive power of the automata increases, i.e., in this way a proper generalization of the previous models is obtained.


title: Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements

abstract: We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the equational theory w.r.t. languages coincides with the language equivalence (under the standard language valuation) for Kleene algebra terms, this coincidence is broken if we extend the terms with complements. In this paper, we prove the decidability of some fragments of the equational theory: the universality problem is coNP-complete, and the inequational theory t <= s is coNP-complete when t does not contain Kleene-star. To this end, we introduce words-to-letters valuations; they are sufficient valuations for the equational theory and ease us in investigating the equational theory w.r.t. languages. Additionally, we prove that for words with variable complements, the equational theory coincides with the word equivalence.


title: Solving the Weighted HOM-Problem With the Help of Unambiguity

abstract: The HOM-problem, which asks whether the image of a regular tree language under a tree homomorphism is again regular, is known to be decidable by [Godoy, Gim\'enez, Ramos, \`Alvarez: The HOM problem is decidable. STOC (2010)]. Research on the weighted version of this problem, however, is still in its infancy since it requires customized investigations. In this paper we address the weighted HOM-problem and strive to keep the underlying semiring as general as possible. In return, we restrict the input: We require the tree homomorphism h to be tetris-free, a condition weaker than injectivity, and for the given weighted tree automaton, we propose an ambiguity notion with respect to h. These assumptions suffice to ensure decidability of the thus restricted HOM-problem for all zero-sum free semirings by allowing us to reduce it to the (decidable) unweighted case.


title: Towards Unsupervised Graph Completion Learning on Graphs with Features and Structure Missing

abstract: In recent years, graph neural networks (GNN) have achieved significant developments in a variety of graph analytical tasks. Nevertheless, GNN's superior performance will suffer from serious damage when the collected node features or structure relationships are partially missing owning to numerous unpredictable factors. Recently emerged graph completion learning (GCL) has received increasing attention, which aims to reconstruct the missing node features or structure relationships under the guidance of a specifically supervised task. Although these proposed GCL methods have made great success, they still exist the following problems: the reliance on labels, the bias of the reconstructed node features and structure relationships. Besides, the generalization ability of the existing GCL still faces a huge challenge when both collected node features and structure relationships are partially missing at the same time. To solve the above issues, we propose a more general GCL framework with the aid of self-supervised learning for improving the task performance of the existing GNN variants on graphs with features and structure missing, termed unsupervised GCL (UGCL). Specifically, to avoid the mismatch between missing node features and structure during the message-passing process of GNN, we separate the feature reconstruction and structure reconstruction and design its personalized model in turn. Then, a dual contrastive loss on the structure level and feature level is introduced to maximize the mutual information of node representations from feature reconstructing and structure reconstructing paths for providing more supervision signals. Finally, the reconstructed node features and structure can be applied to the downstream node classification task. Extensive experiments on eight datasets, three GNN variants and five missing rates demonstrate the effectiveness of our proposed method.


title: Once-Marking and Always-Marking 1-Limited Automata

abstract: Single-tape nondeterministic Turing machines that are allowed to replace the symbol in each tape cell only when it is scanned for the first time are also known as 1-limited automata. These devices characterize, exactly as finite automata, the class of regular languages. However, they can be extremely more succinct. Indeed, in the worst case the size gap from 1-limited automata to one-way deterministic finite automata is double exponential. Here we introduce two restricted versions of 1-limited automata, once-marking 1-limited automata and always-marking 1-limited automata, and study their descriptional complexity. We prove that once-marking 1-limited automata still exhibit a double exponential size gap to one-way deterministic finite automata. However, their deterministic restriction is polynomially related in size to two-way deterministic finite automata, in contrast to deterministic 1-limited automata, whose equivalent two-way deterministic finite automata in the worst case are exponentially larger. For always-marking 1-limited automata, we prove that the size gap to one-way deterministic finite automata is only a single exponential. The gap remains exponential even in the case the given machine is deterministic. We obtain other size relationships between different variants of these machines and finite automata and we present some problems that deserve investigation.


title: Quantum Measurement and Objective Classical Reality

abstract: We explore quantum measurement in the context of Everettian unitary quantum mechanics and construct an explicit unitary measurement procedure. We propose the existence of prior correlated states that enable this procedure to work and therefore argue that correlation is a resource that is consumed when measurements take place. It is also argued that a network of such measurements establishes a stable objective classical reality.


title: A General Approach to Proving Properties of Fibonacci Representations via Automata Theory

abstract: We provide a method, based on automata theory, to mechanically prove the correctness of many numeration systems based on Fibonacci numbers. With it, long case-based and induction-based proofs of correctness can be replaced by simply constructing a regular expression (or finite automaton) specifying the rules for valid representations, followed by a short computation. Examples of the systems that can be handled using our technique include Brown's lazy representation (1965), the far-difference representation developed by Alpert (2009), and three representations proposed by Hajnal (2023). We also provide three additional systems and prove their validity.


title: Separating Words from Every Start State with Horner Automata

abstract: We show that a well-known family of deterministic finite automata can be used to distinguish distinct binary strings of the same length from every start state. Further, we establish almost matching lower and upper bounds on the number of states of such automata necessary to achieve this type of separation. Our result improves the currently best known linear upper bound for arbitrary DFA.


title: Simultaneous Measurement of Multiple Acoustic Attributes Using Structured Periodic Test Signals Including Music and Other Sound Materials

abstract: We introduce a general framework for measuring acoustic properties such as liner time-invariant (LTI) response, signal-dependent time-invariant (SDTI) component, and random and time-varying (RTV) component simultaneously using structured periodic test signals. The framework also enables music pieces and other sound materials as test signals by "safeguarding" them by adding slight deterministic "noise." Measurement using swept-sin, MLS (Maxim Length Sequence), and their variants are special cases of the proposed framework. We implemented interactive and real-time measuring tools based on this framework and made them open-source. Furthermore, we applied this framework to assess pitch extractors objectively.


title: Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars

abstract: Tree-controlled grammars are context-free grammars where the derivation process is controlled in such a way that every word on a level of the derivation tree must belong to a certain control language. We investigate the generative capacity of such tree-controlled grammars where the control languages are special regular sets, especially strictly locally testable languages or languages restricted by resources of the generation (number of non-terminal symbols or production rules) or acceptance (number of states). Furthermore, the set theoretic inclusion relations of these subregular language families themselves are studied.


title: Unifying over-smoothing and over-squashing in graph neural networks: A physics informed approach and beyond

abstract: Graph Neural Networks (GNNs) have emerged as one of the leading approaches for machine learning on graph-structured data. Despite their great success, critical computational challenges such as over-smoothing, over-squashing, and limited expressive power continue to impact the performance of GNNs. In this study, inspired from the time-reversal principle commonly utilized in classical and quantum physics, we reverse the time direction of the graph heat equation. The resulted reversing process yields a class of high pass filtering functions that enhance the sharpness of graph node features. Leveraging this concept, we introduce the Multi-Scaled Heat Kernel based GNN (MHKG) by amalgamating diverse filtering functions' effects on node features. To explore more flexible filtering conditions, we further generalize MHKG into a model termed G-MHKG and thoroughly show the roles of each element in controlling over-smoothing, over-squashing and expressive power. Notably, we illustrate that all aforementioned issues can be characterized and analyzed via the properties of the filtering functions, and uncover a trade-off between over-smoothing and over-squashing: enhancing node feature sharpness will make model suffer more from over-squashing, and vice versa. Furthermore, we manipulate the time again to show how G-MHKG can handle both two issues under mild conditions. Our conclusive experiments highlight the effectiveness of proposed models. It surpasses several GNN baseline models in performance across graph datasets characterized by both homophily and heterophily.


title: A Quasi-Local Mass

abstract: We define a new gauge independent quasi-local mass and energy, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity, based on spacetime harmonic functions, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition. Like the Wang-Yau mass, the new definition relies on isometric embeddings into Minkowski space, although our notion of admissibility is different from that of Wang-Yau. Rigidity is also established, in that vanishing energy implies that the 2-surface arises from an embedding into Minkowski space, and conversely the mass vanishes for any such surface. Furthermore, we show convergence to the ADM mass at spatial infinity, and provide the equation associated with optimal isometric embedding.


title: On the Effects of Heterogeneous Errors on Multi-fidelity Bayesian Optimization

abstract: Bayesian optimization (BO) is a sequential optimization strategy that is increasingly employed in a wide range of areas including materials design. In real world applications, acquiring high-fidelity (HF) data through physical experiments or HF simulations is the major cost component of BO. To alleviate this bottleneck, multi-fidelity (MF) methods are used to forgo the sole reliance on the expensive HF data and reduce the sampling costs by querying inexpensive low-fidelity (LF) sources whose data are correlated with HF samples. However, existing multi-fidelity BO (MFBO) methods operate under the following two assumptions that rarely hold in practical applications: (1) LF sources provide data that are well correlated with the HF data on a global scale, and (2) a single random process can model the noise in the fused data. These assumptions dramatically reduce the performance of MFBO when LF sources are only locally correlated with the HF source or when the noise variance varies across the data sources. In this paper, we dispense with these incorrect assumptions by proposing an MF emulation method that (1) learns a noise model for each data source, and (2) enables MFBO to leverage highly biased LF sources which are only locally correlated with the HF source. We illustrate the performance of our method through analytical examples and engineering problems on materials design.


title: Hot or Cold? Adaptive Temperature Sampling for Code Generation with Large Language Models

abstract: Recently, Large Language Models (LLMs) have shown impressive abilities in code generation. However, existing LLMs' decoding strategies are designed for Natural Language (NL) generation, overlooking the differences between NL and programming languages (PL). Due to this oversight, a better decoding strategy for code generation remains an open question. In this paper, we conduct the first systematic study to explore a decoding strategy specialized in code generation. With an analysis of loss distributions of code tokens, we find that code tokens can be divided into two categories: challenging tokens that are difficult to predict and confident tokens that can be easily inferred. Among them, the challenging tokens mainly appear at the beginning of a code block. Inspired by the above findings, we propose a simple yet effective method: Adaptive Temperature (AdapT) sampling, which dynamically adjusts the temperature coefficient when decoding different tokens. We apply a larger temperature when sampling for challenging tokens, allowing LLMs to explore diverse choices. We employ a smaller temperature for confident tokens avoiding the influence of tail randomness noises. We apply AdapT sampling to LLMs with different sizes and conduct evaluations on two popular datasets. Results show that AdapT sampling significantly outperforms state-of-the-art decoding strategy.


title: Diffusion Model is Secretly a Training-free Open Vocabulary Semantic Segmenter

abstract: The pre-trained text-image discriminative models, such as CLIP, has been explored for open-vocabulary semantic segmentation with unsatisfactory results due to the loss of crucial localization information and awareness of object shapes. Recently, there has been a growing interest in expanding the application of generative models from generation tasks to semantic segmentation. These approaches utilize generative models either for generating annotated data or extracting features to facilitate semantic segmentation. This typically involves generating a considerable amount of synthetic data or requiring additional mask annotations. To this end, we uncover the potential of generative text-to-image diffusion models (e.g., Stable Diffusion) as highly efficient open-vocabulary semantic segmenters, and introduce a novel training-free approach named DiffSegmenter. The insight is that to generate realistic objects that are semantically faithful to the input text, both the complete object shapes and the corresponding semantics are implicitly learned by diffusion models. We discover that the object shapes are characterized by the self-attention maps while the semantics are indicated through the cross-attention maps produced by the denoising U-Net, forming the basis of our segmentation results.Additionally, we carefully design effective textual prompts and a category filtering mechanism to further enhance the segmentation results. Extensive experiments on three benchmark datasets show that the proposed DiffSegmenter achieves impressive results for open-vocabulary semantic segmentation.


title: First Measurement of the Decay Asymmetry in the pure W-boson-exchange Decay $\Lambda_{c}^{+}\to\Xi^{0}K^{+}$

abstract: Based on $4.4~\text{fb}^{-1}$ of $e^{+}e^{-}$ annihilation data collected at the center-of-mass energies between $4.60$ and $4.70~\text{GeV}$ with the BESIII detector at the BEPCII collider, the pure \textit{W}-boson-exchange decay $\Lambda_{c}^{+}\to\Xi^{0}K^{+}$ is studied with a full angular analysis. The corresponding decay asymmetry is measured for the first time to be $\alpha_{\Xi^{0}K^{+}}=0.01\pm0.16({\rm stat.})\pm0.03({\rm syst.})$. This result reflects the non-interference effect between the $S$- and $P$-wave amplitudes. The phase shift between $S$- and $P$-wave amplitudes has two solutions, which are $\delta_{p}-\delta_{s}=-1.55\pm0.25({\rm stat.})\pm0.05({\rm syst.})~\text{rad}$ or $1.59\pm0.25({\rm stat.})\pm0.05({\rm syst.})~\text{rad}$.


title: Enhanced Q-factor and effective length silicon photonics filter utilizing nested ring resonators

abstract: In this study, we investigate a novel design of an on-chip nested coupled ring resonator to enhance the quality factor and the effective length of the resonator. The configuration consists of an open ring and racetrack resonator, with lengths of 340 {\mu}m and 184.4 {\mu}m, respectively, with a coupling ratio of 97/3. In this regard, the proposed nested cavity has been experimentally characterized and compared with a single cavity ring resonator. Our results show a significant improvement in the quality factor by a factor of four. This improvement in performance opens up exciting new possibilities for state-of-the-art applications, such as compact optical sensors and delay lines. Our proposed design represents a significant advancement in the field of integrated optics, and we believe that it has the potential to enable a broad range of applications in the future.


title: BASS XXXIV: A Catalog of the Nuclear Mm-wave Continuum Emission Properties of AGNs Constrained on Scales $\lesssim$ 100--200 pc

abstract: We present a catalog of the millimeter-wave (mm-wave) continuum properties of 98 nearby ($z <$ 0.05) active galactic nuclei (AGNs) selected from the 70-month Swift/BAT hard X-ray catalog that have precisely determined X-ray spectral properties and subarcsec-resolution ALMA Band-6 (211--275 GHz) observations as of 2021 April. Due to the hard-X-ray ($>$ 10 keV) selection, the sample is nearly unbiased for obscured systems at least up to Compton-thick-level obscuration, and provides the largest number of AGNs with high physical resolution mm-wave data ($\lesssim$ 100--200 pc). Our catalog reports emission peak coordinates, spectral indices, and peak fluxes and luminosities at 1.3 mm (230 GHz). Additionally, high-resolution mm-wave images are provided. Using the images and creating radial surface brightness profiles of mm-wave emission, we identify emission extending from the central source and isolated blob-like emission. Flags indicating the presence of these emission features are tabulated. Among 90 AGNs with significant detections of nuclear emission, 37 AGNs ($\approx$ 41%) appear to have both or one of extended or blob-like components. We, in particular, investigate AGNs that show well-resolved mm-wave components and find that these seem to have a variety of origins (i.e., a jet, radio lobes, a secondary AGN, stellar clusters, a narrow line region, galaxy disk, active star-formation regions, and AGN-driven outflows), and some components have currently unclear origins.


title: LightNeuS: Neural Surface Reconstruction in Endoscopy using Illumination Decline

abstract: We propose a new approach to 3D reconstruction from sequences of images acquired by monocular endoscopes. It is based on two key insights. First, endoluminal cavities are watertight, a property naturally enforced by modeling them in terms of a signed distance function. Second, the scene illumination is variable. It comes from the endoscope's light sources and decays with the inverse of the squared distance to the surface. To exploit these insights, we build on NeuS, a neural implicit surface reconstruction technique with an outstanding capability to learn appearance and a SDF surface model from multiple views, but currently limited to scenes with static illumination. To remove this limitation and exploit the relation between pixel brightness and depth, we modify the NeuS architecture to explicitly account for it and introduce a calibrated photometric model of the endoscope's camera and light source. Our method is the first one to produce watertight reconstructions of whole colon sections. We demonstrate excellent accuracy on phantom imagery. Remarkably, the watertight prior combined with illumination decline, allows to complete the reconstruction of unseen portions of the surface with acceptable accuracy, paving the way to automatic quality assessment of cancer screening explorations, measuring the global percentage of observed mucosa.


title: Hyperk\"ahler ambient metrics associated with twistor CR manifolds

abstract: Twistor CR manifolds, introduced by LeBrun, are Lorentzian (neutral) CR 5-manifolds defined as $\mathbb{P}^1$-bundles over 3-dimensional conformal manifolds. In this paper, we embed a real analytic twistor CR manifold into the twistor space of the anti self-dual Poincar\'e-Einstein metric whose conformal infinity is the base conformal 3-manifold, and construct the associated Fefferman ambient metric as a neutral hyperk\"ahler metric on the spinor bundle with the zero section removed. We also describe the structure of the Cheng--Yau type K\"ahler-Einstein metric which has the twistor CR manifold as the boundary at infinity.


title: Finite element analysis of biomechanical interactions of a subcutaneous suspension suture and human face soft-tissue: a cadaver study

abstract: In order to study the local interactions between facial soft-tissues and a Silhouette Soft suspension suture, a CE marked medical device designed for the repositioning of soft tissues in the face and the neck, Finite element simulations were run, in which a model of the suture was embedded in a three-layer Finite Element structure that accounts for the local mechanical organization of human facial soft tissues. A 2D axisymmetric model of the local interactions was designed in ANSYS, in which the geometry of the tissue, the boundary conditions and the applied loadings were considered to locally mimic those of human face soft tissue constrained by the suture in facial tissue repositioning. The Silhouette Soft suture is composed of a knotted thread and sliding cones that are anchored in the tissue. Hence, simulating these interactions requires special attention for an accurate modelling of contact mechanics. As tissue is modelled as a hyper-elastic material, the displacement of the facial soft tissue changes in a nonlinear way with the intensity of stress induced by the suture and the number of the cones. Our simulations show that for a 4-cone suture a displacement of 4.35mm for a 2.0N external loading and of 7.6mm for 4.0N. Increasing the number of cones led to the decrease in the equivalent local strain (around 20%) and stress (around 60%) applied to the tissue. The simulated displacements are in general agreement with experimental observations.


title: GRASS: Unified Generation Model for Speech-to-Semantic Tasks

abstract: This paper explores the instruction fine-tuning technique for speech-to-semantic tasks by introducing a unified end-to-end (E2E) framework that generates target text conditioned on a task-related prompt for audio data. We pre-train the model using large and diverse data, where instruction-speech pairs are constructed via a text-to-speech (TTS) system. Extensive experiments demonstrate that our proposed model achieves state-of-the-art (SOTA) results on many benchmarks covering speech named entity recognition, speech sentiment analysis, speech question answering, and more, after fine-tuning. Furthermore, the proposed model achieves competitive performance in zero-shot and few-shot scenarios. To facilitate future work on instruction fine-tuning for speech-to-semantic tasks, we release our instruction dataset and code.


title: Integrating Contact-aware Feedback CPG System for Learning-based Soft Snake Robot Locomotion Controllers

abstract: This paper aims to solve the contact-aware locomotion problem of a soft snake robot by developing bio-inspired contact-aware locomotion controllers. To provide effective contact information for the controllers, we develop a scale-covered sensor structure mimicking natural snakes' scale sensilla. In the design of the control framework, our core contribution is the development of a novel sensory feedback mechanism for the Matsuoka central pattern generator (CPG) network. This mechanism allows the Matsuoka CPG system to work like a "spinal cord" in the whole contact-aware control scheme, which simultaneously takes the stimuli including tonic input signals from the "brain" (a goal-tracking locomotion controller) and sensory feedback signals from the "reflex arc" (the contact reactive controller), and generates rhythmic signals to actuate the soft snake robot to slither through densely allocated obstacles. In the "reflex arc" design, we develop two distinctive types of reactive controllers -- 1) a reinforcement learning (RL) sensor regulator that learns to manipulate the sensory feedback inputs of the CPG system, and 2) a local reflexive sensor-CPG network that directly connects sensor readings and the CPG's feedback inputs in a specific topology. Combining with the locomotion controller and the Matsuoka CPG system, these two reactive controllers facilitate two different contact-aware locomotion control schemes. The two control schemes are tested and evaluated in both simulated and real soft snake robots, showing promising performance in the contact-aware locomotion tasks. The experimental results also validate the advantages of the modified Matsuoka CPG system with a new sensory feedback mechanism for bio-inspired robot controller design.


title: Conductors of twisted Weil--Deligne representations

abstract: We study the behaviour of conductors of L-functions associated to certain Weil--Deligne representations under twisting. For each global field K we prove a sharp upper bound for the conductor of the Rankin--Selberg L-function associated to a pair of abelian varieties.


title: Improving diagnosis and prognosis of lung cancer using vision transformers: A scoping review

abstract: Vision transformer-based methods are advancing the field of medical artificial intelligence and cancer imaging, including lung cancer applications. Recently, many researchers have developed vision transformer-based AI methods for lung cancer diagnosis and prognosis. This scoping review aims to identify the recent developments on vision transformer-based AI methods for lung cancer imaging applications. It provides key insights into how vision transformers complemented the performance of AI and deep learning methods for lung cancer. Furthermore, the review also identifies the datasets that contributed to advancing the field. Of the 314 retrieved studies, this review included 34 studies published from 2020 to 2022. The most commonly addressed task in these studies was the classification of lung cancer types, such as lung squamous cell carcinoma versus lung adenocarcinoma, and identifying benign versus malignant pulmonary nodules. Other applications included survival prediction of lung cancer patients and segmentation of lungs. The studies lacked clear strategies for clinical transformation. SWIN transformer was a popular choice of the researchers; however, many other architectures were also reported where vision transformer was combined with convolutional neural networks or UNet model. It can be concluded that vision transformer-based models are increasingly in popularity for developing AI methods for lung cancer applications. However, their computational complexity and clinical relevance are important factors to be considered for future research work. This review provides valuable insights for researchers in the field of AI and healthcare to advance the state-of-the-art in lung cancer diagnosis and prognosis. We provide an interactive dashboard on lung-cancer.onrender.com/.


title: Norm Tweaking: High-performance Low-bit Quantization of Large Language Models

abstract: As the size of large language models (LLMs) continues to grow, model compression without sacrificing accuracy has become a crucial challenge for deployment. While some quantization methods, such as GPTQ, have made progress in achieving acceptable 4-bit weight-only quantization, attempts at lower-bit quantization often result in severe performance degradation. In this paper, we introduce a technique called norm tweaking, which can be used as a plugin in current PTQ methods to achieve high precision while being cost-efficient. Our approach is inspired by the observation that rectifying the quantized activation distribution to match its float counterpart can readily restore accuracy for LLMs. To achieve this, we carefully design a tweaking strategy that includes calibration data generation and channel-wise distance constraint to update the weights of normalization layers for better generalization. We conduct extensive experiments on various datasets using several open-sourced LLMs. Our method demonstrates significant improvements in both weight-only quantization and joint quantization of weights and activations, surpassing existing PTQ methods. On GLM-130B and OPT-66B, our method even achieves the same level of accuracy at 2-bit quantization as their float ones. Our simple and effective approach makes it more practical for real-world applications.


title: CVE-driven Attack Technique Prediction with Semantic Information Extraction and a Domain-specific Language Model

abstract: This paper addresses a critical challenge in cybersecurity: the gap between vulnerability information represented by Common Vulnerabilities and Exposures (CVEs) and the resulting cyberattack actions. CVEs provide insights into vulnerabilities, but often lack details on potential threat actions (tactics, techniques, and procedures, or TTPs) within the ATT&CK framework. This gap hinders accurate CVE categorization and proactive countermeasure initiation. The paper introduces the TTPpredictor tool, which uses innovative techniques to analyze CVE descriptions and infer plausible TTP attacks resulting from CVE exploitation. TTPpredictor overcomes challenges posed by limited labeled data and semantic disparities between CVE and TTP descriptions. It initially extracts threat actions from unstructured cyber threat reports using Semantic Role Labeling (SRL) techniques. These actions, along with their contextual attributes, are correlated with MITRE's attack functionality classes. This automated correlation facilitates the creation of labeled data, essential for categorizing novel threat actions into threat functionality classes and TTPs. The paper presents an empirical assessment, demonstrating TTPpredictor's effectiveness with accuracy rates of approximately 98% and F1-scores ranging from 95% to 98% in precise CVE classification to ATT&CK techniques. TTPpredictor outperforms state-of-the-art language model tools like ChatGPT. Overall, this paper offers a robust solution for linking CVEs to potential attack techniques, enhancing cybersecurity practitioners' ability to proactively identify and mitigate threats.


title: Optimal Control of the 2D Landau-Lifshitz-Gilbert Equation with Control Energy in Effective Magnetic Field

abstract: The optimal control of magnetization dynamics in a ferromagnetic sample at a microscopic scale is studied. The dynamics of this model is governed by the Landau-Lifshitz-Gilbert equation on a two-dimensional bounded domain with the external magnetic field (the control) applied through the effective field. We prove the global existence and uniqueness of a regular solution in $\mathbb S^2$ under a smallness condition on control and initial data. We establish the existence of optimal control and derive a first-order necessary optimality condition using the Fr\'echet derivative of the control-to-state operator and adjoint problem approach.


title: Dynamic Encoding and Decoding of Information for Split Learning in Mobile-Edge Computing: Leveraging Information Bottleneck Theory

abstract: Split learning is a privacy-preserving distributed learning paradigm in which an ML model (e.g., a neural network) is split into two parts (i.e., an encoder and a decoder). The encoder shares so-called latent representation, rather than raw data, for model training. In mobile-edge computing, network functions (such as traffic forecasting) can be trained via split learning where an encoder resides in a user equipment (UE) and a decoder resides in the edge network. Based on the data processing inequality and the information bottleneck (IB) theory, we present a new framework and training mechanism to enable a dynamic balancing of the transmission resource consumption with the informativeness of the shared latent representations, which directly impacts the predictive performance. The proposed training mechanism offers an encoder-decoder neural network architecture featuring multiple modes of complexity-relevance tradeoffs, enabling tunable performance. The adaptability can accommodate varying real-time network conditions and application requirements, potentially reducing operational expenditure and enhancing network agility. As a proof of concept, we apply the training mechanism to a millimeter-wave (mmWave)-enabled throughput prediction problem. We also offer new insights and highlight some challenges related to recurrent neural networks from the perspective of the IB theory. Interestingly, we find a compression phenomenon across the temporal domain of the sequential model, in addition to the compression phase that occurs with the number of training epochs.


title: Stochastic niche-based models for the evolution of species

abstract: There have been many studies to examine whether one trait is correlated with another trait across a group of present-day species (for example, do species with larger brains tend to have longer gestation times. Since the introduction of the phylogenetic comparative method some authors have argued that it is necessary to have a biologically realistic model to generate evolutionary trees that incorporates information about the ecological niche occupied by species. Price presented a simple model along these lines in 1997. He defined a two-dimensional niche space formed by two continuous-valued traits, in which new niches arise with trait values drawn from a bivariate normal distribution. When a new niche arises, it is occupied by a descendant species of whichever current species is closest in ecological niche space. In sequence, more species are then evolved from already-existing species to which they are ecologically closest. Here we explore ways of extending Price's adaptive radiation model. One extension is to increase the dimensionality of the niche space by considering more than two continuous traits. A second extension is to allow both extinction of species (which may leave unoccupied niches) and removal of niches (which causes species occupying them to go extinct). To model this problem, we consider a continuous-time stochastic process which implicitly defines a phylogeny. To explore if trees generated under such a model (or under different parametrizations of the model) are realistic we can compute a variety of summary statistics that can be compared to those of empirically observed phylogenies. For example, there are existing statistics that aim to measure: tree balance, the relative rate of diversification, and phylogenetic signal of traits.


title: Variational Bayesian Approximations Kalman Filter Based on Threshold Judgment

abstract: The estimation of non-Gaussian measurement noise models is a significant challenge across various fields. In practical applications, it often faces challenges due to the large number of parameters and high computational complexity. This paper proposes a threshold-based Kalman filtering approach for online estimation of noise parameters in non-Gaussian measurement noise models. This method uses a certain amount of sample data to infer the variance threshold of observation parameters and employs variational Bayesian estimation to obtain corresponding noise variance estimates, enabling subsequent iterations of the Kalman filtering algorithm. Finally, we evaluate the performance of this algorithm through simulation experiments, demonstrating its accurate and effective estimation of state and noise parameters.


title: Census for the Rest-frame Optical and UV Morphologies of Galaxies at $z=4-10$: First Phase of Inside-Out Galaxy Formation

abstract: We present the rest-frame optical and UV surface brightness (SB) profiles for $149$ galaxies with $M_{\rm opt}< -19.4$ mag at $z=4$-$10$ ($29$ of which are spectroscopically confirmed with JWST NIRSpec), securing high signal-to-noise ratios of $10$-$135$ with deep JWST NIRCam $1$-$5\mu$m images obtained by the CEERS survey. We derive morphologies of our high-$z$ galaxies, carefully evaluating the systematics of SB profile measurements with Monte Carlo simulations as well as the impacts of a) AGNs, b) multiple clumps including galaxy mergers, c) spatial resolution differences with previous HST studies, and d) strong emission lines, e.g., H$\alpha$ and [OIII], on optical morphologies with medium-band F410M images. Conducting S\'ersic profile fitting to our high-$z$ galaxy SBs with GALFIT, we obtain the effective radii of optical $r_{\rm e, opt}$ and UV $r_{\rm e, UV}$ wavelengths ranging $r_{\rm e, opt}=0.05$-$1.6$ kpc and $r_{\rm e, UV}=0.03$-$1.7$ kpc that are consistent with previous results within large scatters in the size luminosity relations. However, we find the effective radius ratio, $r_{\rm e, opt}/r_{\rm e, UV}$, is almost unity, $1.01^{+0.35}_{-0.22}$, over $z=4$-$10$ with no signatures of past inside-out star formation such found at $z\sim 0$-$2$. There are no spatial offsets exceeding $3\sigma$ between the optical and UV morphology centers in case of no mergers, indicative of major star-forming activity only found near a mass center of galaxies at $z\gtrsim 4$ probably experiencing the first phase of inside-out galaxy formation.


title: Seismic Foundation Model (SFM): a new generation deep learning model in geophysics

abstract: While computer science has seen remarkable advancements in foundation models, which remain underexplored in geoscience. Addressing this gap, we introduce a workflow to develop geophysical foundation models, including data preparation, model pre-training, and adaption to downstream tasks. From 192 globally collected 3-D seismic volumes, we create a carefully curated dataset of 2,286,422 2-D seismic images. Fully using these unlabeled images, we employ the self-supervised learning to pre-train a Transformer-based Seismic Foundation Model (SFM) for producing all-purpose seismic features that work across various tasks and surveys. Through experiments on seismic facies classification, geobody identification, interpolation, denoising, and inversion, our pre-trained model demonstrates versatility, generalization, scalability, and superior performance over baseline models. Conclusively, we provide a foundation model and vast dataset to advance AI in geophysics, addressing challenges (poor generalization, lacking labels, and repetitive training for task-specified models) of applying AI in geophysics and paving the way for future innovations in geoscience.


title: Topology of Bi$_2$Se$_3$ nanosheets

abstract: Recently, the quantum spin-Hall edge channels of two-dimensional colloidal nanocrystals of the topological insulator Bi$_2$Se$_3$ were observed directly. Motivated by this development, we reconsider the four-band effective model which has been traditionally employed in the past to describe thin nanosheets of this material. Derived from a three-dimensional $\boldsymbol{k} \boldsymbol{\cdot} \boldsymbol{p}$ model, it physically describes the top and bottom electronic surface states at the $\Gamma$ point that become gapped due to the material's small thickness. However, we find that the four-band model for the surface states alone, as derived directly from the three-dimensional theory, is inadequate for the description of thin films of a few quintuple layers and even yields an incorrect topological invariant within a significant range of thicknesses. To address this limitation we propose an eight-band model which, in addition to the surface states, also incorporates the set of bulk states closest to the Fermi level. We find that the eight-band model not only captures most of the experimental observations, but also agrees with previous first-principles calculations of the $\mathbb{Z}_{2}$ invariant in thin films of varying thickness. The band inversion around the $\Gamma$ point, which endows the surface-like bands with topology, is shown to be enabled by the presence of the additional bulk-like states without requiring any reparametrization of the resulting effective Hamiltonian.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other quant-ph


title: A special basis for the image of an alternating map and its applications to the size of the Schur multiplier of $p$-groups

abstract: We consider two vector spaces $U, \ V$ over a field $F$ and an alternating bilinear map $A:U\times U\to V$ such that the $\im{A}$ spans $V$. We construct a special basis for $V$ consisting of elements of $\im{A}$, and then study several properties of this basis. As an application, we obtain bounds for the size of the Schur multiplier of $p$-groups of nilpotency class $c$, which improves existing bounds.


title: The SAMI Galaxy Survey: impact of black hole activity on galaxy spin-filament alignments

abstract: The activity of central supermassive black holes might affect the alignment of galaxy spin axes with respect to the closest cosmic filaments. We exploit the SAMI Galaxy Survey to study possible relations between black hole activity and the spin-filament alignments of stars and ionised gas separately. To explore the impact of instantaneous black hole activity, active galaxies are selected according to emission-line diagnostics. Central stellar velocity dispersion ($\sigma_c$) is used as a proxy for black hole mass and its integrated activity. We find evidence for the gas spin-filament alignments to be influenced by AGN, with Seyfert galaxies showing a stronger perpendicular alignment at fixed bulge mass with respect to galaxies where ionisation is consequence of low-ionizaition nuclear emission-line regions (LINERs) or old stellar populations (retired galaxies). On the other hand, the greater perpendicular tendency for the stellar spin-filament alignments of high-bulge mass galaxies is dominated by retired galaxies. Stellar alignments show a stronger correlation with $\sigma_c$ compared to the gas alignments. We confirm that bulge mass ($M_{bulge}$) is the primary parameter of correlation for both stellar and gas spin-filament alignments (with no residual dependency left for $\sigma_c$), while $\sigma_c$ is the most important property for secular star formation quenching (with no residual dependency left for $M_{bulge}$). These findings indicate that $M_{bulge}$ and $\sigma_c$ are the most predictive parameters of two different galaxy evolution processes, suggesting mergers trigger spin-filament alignment flips and integrated black hole activity drives star formation quenching.


title: A compact and sustainable electronic module for silicon photomultipliers

abstract: This article presents the development of a cost-effective and efficient electronic module for silicon photomultipliers (SiPM). The electronic module combines essential functionalities, such as a high voltage power supply, a preamplifier, and a signal comparator, into a compact circuit. A high voltage power supply with a range of 30 to 140 V provides a stable bias voltage with 0.01 V accuracy for the SiPMs, while a preamplifier with 40 gain and 250 MHz bandwidth enables signal amplification necessary to extract weak signals. The comparator converts an analogue signal (higher than 8 mV) into TTL (transistor-transistor logic), which makes it easy to process and analyze with digital devices such as microcontrollers or make it possible to send signals over long distances by a cable. The module has been tested using an LYSO scintillator and a SiPM called a micropixel avalanche photodiode (MAPD). It provides a more effective and efficient solution for reading out signals from SiPMs in a variety of applications, delivering reliable and accurate results in real-time.


title: Self-Supervised Disentanglement of Harmonic and Rhythmic Features in Music Audio Signals

abstract: The aim of latent variable disentanglement is to infer the multiple informative latent representations that lie behind a data generation process and is a key factor in controllable data generation. In this paper, we propose a deep neural network-based self-supervised learning method to infer the disentangled rhythmic and harmonic representations behind music audio generation. We train a variational autoencoder that generates an audio mel-spectrogram from two latent features representing the rhythmic and harmonic content. In the training phase, the variational autoencoder is trained to reconstruct the input mel-spectrogram given its pitch-shifted version. At each forward computation in the training phase, a vector rotation operation is applied to one of the latent features, assuming that the dimensions of the feature vectors are related to pitch intervals. Therefore, in the trained variational autoencoder, the rotated latent feature represents the pitch-related information of the mel-spectrogram, and the unrotated latent feature represents the pitch-invariant information, i.e., the rhythmic content. The proposed method was evaluated using a predictor-based disentanglement metric on the learned features. Furthermore, we demonstrate its application to the automatic generation of music remixes.


title: A Study on Indoor Noise Levels in a Set of School Buildings in Greece utilizing an IoT infrastructure

abstract: Monitoring noise pollution in urban areas in a more systematic manner has been gaining traction as a theme among the research community, especially with the rise of smart cities and the IoT. However, although it affects our everyday life in a profound way, monitoring indoor noise levels inside workplaces and public buildings has so far grabbed less of our attention. In this work, we report on noise levels data produced by an IoT infrastructure installed inside 5 school buildings in Greece. Our results indicate that such data can help to produce a more accurate picture of the conditions that students and educators experience every day, and also provide useful insights in terms of health risks and aural comfort.


title: Nanocomposite membranes with Au nanoparticles for dialysis-based catalytic reduction-separation of nitroaromatic compounds

abstract: Apart from the fact that nitroaromatic compounds (NARs) have toxic and mutagenic characteristics, they are also essential substrates for the synthesis of aromatic amines (AAMs). In this context, the present study presents a new approach that enables NAR-contaminated wastewaters to be treated as a reagent for the synthesis of AAMs. It involves the fabrication of anion exchange membranes with Au nanoparticles (AuNPs) that simultaneously reduce 4-nitrophenol (4-NP) and separate the resultant 4-aminophenol (4-AP) via. the dialysis mechanism. The nanocomposite membranes were prepared by amino-modification of poly(vinyl chloride) films obtained in the presence of cyclohexanone (CH) or tetrahydrofuran (THF), followed by Au(III) reduction coupled-adsorption. The nanomaterials were analysed using scanning transmission electron microscopy (STEM) and Fourier-transformation infrared spectroscopy (FT-IR). The catalytic reaction was carried out in a dialysis unit, where the concentration of 4-NP in the wastewater, and the concentration of separated 4-AP were monitored using UV-Vis spectroscopy. The nanocomposite membranes formed using THF effectively reduced the 4-NP and separated the resultant 4-AP. The yield of the 4-NP conversion reached 80% with a rate constant of 11.30 10-3 min-1. Based on the results, THF contributed to the formation of diffusion paths in which the 4-NP was simultaneously separated and reduced.


title: Distributed Least Squares Algorithm for Continuous-time Stochastic Systems Under Cooperative Excitation Condition

abstract: In this paper, we study the distributed adaptive estimation problem of continuous-time stochastic dynamic systems over sensor networks where each agent can only communicate with its local neighbors. A distributed least squares (LS) algorithm based on diffusion strategy is proposed such that the sensors can cooperatively estimate the unknown time-invariant parameter vector from continuous-time noisy signals. By using the martingal estimation theory and Ito formula, we provide upper bounds for the estimation error of the proposed distributed LS algorithm, and further obtain the convergence results under a cooperative excitation condition. Compared with the existing results, our results are established without using the boundedness or persistent excitation (PE) conditions of regression signals. We provide simulation examples to show that multiple sensors can cooperatively accomplish the estimation task even if any individual can not.


title: On the algebraic independence of periods of abelian varieties and their exponentials

abstract: We generalize a result by Vasil'ev on the algebraic independence of periods of abelian varieties to the case when some of these periods are replaced by their exponentials. We eventually derive some applications to values of the beta function at rational points.


title: 3D Trajectory Reconstruction of Drones using a Single Camera

abstract: Drones have been widely utilized in various fields, but the number of drones being used illegally and for hazardous purposes has increased recently. To prevent those illegal drones, in this work, we propose a novel framework for reconstructing 3D trajectories of drones using a single camera. By leveraging calibrated cameras, we exploit the relationship between 2D and 3D spaces. We automatically track the drones in 2D images using the drone tracker and estimate their 2D rotations. By combining the estimated 2D drone positions with their actual length information and camera parameters, we geometrically infer the 3D trajectories of the drones. To address the lack of public drone datasets, we also create synthetic 2D and 3D drone datasets. The experimental results show that the proposed methods accurately reconstruct drone trajectories in 3D space, and demonstrate the potential of our framework for single camera-based surveillance systems.


title: The dyadic Riesz vector I

abstract: We derive a dyadic model operator for the Riesz vector. We show linear lower $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By a lower bound we mean that the boundedness of the Riesz vector implies the boundedness of the dydic Riesz vector.


title: The dyadic Riesz vector II

abstract: We derive a dyadic model operator for the Riesz vector. We show linear upper $L^p$ bounds for $1 < p < \infty$ between this model operator and the Riesz vector, when applied to functions with values in Banach spaces. By an upper bound we mean that the boundedness of the dyadic Riesz vector implies the boundedness of the Riesz vector. The same holds for single dyadic Riesz transforms and their continuous counterparts. The linear dependence is with constant one.


title: The Microservice Dependency Matrix

abstract: Microservices have been recognized for over a decade. They reshaped system design enabling decentralization and independence of development teams working on particular microservices. While loosely coupled microservices are desired, it is inevitable for dependencies to arise. However, these dependencies often go unnoticed by development teams. As the system evolves, making changes to one microservice may trigger a ripple effect, necessitating adjustments in dependent microservices and increasing maintenance and operational efforts. Tracking different types of dependencies across microservices becomes crucial in anticipating the consequences of development team changes. This paper introduces the Endpoint Dependency Matrix (EDM) and Data Dependency Matrix (DDM) as tools to address this challenge. We present an automated approach for tracking these dependencies and demonstrate their extraction through a case study.


title: Introducing Thermodynamics-Informed Symbolic Regression -- A Tool for Thermodynamic Equations of State Development

abstract: Thermodynamic equations of state (EOS) are essential for many industries as well as in academia. Even leaving aside the expensive and extensive measurement campaigns required for the data acquisition, the development of EOS is an intensely time-consuming process, which does often still heavily rely on expert knowledge and iterative fine-tuning. To improve upon and accelerate the EOS development process, we introduce thermodynamics-informed symbolic regression (TiSR), a symbolic regression (SR) tool aimed at thermodynamic EOS modeling. TiSR is already a capable SR tool, which was used in the research of https://doi.org/10.1007/s10765-023-03197-z. It aims to combine an SR base with the extensions required to work with often strongly scattered experimental data, different residual pre- and post-processing options, and additional features required to consider thermodynamic EOS development. Although TiSR is not ready for end users yet, this paper is intended to report on its current state, showcase the progress, and discuss (distant and not so distant) future directions. TiSR is available at https://github.com/scoop-group/TiSR and can be cited as https://doi.org/10.5281/zenodo.8317547.


title: An exterior optimal transport problem

abstract: This paper deals with a variant of the optimal transportation problem. Given f $\in$ L 1 (R d , [0, 1]) and a cost function c $\in$ C(R d x R d) of the form c(x, y) = k(y -- x), we minimise $\int$ c d$\gamma$ among transport plans $\gamma$ whose first marginal is f and whose second marginal is not prescribed but constrained to be smaller than 1 -- f. Denoting by $\Upsilon$(f) the infimum of this problem, we then consider the maximisation problem sup{$\Upsilon$(f) : $\int$ f = m} where m > 0 is given. We prove that maximisers exist under general assumptions on k, and that for k radial, increasing and coercive these maximisers are the characteristic functions of the balls of volume m.


title: Shaping the angular spectrum of a Bessel beam to enhance light transfer through dynamic strongly-scattering media

abstract: We prepare a quasi-non-diffracting Bessel beam defined within an annular angular spectrum with a spatial light modulator. The beam propagates though a strongly scattering media and the transmitted speckle pattern is measured at one point with a Hadamard Walsh basis that divides the ring into $N$ segments ($N=16,64,256, 1024$). The phase of the transmitted beam is reconstructed with 3 step interferometry and the intensity of the transmitted beam is optimized by projecting the conjugate phase at the SLM. We find that the optimum intensity is attained for the condition that the transverse wave vector $k_\perp$ (of the Bessel beam) matches the spatial azimuthal frequencies of the segmented ring $k_\phi$. Furthermore, compared with beams defined on a 2d grid (i.e. Gaussian) a reasonable enhancement is achieved for all the $k_\perp$ sampled with only 64 elements. Finally, the measurements can be done while the scatterer is moving as long as the total displacement during the measurement is smaller than the speckle correlation distance.


title: FIM: A fatigued-injured muscle model based on the sliding filament theory

abstract: Skeletal muscle modeling has a vital role in movement studies and the development of therapeutic approaches. In the current study, a Huxley-based model for skeletal muscle is proposed, which demonstrates the impact of impairments in muscle characteristics. This model focuses on three identified ions: H + , inorganic phosphate Pi and Ca 2+. Modifications are made to actin-myosin attachment and detachment rates to study the effects of H + and Pi. Additionally, an activation coefficient is included to represent the role of calcium ions interacting with troponin, highlighting the importance of Ca 2+. It is found that maximum isometric muscle force decreases by 9.5% due to a reduction in pH from 7.4 to 6.5 and by 47.5% in case of the combination of a reduction in pH and an increase of Pi concentration up to 30 mM, respectively. Then the force decline caused by a fall in the active calcium ions is studied. When only 15% of the total calcium in the myofibrillar space is able to interact with troponin, up to 80% force drop is anticipated by the model. The proposed fatigued-injured muscle model is useful to study the effect of various shortening velocities and initial muscletendon lengths on muscle force; in addition, the benefits of the model go beyond predicting the force in different conditions as it can also predict muscle stiffness and power. The power and stiffness decrease by 40% and 6.5%, respectively, due to the pH reduction, and the simultaneous accumulation of H + and Pi leads to a 50% and 18% drop in power and stiffness.


title: Variability in low Mars atmosphere's H$_2$O concentration stimulated by solar cycle activity

abstract: Mars' thin, CO$_2$-rich atmosphere poses a unique puzzle involving composition, climate history, and habitability. This work explores the intrincate relationship between Mars' atmospheric variations and dynamic solar activity patterns. We focus on periodic oscillations in H$_2$O vapor and the Pectinton solar flux index in the $\lambda$ = 10.7 cm radio band, around the characteristic 11-year solar cycle. Periodic Mars activity was studied using data from Mars Express' SPICAM instrument spanning 2004-2018. The Lomb-Scargle Periodogram method was applied to analyze the power spectra of both signals around this period, calibrated using peaks associated with the seasonal Martian cycle. This method was validated by analyzing power spectra of chemical species abundances in Earth's atmosphere, obtained from the NRLMSISE 00 empirical model provided by the National Oceanic and Atmospheric Administration (NOAA). Model executions reproduced chemical abundance data for various atmospheric species (N$_2$, O$_2$, N, H$_2$, Ar, and He) at two reference heights (upper mesosphere and low ionosphere) over a 1961-2021 time span. Results suggest a connection between variability in H$_2$O vapor concentration in Mars' atmosphere and fluctuations in the Pectinton solar flux index. We propose the Lomb-Scargle Periodogram method as a heuristic for studying oscillatory activity in planetary atmospheres with non-uniformly sampled data. While our results provide valuable insights, further analysis, cross-referencing with data from different orbiters, is required to deepen our understanding of these findings in the fields of planetary climatology and atmospheric physics.


title: 28 GHz NLOS Channel Measurements Revealing Low Path Loss and High Angular Spread in Container Ports

abstract: This paper presents results from a comprehensive measurement campaign conducted at 28 GHz inside a container canyon within a commercial port environment. The measurements are performed at various points inside the container canyon, considering two types of container stacking and two different Transmitter (TX) locations, using a narrowband channel sounder equipped with a rotating horn antenna. The measurements are used to evaluate the azimuthal spectrum and spatial correlation, as well as the impact of a vehicle inside a canyon on these parameters. Further, the measurement data is utilized to validate a simulation setup from which the path loss and the elevation spectrum inside the canyon is obtained. Lastly, a propagation model inside the canyon is hypothesized and shown to be consistent with the measurements. The analysis show a low path loss compared to free space, as well as a high angular spread and short spatial correlation.


title: Nonunitary projective transcorrelation theory inspired by the F12 ansatz

abstract: An alternative nonunitary transcorrelation, inspired by the F12 ansatz, is investigated. In contrast to the Jastrow transcorrelation of Boys-Handy, the effective Hamiltonian of this projective transcorrelation features: 1. a series terminating formally at four-body interactions. 2. no spin-contamination within the non-relativistic framework. 3. simultaneous satisfaction of the singlet and triplet first-order cusp conditions. 4. arbitrary choices of pairs for correlation including frozen core approximations. We discuss the connection between the projective transcorrelation and F12 theory with applications to small molecules, to show that the cusp conditions play an important role to reduce the uncertainty arising from the nonunitary transformation.


title: Agent-based simulation of pedestrians' earthquake evacuation; application to Beirut, Lebanon

abstract: Most seismic risk assessment methods focus on estimating the damages to the built environment and the consequent socioeconomic losses without fully taking into account the social aspect of risk. Yet, human behaviour is a key element in predicting the human impact of an earthquake, therefore, it is important to include it in quantitative risk assessment studies. In this study, an interdisciplinary approach simulating pedestrians' evacuation during earthquakes at the city scale is developed using an agent-based model. The model integrates the seismic hazard, the physical vulnerability as well as individuals' behaviours and mobility. The simulator is applied to the case of Beirut, Lebanon. Lebanon is at the heart of the Levant fault system that has generated several Mw>7 earthquakes, the latest being in 1759. It is one of the countries with the highest seismic risk in the Mediterranean region. This is due to the high seismic vulnerability of the buildings due to the absence of mandatory seismic regulation until 2012, the high level of urbanization, and the lack of adequate spatial planning and risk prevention policies. Beirut as the main residential, economic and institutional hub of Lebanon is densely populated. To accommodate the growing need for urban development, constructions have almost taken over all of the green areas of the city; squares and gardens are disappearing to give place to skyscrapers. However, open spaces are safe places to shelter, away from debris, and therefore play an essential role in earthquake evacuation. Despite the massive urbanization, there are a few open spaces but locked gates and other types of anthropogenic barriers often limit their access. To simulate this complex context, pedestrians' evacuation simulations are run in a highly realistic spatial environment implemented in GAMA [1]. Previous data concerning soil and buildings in Beirut [2, 3] are complemented by new geographic data extracted from high-resolution Pleiades satellite images. The seismic loading is defined as a peak ground acceleration of 0.3g, as stated in Lebanese seismic regulations. Building damages are estimated using an artificial neural network trained to predict the mean damage [4] based on the seismic loading as well as the soil and building vibrational properties [5]. Moreover, the quantity and the footprint of the generated debris around each building are also estimated and included in the model. We simulate how topography, buildings, debris, and access to open spaces, affect individuals' mobility. Two city configurations are implemented: 1. Open spaces are accessible without any barriers; 2. Access to some open spaces is blocked. The first simulation results show that while 52% of the population is able to arrive to an open space within 5 minutes after an earthquake, this number is reduced to 39% when one of the open spaces is locked. These results show that the presence of accessible open spaces in a city and their proximity to the residential buildings is a crucial factor for ensuring people's safety when an earthquake occurs.


title: Modelling gene content across a phylogeny to determine when genes become associated

abstract: In this work, we develop a stochastic model of gene gain and loss with the aim of inferring when (if at all) in evolutionary history and association between two genes arises. The data we consider is a species tree along with information on the presence or absence of two genes in each of the species. The biological motivation for our model is that if two genes are involved in the same biochemical pathway, i.e. they are both required for some function, then the rate of gain or loss of one gene in the pathway should depend upon the presence or absence of the other gene in the pathway. However, if the two genes are not functionally linked, then the rate of gain or loss of one gene should be independent of the state of another gene. We simulate data under this model to determine under what conditions a shift from the independent rates class to the dependent rates class can be detected. For example, how large a tree is required and how large a shift in the rates is needed before Akaike information criterion (AIC) supports a model with two rate classes over a simpler model with just one rate class? If a model with two rate classes is preferred, can it correctly detect where on the evolutionary tree the shift occurred?


title: Can Telematics Improve Driving Style? The Use of Behavioural Data in Motor Insurance

abstract: The use of behavioural data in insurance is loaded with promises and unresolved issues. This paper explores the related opportunities and challenges analysing the use of telematics data in third-party liability motor insurance. Behavioural data are used not only to refine the risk profile of policyholders, but also to implement innovative coaching strategies, feeding back to the drivers the aggregated information obtained from the data. The purpose is to encourage an improvement in their driving style. Our research explores the effectiveness of coaching on the basis of an empirical investigation of the dataset of a company selling telematics motor insurance policies. The results of our quantitative analysis show that this effectiveness crucially depends on the propensity of policyholders to engage with the telematics app. We observe engagement as an additional kind of behaviour, producing second-order behavioural data that can also be recorded and strategically used by insurance companies. The conclusions discuss potential advantages and risks connected with this extended interpretation of behavioural data.


title: Near-continuous time Reinforcement Learning for continuous state-action spaces

abstract: We consider the Reinforcement Learning problem of controlling an unknown dynamical system to maximise the long-term average reward along a single trajectory. Most of the literature considers system interactions that occur in discrete time and discrete state-action spaces. Although this standpoint is suitable for games, it is often inadequate for mechanical or digital systems in which interactions occur at a high frequency, if not in continuous time, and whose state spaces are large if not inherently continuous. Perhaps the only exception is the Linear Quadratic framework for which results exist both in discrete and continuous time. However, its ability to handle continuous states comes with the drawback of a rigid dynamic and reward structure. This work aims to overcome these shortcomings by modelling interaction times with a Poisson clock of frequency $\varepsilon^{-1}$, which captures arbitrary time scales: from discrete ($\varepsilon=1$) to continuous time ($\varepsilon\downarrow0$). In addition, we consider a generic reward function and model the state dynamics according to a jump process with an arbitrary transition kernel on $\mathbb{R}^d$. We show that the celebrated optimism protocol applies when the sub-tasks (learning and planning) can be performed effectively. We tackle learning within the eluder dimension framework and propose an approximate planning method based on a diffusive limit approximation of the jump process. Overall, our algorithm enjoys a regret of order $\tilde{\mathcal{O}}(\varepsilon^{1/2} T+\sqrt{T})$. As the frequency of interactions blows up, the approximation error $\varepsilon^{1/2} T$ vanishes, showing that $\tilde{\mathcal{O}}(\sqrt{T})$ is attainable in near-continuous time.


title: Solving the recoverable robust shortest path problem in DAGs

abstract: This paper deals with the recoverable robust shortest path problem under the interval uncertainty representation. The problem is known to be strongly NP-hard and not approximable in general digraphs. Polynomial time algorithms for the problem under consideration in DAGs are proposed.


title: On Minimizing the Energy of a Spherical Graph Representation

abstract: Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite program which can be used to find such a spherical graph representation minimizing the energy. We denote the optimal value of this program by $\rho(G)$ for a given graph $G$. The value turns out to be related to the second largest eigenvalue of the adjacency matrix of $G$, which we denote by $\lambda_2$. We show that for $G$ regular, $\rho(G) \leq \frac{\lambda_{2}}{2} \cdot v(G)$, and that equality holds if and only if the $\lambda_{2}$ eigenspace contains a spherical 1-design. Moreover, if $G$ is a random $d$-regular graph, $\rho(G)=\left(\sqrt{(d-1)} +o(1)\right)\cdot v(G)$, asymptotically almost surely.


title: Combining Thermodynamics-based Model of the Centrifugal Compressors and Active Machine Learning for Enhanced Industrial Design Optimization

abstract: The design process of centrifugal compressors requires applying an optimization process which is computationally expensive due to complex analytical equations underlying the compressor's dynamical equations. Although the regression surrogate models could drastically reduce the computational cost of such a process, the major challenge is the scarcity of data for training the surrogate model. Aiming to strategically exploit the labeled samples, we propose the Active-CompDesign framework in which we combine a thermodynamics-based compressor model (i.e., our internal software for compressor design) and Gaussian Process-based surrogate model within a deployable Active Learning (AL) setting. We first conduct experiments in an offline setting and further, extend it to an online AL framework where a real-time interaction with the thermodynamics-based compressor's model allows the deployment in production. ActiveCompDesign shows a significant performance improvement in surrogate modeling by leveraging on uncertainty-based query function of samples within the AL framework with respect to the random selection of data points. Moreover, our framework in production has reduced the total computational time of compressor's design optimization to around 46% faster than relying on the internal thermodynamics-based simulator, achieving the same performance.